《程序設計中的邏輯和代數(shù)方法》是一份國際性的期刊，旨在發(fā)表高質量的原創(chuàng)研究論文、調查和評論文章、教程演示以及歷史研究，內容涉及邏輯和代數(shù)方法和技術，以確保程序的正確性和可執(zhí)行性，以及一般的計算系統(tǒng)。所有方面都將包括，特別是理論和基礎，實施問題，以及涉及新思想的應用。雜志感興趣的主題包括:?代數(shù)、代數(shù)余和范疇在編程中的應用?證明理論和模型理論在編程中的應用?約束編程?編程范例的基礎?邏輯編程?程序安全性的邏輯基礎?網(wǎng)絡物理系統(tǒng)的模型和分析模型?過程結石?編程模型?系統(tǒng)分析的定量方法?系統(tǒng)規(guī)范和驗證《編程中的邏輯和代數(shù)方法》雜志對愛思唯爾的計算機編程科學和理論計算機科學進行了補充，其重點是在編程和開發(fā)可信計算系統(tǒng)的基礎上應用邏輯、代數(shù)和分類方法。

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.