Operational ontological approach to formal programming language specification

DOI10.1134/S0361768809010058zbMath1185.68428MaRDI QIDQ840084

I. S. Anureev

Publication date: 4 September 2009

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

zbMATH Keywords

ontological transition systemsoperational ontological semantics of programming languages

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Theory of software (68N99)

Related Items (1)

OTSL

Cites Work

• Towards verification of C programs: Axiomatic semantics of the C-kernel language
• Evolving Algebras 1993: Lipari Guide
• Foundations of Information and Knowledge Systems
• Unnamed Item
• Unnamed Item

This page was built for publication: Operational ontological approach to formal programming language specification