Foundations and Trends in Programming Languages
| 短名 | |
| Journal Impact | 4.12 |
| 国际分区 | COMPUTER SCIENCE, SOFTWARE ENGINEERING(Q1) |
| ISSN | 2325-1107, 2325-1131 |
| h-index | 11 |
| 涉及主题 | 计算机科学程序设计语言数学人工智能哲学 |
| 出版信息 | 出版商: Now Publishers Inc，出版周期: ，期刊类型: journal |
| 基本数据 | 创刊年份: 2014，原创研究文献占比: 100.00%，自引率:0.00%， Gold OA占比: 80.00% |
期刊引文格式
这些示例是对学术期刊文章的引用，以及它们应该如何出现在您的参考文献中。
并非所有期刊都按卷和期组织其已发表的文章，因此这些字段是可选的。有些电子期刊不提供页面范围，而是列出文章标识符。在这种情况下，使用文章标识符而不是页面范围是安全的。
只有1位作者的期刊
有2位作者的期刊
有3位作者的期刊
有5位以上作者的期刊
书籍引用格式
以下是创作和编辑的书籍的参考文献的示例。
学位论文引用格式
网页引用格式
这些示例是对网页的引用，以及它们应该如何出现在您的参考文献中。
专利引用格式
最新文章
From Fine- to Coarse-Grained Dynamic Information Flow Control and Back
2023-1-1
Probabilistic Trace and Testing Semantics: The Importance of Being Coherent
2022-1-1
Introduction to Neural Network Verification
2021-1-1
Refinement Types: A Tutorial
2021-1-1
Neurosymbolic Programming
2021-1-1
Shape Analysis
2020-1-1
Progress of Concurrent Objects
2020-1-1
QED at Large: A Survey of Engineering of Formally Verified Software
2019-1-1
Reconciling Abstraction with High Performance: A MetaOCaml approach
2018-1-1
Program Synthesis
2017-1-1
Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation
2017-1-1
Nominal Game Semantics
2016-1-1
Behavioral Types in Programming Languages
2016-1-1
Computer-Assisted Query Formulation
2016-1-1
Programming with “Big Code”
2016-1-1
Pointer Analysis
2015-1-1
Static Analysis and Verification of Aerospace Software by Abstract Interpretation
2015-1-1
Principles of Eventual Consistency
2015-1-1
Principles of Eventual Consistency
2014-1-1
Formal Models and Techniques for Analyzing Security Protocols: A Tutorial
2014-1-1
帮你贴心管理全部的文献
研飞ivySCI，高效的论文管理
投稿经验分享
分享我的经验，帮你走得更远