Sciweavers

3185 search results - page 33 / 637
» Principles for modeling language design
Sort
View
OOGRAPHICS
1995
13 years 11 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
14 years 7 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
13 years 9 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
14 years 1 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