Prescriptive semantics for big-step modelling languages

FASE, pp. 158-172, 2010.

Cited by: 11|Bibtex|Views1|DOI:https://doi.org/10.1007/978-3-642-12029-9_12
EI
Other Links: dl.acm.org|dblp.uni-trier.de|academic.microsoft.com

Abstract:

A big-step modelling language (BSML) is a language in which a model can respond to an environmental input via a sequence of small steps, each of which may consist of the concurrent execution of a set of transitions. BSMLs are a popular class of modelling languages that are regularly reincarnated in different syntactic and semantic variati...More

Code:

Data:

Your rating :
0

 

Tags
Comments