378 search results - page 12 / 76 » From Natural Semantics to Abstract Machines |
JUCS
2008
13 years 7 months ago
2008
Abstract: The abstract syntax and static semantics of UML, the widely-used generalpurpose graphical modeling language, have been standardized in a four-layer metamodeling framework...
ECOOP
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Aspect-oriented programming languages usually are extensions of object-oriented ones, and their compilation target is usually the (virtual) machine model of the language ...
ICWE
2004
Springer
14 years 27 days ago
2004
Springer
Abstract. This paper describes the new e-learning tool CHESt that allows students to search in a knowledge base for short (teaching) multimedia clips by using a semantic search eng...
ECML
2003
Springer
14 years 23 days ago
2003
Springer
Context-free grammars cannot be identified in the limit from positive examples (Gold, 1967), yet natural language grammars are more powerful than context-free grammars and humans ...
FDL
2004
IEEE
13 years 11 months ago
2004
IEEE
We present a rigorous but transparent semantics definition of SystemVerilog that covers processes with blocking and non-blocking statements as well as their interaction with the s...