Sciweavers

135 search results - page 2 / 27
» The Semantics of Variables in Action Descriptions
Sort
View
ENTCS
2002
132views more  ENTCS 2002»
14 years 9 months ago
Action Semantics and ASF+SDF: System Demonstration
Modularity and tool support are crucial features for practical use of formal descriptions of programming languages. The combination of unrestricted context-free grammars with acti...
Peter D. Mosses
GI
2004
Springer
15 years 2 months ago
Static Safety Analysis of UML Action Semantics for Critical Systems Development
The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to i...
Zsigmond Pap, Dániel Varró
ENTCS
2008
158views more  ENTCS 2008»
14 years 9 months ago
Aspect-Oriented Action Semantics Descriptions
The modularity of programming language descriptions allows the designer to describe each programming language feature in a separated module that can be studied independently of ot...
Luis Carlos de Sousa Menezes
AMAI
2007
Springer
14 years 9 months ago
Comparing action descriptions based on semantic preferences
Thomas Eiter, Esra Erdem, Michael Fink, Ján...
AAAI
2008
14 years 11 months ago
Error Classification in Action Descriptions: A Heuristic Approach
Action languages allow to formally represent and reason about actions in a highly declarative manner. In recent work, revision and management of conflicts for domain descriptions ...
Thomas Eiter, Michael Fink, Ján Senko