A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
Filters
Towards creating specialised integrity checks through partial evaluation of meta-interpreters
1995
Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '95
Preserved Fulltext
In [23] we presented a partial evaluation scheme for a "real life" subset of Prolog, cent aining first-order built-in's, simple side-effects and the operational predicate if-then-else. ...
PEPM 6 Results Throughout the remainder of this section the rules in figure 7 form the intensional part of Db= (the facts are unknown at partial evaluation time). mother X, Y + parent X, Y), womara ...
The result of the partial evaluation obained by leupel can be seen in figure 9 and the timings are summarised in the following [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] ...
doi:10.1145/215465.215598
dblp:conf/pepm/LeuschelS95
fatcat:5uqkyyxxezc7xay7qcgtuv4txq
Declarative programming for verification
2008
Proceedings of the 10th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '08
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
More precisely, we present insights gained and lessons learned while implementing animators and model checkers in Prolog for various specification languages, ranging from process algebras such as CSP to ...
This paper summarises roughly ten years of experience using declarative programming for developing tools to validate formal specifications. ...
Acknowledgments I would like to thank the co-authors of the papers that are behind this work: Jens Bendisposto, Michael Butler, Marc Fontaine, Helko Lehmann, Thieryy Massart, Daniel Plagge, Corinna Spermann ...
doi:10.1145/1389449.1389450
dblp:conf/ppdp/Leuschel08
fatcat:f55xkcbjaral7lytcr6odnmsee
The Ecce and Logen partial evaluators and their web interfaces
2006
Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '06
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We present ECCE and LOGEN, two partial evaluators for Prolog using the online and offline approach respectively. We briefly present the foundations of these tools and discuss various applications. ...
We also present new implementations of these tools, carried out in Ciao Prolog. In addition to a command-line interface new user-friendly web interfaces were developed. ...
We also would like to thank the partners of the ASAP project, in particular the people from UPM for their support and improvements to Ciao Prolog, and Kim Henriksen and Andrew Moss for their feedback on ...
doi:10.1145/1111542.1111557
dblp:conf/pepm/LeuschelEVCF06
fatcat:zxu2fzsi3jg4davs3ngjzbcl7q
Towards Provably Correct Code Generation via Horn Logical Continuation Semantics
[chapter]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
In this paper we explore approaches to provably correct code generation based on programming language semantics, particularly Horn logical semantics, and partial evaluation. ...
Provably correct compilation is an important aspect in development of high assurance software systems. ...
Acknowledgments We are grateful to Constance Heitmeyer and Elizabeth Leonard of the Naval Research Labs for providing us with the BNF grammar of SCR and the safety injection program as well as for discussions ...
doi:10.1007/978-3-540-30557-6_9
fatcat:w37qq7hjwvewfno2bt2cujseyy
Reporting Failures in Functional Logic Programs
2007
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
For instance, the concepts of demand-driven evaluation, higher-order functions, and polymorphic typing from functional programming are combined with logic programming features like computing with partial ...
In this case, the programmer is interested in the context of the failed program point in order to analyze the reason of the failure. ...
run-time error in Curry). ...
doi:10.1016/j.entcs.2007.01.002
fatcat:wun4ucznqfbj3eqeoox3gmszii
Creating specialised integrity checks through partial evaluation of meta-interpreters
1998
The Journal of Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
By partially evaluating this meta-interpreter for certain transaction patterns, using a partial evaluation technique presented in earlier work, we are able to automatically obtain very efficient specialised ...
In this paper we propose a solution to this problem by using partial evaluation to pre-compile the integrity checking for certain update patterns. ...
Our thanks also go to John Gallagher for pointing out several errors in an earlier version of the paper and for the fruitful discussions on partial evaluation and integrity checking. ...
doi:10.1016/s0743-1066(97)10012-7
fatcat:kcnk65pcsjc3xkcgdjwyndj3dm
Non-procedural logic programming
[chapter]
1994
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The meta-programs, also just collections of formulae, specify desired computational behaviours. ...
A logic program in this language consists of an object-program and a number of meta-programs. The object program, a collection of formulae, is a description of the problem domain of interest. ...
Partial evaluation techniques no longer appear as promising as they once did [15] . ...
doi:10.1007/3-540-58025-5_56
fatcat:oybhxag6nzcqpdtyhredfsyzse
Declarative Infrastructure Configuration Synthesis and Debugging
2008
Journal of Network and Systems Management
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The partial evaluator is implemented in Prolog. ConfigAssure is shown to be natural and scalable in the context of a realistic, secure and fault-tolerant datacenter. ...
A QFF is a Boolean combination of simple arithmetic constraints on integers. A requirement is specified by defining a partial evaluator that transforms it into an equivalent QFF. ...
In all cases, the time taken to compute the QFF in Prolog was a small fraction of the overall time. ...
doi:10.1007/s10922-008-9108-y
fatcat:k5wjn2s375eu5ix76bi4r3rcvq
Partial Evaluation of Pointcuts
[chapter]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
We propose a logic based pointcut language and a framework for finding shadows and generating dynamic checks based on partial evaluation of the pointcut predicates. ...
parts of the pointcut that cannot be evaluated statically. ...
Finally, the use more advanced technologies, like faster Prolog systems instead of SWI-Prolog and the full-fledged logen partial evaluation system are likely to speedup the optimisation. ...
doi:10.1007/978-3-540-69611-7_21
fatcat:tuh67prp6bdbfdxiu4f7aybuw4
BigYAP: Exo-compilation meets UDI
2013
Theory and Practice of Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Ideally, we would like the Prolog system to deal with large data-sets in an efficient way both in terms of memory and of processing time. ...
We show that combining exo-compilation with Just In Time Indexing can have significant advantages both in terms of memory usage and in terms of execution time.An alternative path that is relevant for many ...
This work is partially financed by the ERDF European Regional Development Fund through the COMPETE Program (operational program for competitiveness) and by National Funds through the FCT Fundação para ...
doi:10.1017/s1471068413000501
fatcat:g5snftgfhzho5phgvxxctqgqbe
Reconciling Systems and Deductive Capabilities in Knowledge Based Systems Using Logic Programming
[chapter]
1992
Logic Programming New Frontiers
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
This paper reviews requirements for supporting both capabilities in a resolution based framework, and considers logic programming schemes which sustain each kind of capability. ...
It argues that no approach so far advocated is ultimately satisfactory, although a hybrid approach of coupling resolution engines supporting each kind of capability is a workable compromise. ...
Acknowledgements I would like to thank former colleagues at Heriot-Watt university and members of the Parlog group at Imperial college. This research was funded by Alvey project IKBS 90. ...
doi:10.1007/978-94-011-2562-8_12
fatcat:yryf3yb4f5g3xfdyfezrbtzmhe
LIX: an Effective Self-applicable Partial Evaluator for Prolog
[chapter]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This paper presents a self-applicable partial evaluator for a considerable subset of full Prolog. The partial evaluator is shown to achieve non-trivial specialisation and be effectively self-applied. ...
The attempts to self-apply partial evaluators for logic programs have, of yet, not been all that successful. ...
In the context of pure logic programs, partial evaluation is often referred to as partial deduction, the term partial evaluation being reserved for the treatment of impure logic programs. ...
doi:10.1007/978-3-540-24754-8_8
fatcat:5m2thirmhzff7dklh3xi2tn3r4
An extended Warren abstract machine for the execution of structured logic programs
1992
The Journal of Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
WARREN ABSTRACT MACHINE 189 of clauses, as happens in pure Prolog, g is evaluated by using a variable set of clauses determined by the current context of proof. ...
In particular, if the current context is [V" UN_ " . . . , V, J the ordered set of clauses considered is: clauses) (UN: I clauses) . . . ...
It is possible to restate in structured logic programming many of the properties which hold for Partial Evaluation in logic programming. ...
doi:10.1016/0743-1066(92)90011-q
fatcat:k4653eakrfdi7e7zqw2ovbh3bq
Self-tuning resource aware specialisation for prolog
2005
Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '05
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The algorithm is based on mutating the annotations of offline partial evaluation. ...
The paper develops a self-tuning resource aware partial evaluation technique for Prolog programs, which derives its own control strategies tuned for the underlying computer architecture and Prolog compiler ...
Acknowledgements We would like to thank Michael Roskopf, Bart Demoen, John Gallagher, and all the other partners of the ASAP project for their help and input. ...
doi:10.1145/1069774.1069777
dblp:conf/ppdp/CraigL05
fatcat:lyzal2i64bhsnlhqqj5pcxmmnm
Prolog Coding Guidelines: Status and Tool Support
2019
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2019 pre-print arXiv:1909.08230v1 fatcat:jrmu7zffwbbk3a2zwnudi72pgi
In this paper, we evaluate the status of coding guidelines in the Prolog community and discuss to what extent they can be automatically verified. ...
The importance of coding guidelines is generally accepted throughout developers of every programming language. Naturally, Prolog makes no exception. ...
However, the changes are applied just at compile-time, without any modifications on the original source code. ...
doi:10.4204/eptcs.306.8
fatcat:kscuqbbl3vgvln3xl6xrssrhom
« Previous
Showing results 1 — 15 out of 4,081 results