Language-independent generation of logic representations for programs

MaRDI QIDQ3112192zbMATH OpenFDO

Authors Călin Jebelean, Ciprian-Bogdan Chirila, Titus Slavici, Vladimir Cretu

Publication date 13 January 2012

zbMATH Keywords

metamodel conforming logic representationprogram transformationsemantical actions

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Horn clauses as an intermediate representation for program analysis and transformation
• Logical Interpretation: Static Program Analysis Using Theorem Proving
• On termination of meta-programs
• scientific article; zbMATH DE number 1418814
• scientific article; zbMATH DE number 4178791

Cited in

(2)

• Mumbo: a rule-based implementation of a run-time program generation language
• Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference

This page was built for publication: Language-independent generation of logic representations for programs

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