An Incremental Approach to Abstraction-Carrying Code

DOI10.1007/11916277_26zbMath1165.68353OpenAlexW1529059346MaRDI QIDQ5387905

Puri Arenas, Germán Puebla, Elvira Albert

Publication date: 27 May 2008

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11916277_26

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: An Incremental Approach to Abstraction-Carrying Code