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

DOI10.1134/S0361768806040025zbMath1117.68020MaRDI QIDQ885853

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

Publication date: 14 June 2007

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

zbMATH Keywords

operational semantics algorithms; sequential object-oriented programs

Mathematics Subject Classification ID

68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)

68Q55: Semantics in the theory of computing

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

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Uses Software

• C-Light

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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