2030 search results - page 236 / 406 » Designing Complex Software Implementation Programs |
106
click to vote
CC
2003
Springer
15 years 8 months ago
2003
Springer
Polyglot is an extensible compiler framework that supports the easy creation of compilers for languages similar to Java, while avoiding code duplication. The Polyglot framework is ...
ZUM
1992
Springer
15 years 6 months ago
1992
Springer
software in the form of abstract classes; and the specification elements of the language can also be used in concrete classes to document the implementations and their development ...
159
click to vote
FLOPS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Assertion-based contracts provide a powerful mechanism for stating invariants at module boundaries and for enforcing them uniformly. In 2002, Findler and Felleisen showed...
103
click to vote
FOAL
2009
ACM
15 years 9 months ago
2009
ACM
Programs of a software product line can be synthesized by composing features which implement some unit of program functionality. In most product lines, only some combination of fe...
124
click to vote
COMPSAC
2007
IEEE
15 years 6 months ago
2007
IEEE
Despite the availability of a variety of program analysis tools, evaluation of these tools is difficult, as only few benchmark suites exist. Existing benchmark suites lack the uni...