6960 search results - page 1284 / 1392 » Continuity Analysis of Programs |
111
click to vote
ENTCS
2008
15 years 3 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...
118
click to vote
FAC
2008
15 years 3 months ago
2008
Abstract. A fundamental method of analyzing a system such as a program or a circuit is invariance analysis, in which one proves that an assertion holds on all reachable states. Typ...
116
click to vote
COMPUTER
2006
15 years 3 months ago
2006
: In software design, laziness is a virtue: it's better to reuse than to redo. Design patterns are a good illustration. Patterns, a major advance in software architecture, pro...
145
click to vote
CORR
2006
Springer
15 years 3 months ago
2006
Springer
The objective of this research is to analyse the ways members of open-source software communities participate in design. In particular we focus on how users of an Open Source (OS) ...
128
click to vote
CORR
2006
Springer
15 years 3 months ago
2006
Springer
Packrat parsing is a novel technique for implementing parsers in a lazy functional programming language. A packrat parser provides the power and flexibility of top-down parsing wi...