3736 search results - page 232 / 748 » Hand-Writing Program Generator Generators |
151
click to vote
FM
2001
Springer
15 years 11 months ago
2001
Springer
A static program checker that performs modular checking can check one program module for errors without needing to analyze the entire program. Modular checking requires that each m...
142
click to vote
ANSS
2000
IEEE
15 years 11 months ago
2000
IEEE
The cost of building a new system is usually quite high and without a proper design, a mismatch might occur between the proposed system and the actual system delivered. One aspect...
175
click to vote
ECOOP
2000
Springer
15 years 11 months ago
2000
Springer
Althoughthereisalargebodyofresearchonthetimeoverheadofobject oriented programs, there is little work on memory overhead. This paper takes an empirical approach to the study of this...
148
click to vote
PPDP
2010
Springer
15 years 5 months ago
2010
Springer
This article presents HSS1 , a compiler for CSS. It is first argued that generating CSS improves portability and maintainability of CSS files. This claim is supported by realist...
182
click to vote
ECEASST
2010
15 years 4 months ago
2010
Abstract. The precise specification of software models is a major concern in model-driven design of object-oriented software. In this paper, we investigate how program graphs, a la...