Introduction to the special issue on computational logic for verification

DOI10.1017/S1471068418000029MaRDI QIDQ4644352zbMATH OpenOpenAlexWikidataFDO

Authors

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) Logic in computer science (03B70) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites work

• A Brief History of Strahler Numbers
• A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
• Horn clause solvers for program verification
• Horn clauses as an intermediate representation for program analysis and transformation
• scientific article; zbMATH DE number 1728233 (Why is no real title available?)
• scientific article; zbMATH DE number 1158761 (Why is no real title available?)
• Linear concurrent constraint programming: Operational and phase semantics
• Newtonian program analysis
• Newtonian program analysis via tensor product
• Transformation of logic programs: Foundations and techniques
• Truly concurrent constraint programming

Cited in

(2)

• Logics and automata for verification: Expressiveness and decidability issues
• scientific article; zbMATH DE number 5499339 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4644352)