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.

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