Model checking linear logic specifications

DOI10.1017/S1471068404002066MaRDI QIDQ4669651zbMATH OpenOpenAlexFDO

Authors Marco Bozzano, Giorgio Delzanno, M. Martelli

Publication date 15 April 2005

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

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

zbMATH Keywords

bottom-up evaluation.fixpoint semantics

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1693040
• An effective fixpoint semantics for linear logic programs
• scientific article; zbMATH DE number 1761892
• scientific article; zbMATH DE number 1361538
• A language for the logical specification of processes and relations

Cited in

(3)

• Logical approximation for program analysis
• scientific article; zbMATH DE number 1693040 (Why is no real title available?)
• A logical characterization of forward and backward chaining in the inverse method

This page was built for publication: Model checking linear logic specifications

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