Journal of Logical and Algebraic Methods in Programming

期刊信息导读

1. Journal of Logical and Algebraic Methods in Programming基本信息
• 2018-2019最新影响因子
• 2022年6月28日更新影响因子
• 研究方向
• 官方网站
• 投稿网址
• 年文章数
2. Journal of Logical and Algebraic Methods in Programming中科院SCI期刊分区
3. 历年Journal of Logical and Algebraic Methods in Programming影响因子趋势图
4. Journal of Logical and Algebraic Methods in Programming期刊英文简介
5. Journal of Logical and Algebraic Methods in Programming期刊中文简介

Journal of Logical and Algebraic Methods in Programming基本信息

简称：J LOG ALGEBR METHODS

中文名称：程序设计中的逻辑和代数方法杂志

研究方向：工程技术

2018-2019最新影响因子：0.632

2022年6月28日更新影响因子：1.088

SCI类别：SCI/SCIE

是否OA开放访问：No

出版地：UNITED STATES

年文章数：56

涉及的研究方向：工程技术-计算机：理论方法

官方网站：http://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming/

投稿网址：http://www.evise.com/evise/faces/pages/navigation/NavController.jspx?JRNL_ACR=JLAMP

PMC链接：http://www.ncbi.nlm.nih.gov/nlmcatalog?term=2352-2208%5BISSN%5D

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.

Journal of Logical and Algebraic Methods in Programming期刊中文简介

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

中科院SCI期刊分区：

Journal of Logical and Algebraic Methods in Programming影响因子

获取相关优质资源获取2023中科院分区