Annotation inference for modular checkers

DOI10.1016/S0020-0190(00)00196-4zbMath1003.68073OpenAlexW2042751794MaRDI QIDQ1607087

Rajeev Joshi, K. Rustan M. Leino, Cormac Flanagan

Publication date: 25 July 2002

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0020-0190(00)00196-4

zbMATH Keywords

annotation inferencestatic program checker

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• ML

Cites Work

• Unnamed Item
• Unnamed Item
• A theory of type polymorphism in programming
• Refinement Calculus
• Programming as a Discipline of Mathematical Nature

This page was built for publication: Annotation inference for modular checkers