Journal Information
The Journal of Logic and Algebraic Programming (JLAP)
http://www.journals.elsevier.com/the-journal-of-logic-and-algebraic-programming/Publisher: |
Elsevier |
ISSN: |
1567-8326 |
Viewed: |
8843 |
Tracked: |
2 |
Call For Papers
The Journal of Logic and Algebraic Programming is an international journal whose aim is to publish original research papers, survey and review articles, tutorial expositions, and historical studies in the areas of logical and algebraic methods and techniques for programming in its broadest sense. All aspects will be covered, especially theory and foundations, implementation issues, and applications involving novel ideas. Topics of interest to the journal include: • Logic programming • Constraint programming • Abstract data types • Classes and objects • Components • Process algebra and pi-calculus • Term rewriting • Lambda calculus • Algebraic specification and verification of systems • Algebraic methods for syntax and semantics • Applications of algebras, categories, domains, topological spaces and co-algebras to programming • Applications of proof theory and model theory to programming • Programming with topological data types The Journal of Logic and Algebraic Programming complements Elsevier's Science of Computer Programming and Theoretical Computer Science by its focus on the foundations of logical, algebraic and categorical methods for programming.
Last updated by Dou Sun in 2018-03-04
Related Journals
CCF | Full Name | Impact Factor | Publisher | ISSN |
---|---|---|---|---|
Mechanical Systems and Signal Processing | 6.823 | Elsevier | 0888-3270 | |
VLSI Design | Hindawi | 1065-514X | ||
c | International Journal on Document Analysis and Recognition | 2.085 | Springer | 1433-2833 |
Mathematical Programming | 3.995 | Springer | 0025-5610 | |
b | Journal of Functional Programming | 1.37 | Cambridge University Press | 0956-7968 |
b | Computational Complexity | 0.487 | Springer | 1016-3328 |
b | Science of Computer Programming | 0.863 | Elsevier | 0167-6423 |
Combinatorial Chemistry & High Throughput Screening | Bentham | 1386-2073 | ||
Journal of Logic, Language and Information | Springer | 0925-8531 | ||
Mathematical Programming Computation | Springer | 1867-2949 |
Full Name | Impact Factor | Publisher |
---|---|---|
Mechanical Systems and Signal Processing | 6.823 | Elsevier |
VLSI Design | Hindawi | |
International Journal on Document Analysis and Recognition | 2.085 | Springer |
Mathematical Programming | 3.995 | Springer |
Journal of Functional Programming | 1.37 | Cambridge University Press |
Computational Complexity | 0.487 | Springer |
Science of Computer Programming | 0.863 | Elsevier |
Combinatorial Chemistry & High Throughput Screening | Bentham | |
Journal of Logic, Language and Information | Springer | |
Mathematical Programming Computation | Springer |
Related Conferences
Short | Full Name | Submission | Conference |
---|---|---|---|
ESOP | European Symposium on Programming | 2023-10-12 | 2024-04-06 |
ESA | European Symposium on Algorithms | 2023-04-28 | 2023-09-04 |
COLT | Annual Conference on Learning Theory | 2022-02-09 | 2022-07-02 |
JTRES | International Workshop on Java Technologies for Real-time and Embedded Systems | 2016-06-12 | 2016-08-29 |
GISTAM | International Conference on Geographical Information Systems Theory, Applications and Management | 2015-12-10 | 2016-04-26 |
ICAACE | International Conference on Advanced Algorithms and Control Engineering | 2023-02-18 | 2023-02-24 |
ICCC | International Conference on Innovative Computing and Cloud Computing | 2011-07-20 | 2011-08-13 |
DOA-Trusted Cloud | International Conference on Secure Virtual Infrastructures | 2014-06-15 | 2014-10-27 |
SE' | International Conference on Software Engineering & Trends | 2023-05-06 | 2023-05-27 |
SOSE | International Symposium on Service-Oriented System Engineering | 2023-04-30 | 2023-07-17 |
Recommendation