5090 search results - page 696 / 1018 » Constructing Strategies for Programming |
154
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...
158
click to vote
ENTCS
2008
15 years 6 months ago
2008
Attribute grammar specification languages, like many domain specific languages, offer significant advantages to their users, such as high-level declarative constructs and domain-s...
255
click to vote
Publication
A major difficulty in compiler development regards the proper modularization of concerns among the various compiler phases. The traditional object-oriented development paradigm ha...
164
click to vote
JOLLI
2002
15 years 6 months ago
2002
Dynamic Predicate Logic (DPL) is a variant of Predicate Logic introduced by Groenendijk en Stokhof. One rationale behind the indroduction of DPL is that it is closer to Natural La...
193
click to vote
INTERACTIONS
2010
15 years 4 months ago
2010
s from a concrete to a new abstract level of description [1]. Rises in abstraction level happen regularly in all fields, but the key difference in Alexander's work was that ra...