中文簡(jiǎn)介

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

投稿網(wǎng)址：http://www.evise.com/evise/faces/pages/navigation/NavController.jspx?JRNL_ACR=JLAMP

英文簡(jiǎn)介

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.