The Journal of Logic and Algebraic Programming
| |
Additional Information
Readers
Authors
Librarians
Editors
Reviewers
Advertisers/Sponsors
ISSN: 1567-8326
Imprint: NORTH-HOLLAND
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. ... click here for full Aims & Scope
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.
Hide Aims & Scope
Editors-in-Chief:
J.A. Bergstra
J.V. Tucker
This is a spacer...
Home | Elsevier Websites | Privacy Policy | Terms and Conditions | Feedback | Site Map | A Reed Elsevier Company