Sciweavers

3185 search results - page 33 / 637
» Principles for modeling language design
Sort
View
OOGRAPHICS
1995
15 years 1 months ago
Object-Oriented Design for Image Synthesis
The structure of the image synthesis process naturally leads to the use of object-oriented software design and many existing rendering systems are based on some kind of object-orie...
Philipp Slusallek, Hans-Peter Seidel
ICFP
2007
ACM
15 years 9 months ago
Inductive reasoning about effectful data types
We present a pair of reasoning principles, definition and proof by rigid induction, which can be seen as proper generalizations of lazy-datatype induction to monadic effects other...
Andrzej Filinski, Kristian Støvring
DAGSTUHL
2004
14 years 11 months ago
Language Engineering in Practice
ns to define the abstract modelling language that determines the structure of the models that are to be used a two-step meta-modelling approach turned out as most adequate. In the ...
Martin Große-Rhode
CAISE
2005
Springer
15 years 3 months ago
Constructing domain-specific design tools with a visual language meta-tool
Collaborative, visual design tools are typically difficult to build and evolve. We describe a meta tool for specification and generation of multiple view, multiple user visual desi...
Nianping Zhu, John C. Grundy, John G. Hosking