Search
Results
-
Montages/Gem-Mex: a meta visual programming generator
(1998)TIK ReportLast decade witnessed a disappointing lack in technology transfer from formal semantics to language design. Research in formal semantics has developed increasingly complex concepts and notation at the expense of calculational clarity and applicability in the development of languages. Montages is a visual domain-specific formalism for specifying all the aspects of a programming language. It is intelligible to a broad range of people ...Report -
Object-based abstract state machines
(1998)TIK ReportWhen designing and implementing complex computer systems, powerful description techniques are needed that allow the representation of hardware and software components at various abstraction levels and support reenement during the development process. These techniques should be formal in order to support mathematical reasoning about systems properties while at the same time they should be operational so as to facilitate comprehension and ...Report -
-
An ASM macro language for sets
(1998)TIK ReportIn the paper I introduce a macro language which allows to use in Gurevich's Abstract State Machines (ASMs) directly the set notation. Idefine families of sets, a language of set terms (union, intersection, instances of families, Cartesian products), their semantics if they appear in transition rules (extension of family-instances, vary over set terms, assignments of set terms to family-instances), and their semantics in boolean terms like ...Report