Sciweavers

135 search results - page 2 / 27
» The Semantics of Variables in Action Descriptions
Sort
View
ENTCS
2002
132views more  ENTCS 2002»
13 years 5 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
13 years 11 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»
13 years 5 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
13 years 5 months ago
Comparing action descriptions based on semantic preferences
Thomas Eiter, Esra Erdem, Michael Fink, Ján...
AAAI
2008
13 years 8 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