3738 search results - page 660 / 748 » Parametrized Logic Programming |
120
click to vote
DAGSTUHL
1996
15 years 1 months ago
1996
The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evalua...
90
Voted
LDTA
2010
15 years 23 days ago
2010
Real programming languages are often defined using ambiguous context-free grammars. Some ambiguity is intentional while other ambiguity is accidental. A good grammar development e...
86
Voted
ENTCS
2008
15 years 19 days ago
2008
In the previous, companion, paper [13] to this paper we introduced our general model of refinement, discussed ideas around determinism and interfaces that the general definition r...
122
Voted
ENTCS
2008
15 years 19 days ago
2008
HOL-TestGen is a specification and test case generation environment extending the interactive theorem prover Isabelle/HOL. The HOL-TestGen method is two-staged: first, the origina...
120
Voted
IJAIT
2006
15 years 17 days ago
2006
We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligatio...