3736 search results - page 212 / 748 » Hand-Writing Program Generator Generators |
151
click to vote
PPDP
2007
Springer
16 years 18 days ago
2007
Springer
We propose a framework to construct web-oriented user interfaces in a high-level way by exploiting declarative programming techniques. Such user interfaces are intended to manipul...
207
click to vote
ICPPW
2005
IEEE
16 years 2 days ago
2005
IEEE
High-performance computing is essential for solving large problems and for reducing the time to solution for a single problem. Current top high-performance computing systems conta...
170
click to vote
IEEEPACT
2005
IEEE
16 years 2 days ago
2005
IEEE
We describe the design, generation and compression of the extended whole program path (eWPP) representation that not only captures the control flow history of a program execution...
145
click to vote
TLDI
2003
ACM
15 years 11 months ago
2003
ACM
We describe a design pattern for writing programs that traverse data structures built from rich mutually-recursive data types. Such programs often have a great deal of “boilerpl...
175
click to vote
CAV
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The theme of this paper is certifying software for state estimation of dynamic systems, which is an important problem found in spacecraft, aircraft, geophysical, and in m...