Journal of Logical and Algebraic Methods in Programming

《程序设计中的逻辑和代数方法》是一份国际性的期刊，旨在发表高质量的原创研究论文、调查和评论文章、教程演示以及历史研究，内容涉及逻辑和代数方法和技术，以确保程序的正确性和可执行性，以及一般的计算系统。所有方面都将包括，特别是理论和基础，实施问题，以及涉及新思想的应用。杂志感兴趣的主题包括:?代数、代数余和范畴在编程中的应用?证明理论和模型理论在编程中的应用?约束编程?编程范例的基础?逻辑编程?程序安全性的逻辑基础?网络物理系统的模型和分析模型?过程结石?编程模型?系统分析的定量方法?系统规范和验证《编程中的逻辑和代数方法》杂志对爱思唯尔的计算机编程科学和理论计算机科学进行了补充，其重点是在编程和开发可信计算系统的基础上应用逻辑、代数和分类方法。

The Journal of Logical and Algebraic Methods in Programming is an international journal whose aim is to publish high quality, original research papers, survey and review articles, tutorial expositions, and historical studies in the areas of logical and algebraic methods and techniques for guaranteeing correctness and performability of programs and in general of computing systems. All aspects will be covered, especially theory and foundations, implementation issues, and applications involving novel ideas.Topics of interest to the journal include: ? Applications of algebras, co-algebra and categories to programming? Applications of proof theory and model theory to programming? Constraint programming? Foundations of Programming Paradigms? Logic programming? Logical Foundations of Program Security? Models and Analytical Models for Cyber-Physical Systems? Process Calculi? Programming Models? Quantitative Methods for System Analysis? Specification and verification of systemsThe Journal of Logical and Algebraic Methods in Programming complements Elsevier's Science of Computer Programming and Theoretical Computer Science by its focus on the foundations and the application of logical, algebraic and categorical methods to programming and to the development of trustworthy computing systems.