Posted in | Cybernetics

The Journal of Logic and Algebraic Programming

The Journal of Logic and Algebraic Programming

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.

Click here for more information

Tell Us What You Think

Do you have a review, update or anything you would like to add to this journal summary?

Leave your feedback
Your comment type
Submit

Other Journals

While we only use edited and approved content for Azthena answers, it may on occasions provide incorrect responses. Please confirm any data provided with the related suppliers or authors. We do not provide medical advice, if you search for medical information you must always consult a medical professional before acting on any information provided.

Your questions, but not your email details will be shared with OpenAI and retained for 30 days in accordance with their privacy principles.

Please do not ask questions that use sensitive or confidential information.

Read the full Terms & Conditions.