86 search results - page 4 / 18 » Automatic Generation of Propagation Rules for Finite Domains |
85
Voted
COLING
1992
14 years 11 months ago
1992
he more abstract term "relational morphology" in place of tile usual "two-level morphology" in order to emphasize an aspect of Koskenniemi's work which ha...
91
Voted
FAC
2010
14 years 8 months ago
2010
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language in the form of gr...
APSEC
2009
IEEE
14 years 8 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
79
Voted
ACMSE
2010
ACM
14 years 8 months ago
2010
ACM
Developing software from models is a growing practice and there exist many model-based tools (e.g., model editors, model interpreters) for supporting model-driven engineering. Eve...
76
Voted
REFLECTION
1999
Springer
15 years 2 months ago
1999
Springer
When a metaprogram automatically creates rules, some created rules are useless because they can never apply. Some metarules, that we call impossibility metarules, are used to remov...