3736 search results - page 127 / 748 » Hand-Writing Program Generator Generators |
155
click to vote
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
Type-directed programming is an important idiom for software design. In type-directed programming the behavior of programs is guided by the type structure of data. It makes it pos...
147
click to vote
PEPM
1993
ACM
15 years 9 months ago
1993
ACM
For a functional programming language with a lazy standard semantics, we define a strictness analysis by means of abstract interpretation. Using the information from the strictne...
127
click to vote
SIAMSC
2008
15 years 4 months ago
2008
A compiler approach for generating low-level computer code from high-level input for discontinuous Galerkin finite element forms is presented. The input language mirrors convention...
147
click to vote
KBSE
1997
IEEE
15 years 9 months ago
1997
IEEE
In software testing, it is often desirable to find test inputs that exercise specific program features. To find these inputs by hand is extremely time-consuming, especially whe...
127
click to vote
PST
2008
15 years 6 months ago
2008
One of the key issues with the practical applicability of Proof-Carrying Code (PCC) and its related methods is the difficulty in communicating and storing the proofs which are inh...