3736 search results - page 319 / 748 » Generative Programming |
132
click to vote
CL
2000
Springer
15 years 8 months ago
2000
Springer
This paper presents a method for representing trees using constraint logic programming over finite domains. We describe a class of trees that is of particular interest to us and h...
120
click to vote
SIGADA
1998
Springer
15 years 8 months ago
1998
Springer
Despite substantial research on methods and tools for testing reusable modules, little help is available for the tester in the eld. Commercial tools for system testing are widely ...
118
click to vote
ICPP
1997
IEEE
15 years 8 months ago
1997
IEEE
Optamzztng compalataon as very amportant for generatang code sequentes an order to utalaze the characterastacs of processor archatectures. One of the most essentaal optzmazataon t...
164
Voted
FMCAD
2008
Springer
15 years 5 months ago
2008
Springer
We present a method for verifying information flow properties of software programs using inductive assertions and theorem proving. Given a program annotated with information flow a...
123
click to vote
PDPTA
2007
15 years 5 months ago
2007
- In this paper we experiment with two optimization techniques we are considering implementing in a parallelizing compiler that generates parallel code for a distributed-memory sys...