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:
4329
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
CCFFull NameImpact FactorPublisherISSN
Mechanical Systems and Signal Processing4.37Elsevier0888-3270
VLSI DesignHindawi1065-514X
cInternational Journal on Document Analysis and Recognition0.885Springer1433-2833
Mathematical Programming2.090Springer0025-5610
bJournal of Functional Programming1.37Cambridge University Press0956-7968
bComputational Complexity0.487Springer1016-3328
bScience of Computer Programming1.088Elsevier0167-6423
Combinatorial Chemistry & High Throughput ScreeningBentham1386-2073
Journal of Logic, Language and Information Springer0925-8531
Mathematical Programming Computation Springer1867-2949
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
aa2ESOPEuropean Symposium on Programming2020-10-152020-12-232021-03-27
baa2ESAEuropean Symposium on Algorithms2020-04-292020-06-182020-09-07
ba*a2COLTAnnual Conference on Learning Theory2020-01-312020-05-012020-07-09
b3JTRESInternational Workshop on Java Technologies for Real-time and Embedded Systems2016-06-122016-07-202016-08-29
GISTAMInternational Conference on Geographical Information Systems Theory, Applications and Management2015-12-102016-02-032016-04-26
ICCCInternational Conference on Innovative Computing and Cloud Computing2011-07-202011-07-202011-08-13
DOA-Trusted CloudInternational Conference on Secure Virtual Infrastructures2014-06-152014-08-062014-10-27
SE'International Conference on Software Engineering & Trends2020-06-132020-06-202020-06-27
b2SOSEInternational Symposium on Service-Oriented System Engineering2019-12-152020-01-102020-04-13
ba*a2ICFPACM SIGPLAN International Conference on Functional Programming2020-03-032020-04-212020-08-28
Recommendation