scientific article; zbMATH DE number 2012389

MaRDI QIDQ4437807zbMATH OpenFDO

Authors Flemming Nielson

Publication date 15 December 2003

zbMATH Keywords

inference systemsmultiparadigmatic languagesoperational semanticsprogram analysis

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A logical analysis of modules in logic programming
• Relating logic programs via program maps
• Logical approximation for program analysis
• Program logics and their applications
• Differential methods in logic program analysis
• scientific article; zbMATH DE number 4070808
• Programming Languages and Systems
• Algebraic methods in the compositional analysis of logic programs
• scientific article; zbMATH DE number 1023017

Cited in

(3)

• A compositional behavioral modeling framework for embedded system design and conformance checking
• Typing local control and state using flow analysis
• From CML to its process algebra

This page was built for publication:

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