Sciweavers

9444 search results - page 328 / 1889
» The Language Model LMNtal
Sort
View
UML
2000
Springer
15 years 10 months ago
Supporting Several Levels of Restriction in the UML
The emergence of the Unified Modeling Language (UML) has provided software developers with an effective and efficient shared language. However, UML is often too restrictive in init...
Christian Heide Damm, Klaus Marius Hansen, Michael...
ECBS
2004
IEEE
93views Hardware» more  ECBS 2004»
15 years 10 months ago
Domain Independent Generative Modeling
Model Integrated Computing employs domainspecific modeling languages for the design of Computer Based Systems and automatically generates their implementation. These system models...
Branislav Kusy, Ákos Lédeczi, Miklos...
GG
2008
Springer
15 years 7 months ago
Transformation-Based Operationalization of Graph Languages
Graph Languages1 emerged during the seventies from the necessity to process data structures with complex interrelations. Nowadays, various variants of these languages can be found...
Erhard Weinell
AMAST
2000
Springer
15 years 11 months ago
Meta Languages in Algebraic Compilers
Abstract. Algebraic compilers provide a powerful and convenient mechanism for specifying language translators. With each source language operation one associates a computation for ...
Eric Van Wyk
213
Voted
ESOP
1992
Springer
15 years 10 months ago
A Provably Correct Compiler Generator
We have designed, implemented, and proved the correctness of a compiler generator that accepts action semantic descriptions of imperative programming languages. The generated comp...
Jens Palsberg