Introduction to the special issue on computational logic for verification

DOI10.1017/S1471068418000029zbMath1475.00076OpenAlexW2801549662WikidataQ129891778 ScholiaQ129891778MaRDI QIDQ4644352

No author found.

Publication date: 31 May 2018

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1471068418000029

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17)

Cites Work

• Unnamed Item
• Unnamed Item
• Truly concurrent constraint programming
• Linear concurrent constraint programming: Operational and phase semantics
• Newtonian program analysis via tensor product
• Horn Clause Solvers for Program Verification
• Newtonian program analysis
• Transformation of logic programs: Foundations and techniques
• Horn clauses as an intermediate representation for program analysis and transformation
• A Brief History of Strahler Numbers
• A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs

This page was built for publication: Introduction to the special issue on computational logic for verification