OTSL

MaRDI QIDQ32818swMATHFDO

Official website http://bulletin.iis.nsk.su/files/article/anureev_1_0.pdf

Described by source

• Operational ontological approach to formal programming language specification

Cited in

(3)

• A language of actions in ontological transition systems
• Ontological transition systems structures
• XASM

This page was built for software: OTSL