OTSL

swMATH21005MaRDI QIDQ32818FDOQ32818

Author name not available (Why is that?)

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)

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

This page was built for software: OTSL