Sciweavers

61 search results - page 7 / 13
» Focusing and higher-order abstract syntax
Sort
View
PEPM
1993
ACM
13 years 11 months ago
Partial Evaluation of General Parsers
Applications of partial evaluation have so far mainly focused on generation of compilers from interpreters for programming languages. We partially evaluate a simple general LR(k) ...
Christian Mossin
EMMCVPR
2011
Springer
12 years 7 months ago
Curvature Regularity for Multi-label Problems - Standard and Customized Linear Programming
Abstract. We follow recent work by Schoenemann et al. [25] for expressing curvature regularity as a linear program. While the original formulation focused on binary segmentation, w...
Thomas Schoenemann, Yubin Kuang, Fredrik Kahl
BIRTHDAY
2012
Springer
12 years 3 months ago
Model Transformation By-Example: A Survey of the First Wave
Abstract. Model-Driven Engineering (MDE) places models as firstclass artifacts throughout the software lifecycle. In this context, model transformations are crucial for the succes...
Gerti Kappel, Philip Langer, Werner Retschitzegger...
HCI
2009
13 years 5 months ago
Tooling the Dynamic Behavior Models of Graphical DSLs
Domain-specific modeling is a powerful technique to describe complex systems in a precise but still understandable way. Rapid creation of graphical Domain-Specific Languages (DSLs)...
Tihamer Levendovszky, Tamás Mész&aac...
HICSS
2007
IEEE
94views Biometrics» more  HICSS 2007»
14 years 1 months ago
Towards Model Transformation Generation By-Example
— With the advent of Model-Driven Engineering (MDE) several model transformation approaches and languages have been developed in the last 5 years. Most of these existing approach...
Manuel Wimmer, Michael Strommer, Horst Kargl, Gerh...