scientific article; zbMATH DE number 1418459

MaRDI QIDQ4942016zbMATH OpenFDO

Authors Yifei Dong, C. R. Ramakrishnan

Publication date 19 March 2000

zbMATH Keywords

optimizing compiler

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1759609
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Specification, verification and prototyping of an optimized compiler
• scientific article; zbMATH DE number 1903381
• Fundamental Approaches to Software Engineering

Cited in

(7)

• A Framework for Formal Verification of Compiler Optimizations
• Computational Space Efficiency and Minimal Model Generation for Guarded Formulae
• Optimization techniques for Craig interpolant compaction in unbounded model checking
• Out of control: reducing probabilistic models by control-state elimination
• Specifications can make programs run faster
• State space reduction for process algebra specifications
• ViDoC - Visual Design of Optimizing Compilers

Describes a project that uses

Uses Software

• CESAR
• SPIN
• LOTOS

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 Q4942016)