6581 search results - page 161 / 1317 » Formalizing Design Patterns |
106
click to vote
FDL
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper, we introduce a layout description and generation model, GBLD, based on the notions and elements of L-systems and context-free grammars. Our layout model is compatib...
146
Voted
FASE
2000
Springer
15 years 7 months ago
2000
Springer
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
128
click to vote
WSC
2004
15 years 4 months ago
2004
Building computational models of real world systems usually requires the interaction of decision modules and simulation modules. Given different models and algorithms, the major h...
131
Voted
COLING
1996
15 years 4 months ago
1996
Automatic compilation of the linking relation employed in certain parsing algorithms for context-free languages is examined. Special problems arise in the extension of these algor...
117
click to vote
ACL
1989
15 years 4 months ago
1989
We present an algorithm for generating strings from logical form encodings that improves upon previous algorithms in that it places fewer restrictions on the class of grammars to ...