Green Journals

Neurosymbolic code auditing

Chengpeng Wang, Zhuo Zhang, Xiangzhe Xu et al.

2026-9-24 Vol. 10 Issue 3 Pages 149-273

DOI: 10.1108/ftpgl-11-2025-0068

Termination analysis of linear-constraint programs

Amir M. Ben-Amram, Samir Genaim, Joël Ouaknine et al.

2026-7-24 Vol. 10 Issue 1-2 Pages 1-145

DOI: 10.1108/ftpgl-07-2025-0071

Safety and Trust in Artificial Intelligence with Abstract Interpretation

Gagandeep Singh, Jacob Laurel, Sasa Misailovic et al.

2025-6-30 Vol. 8 Issue 3-4 Pages 250-408

DOI: 10.1561/2500000062

Programming Differential Privacy

Joseph P. Near, Chiké Abuah

2025 Vol. 9 Issue 1-2 Pages 1-193

DOI: 10.1561/2500000069

Incremental Computation: What Is the Essence?

Yanhong A. Liu

2025 Vol. 9 Issue 3 Pages 194-269

DOI: 10.1561/2500000067

Neurosymbolic Programming in Scallop: Principles and Practice

Ziyang Li, Jiani Huang, Jason Liu et al.

2024-12-30 Vol. 8 Issue 2 Pages 118-249

DOI: 10.1561/2500000059

From Fine- to Coarse-Grained Dynamic Information Flow Control and Back

Marco Vassena, Alejandro Russo, Deepak Garg et al.

2023-10-9 Vol. 8 Issue 1 Pages 1-117

DOI: 10.1561/2500000046

Probabilistic Trace and Testing Semantics: The Importance of Being Coherent

Marco Bernardo

2022-8-24 Vol. 7 Issue 4 Pages 244-332

DOI: 10.1561/2500000056

Neurosymbolic Programming

Swarat Chaudhuri, Kevin Ellis, Oleksandr Polozov et al.

2021-12-9 Vol. 7 Issue 3 Pages 158-243

DOI: 10.1561/2500000049

Introduction to Neural Network Verification

Aws Albarghouthi

2021-12-2 Vol. 7 Issue 1-2 Pages 1-157

DOI: 10.1561/2500000051

Year	A+	A	B	C
2026			✓
2025			✓
2024			✓
2023			✓
2021/2022			✓
2020			✓
2019			✓
2018

Journal Report

Journal Information

Classification History

Recent Articles