Towards verification of C\(\#\) programs: a three-level approach

DOI10.1134/S0361768806040025zbMath1117.68020OpenAlexW2035786727MaRDI QIDQ885853

V. A. Nepomniaschy, I. S. Anureev, I. V. Dubranovskij, A. V. Promskii

Publication date: 14 June 2007

Published in: Programming and Computer Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s0361768806040025

zbMATH Keywords

operational semantics algorithmssequential object-oriented programs

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• C-Light

Cites Work

• A high-level modular definition of the semantics of C\(_{\sharp}\)
• Towards verification of C programs: Axiomatic semantics of the C-kernel language
• Formal Methods for Open Object-Based Distributed Systems
• Modular specification and verification of object-oriented programs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Towards verification of C\(\#\) programs: a three-level approach