126 search results - page 2 / 26 » Advanced Logic Program Specialisation |
CORR
2002
Springer
13 years 5 months ago
2002
Springer
Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programm...
LISP
2008
13 years 5 months ago
2008
We describe the use of a flexible meta-interpreter for performing access control checks on deductive databases. The meta-program is implemented in Prolog and takes as input a datab...
LOPSTR
1998
Springer
13 years 9 months ago
1998
Springer
PEPM
1998
ACM
13 years 9 months ago
1998
ACM
ICFP
2005
ACM
14 years 5 months ago
2005
ACM
We present a parametric Hoare-like logic for computer-aided reasoning about typeable properties of functional programs. The logic is based on the concept of a specialised assertio...