Filters








4,081 Hits in 4.3 sec

Towards creating specialised integrity checks through partial evaluation of meta-interpreters

Michael Leuschel, Danny De Schreye
1995 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '95  
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

Michael Leuschel
2008 Proceedings of the 10th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '08  
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

Michael Leuschel, Dan Elphick, Mauricio Varea, Stephen-John Craig, Marc Fontaine
2006 Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '06  
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]

Qian Wang, Gopal Gupta, Michael Leuschel
2005 Lecture Notes in Computer Science  
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

Michael Hanus
2007 Electronical Notes in Theoretical Computer Science  
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

Michael Leuschel, Danny De Schreye
1998 The Journal of Logic Programming  
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]

Seppo Keronen
1994 Lecture Notes in Computer Science  
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

Sanjai Narain, Gary Levin, Sharad Malik, Vikram Kaul
2008 Journal of Network and Systems Management  
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]

Karl Klose, Klaus Ostermann, Michael Leuschel
2006 Lecture Notes in Computer Science  
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

VÍTOR SANTOS COSTA, DAVID VAZ
2013 Theory and Practice of Logic Programming  
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]

Hamish Taylor
1992 Logic Programming New Frontiers  
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]

Stephen-John Craig, Michael Leuschel
2004 Lecture Notes in Computer Science  
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

Evelina Lamma, Paola Mello, Antonio Natali
1992 The Journal of Logic Programming  
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

Stephen-John Craig, Michael Leuschel
2005 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '05  
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

Falco Nogatz, Philipp Körner, Sebastian Krings
2019 Electronic Proceedings in Theoretical Computer Science  
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