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.

【译文】《逻辑与代数方法在编程中的应用杂志》是一本国际期刊，旨在发表高质量、原创的研究论文、综述和评论文章、教程阐述和历史研究，涉及逻辑与代数方法和技术，以确保程序和计算系统的正确性和可执行性。所有方面都将被涵盖，特别是理论基础、实现问题和涉及新想法的应用。