3736 search results - page 65 / 748 » Generative Programming |
FATES
2003
Springer
14 years 1 months ago
2003
Springer
Generating effective tests and inferring likely program specifications are both difficult and costly problems. We propose an approach in which we can mutually enhance the tests and...
PEPM
1999
ACM
14 years 29 days ago
1999
ACM
A certifying compiler takes a source language program and produces object code, as well as a certi cate" that can be used to verify that the object code satis es desirable pr...
SAS
2009
Springer
2009
Springer
Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology
14 years 9 months ago
parsing: static analysis of dynamically generated string output using LR-parsing technology Kyung-Goo Doh1 , Hyunha Kim1 , David A. Schmidt2 1 Hanyang University, Ansan, South Kore...
ASPLOS
1991
ACM
14 years 7 days ago
1991
ACM
Access/execute architectures have several advantages over more traditional architectures. Because address generation and memory access are decoupled from operand use, memory laten...
IIE
2007
13 years 8 months ago
2007
Automatic assessment of programming exercises is typically based on testing approach. Most automatic assessment frameworks execute tests and evaluate test results automatically, bu...