default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6. PLILP 1994: Madrid, Spain
- Manuel V. Hermenegildo, Jaan Penjam:
Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings. Lecture Notes in Computer Science 844, Springer 1994, ISBN 3-540-58402-1
Invited Talks
- Catuscia Palamidessi
:
Concurrent Constraint Programming. 1-2 - Dale Miller:
Specifications Using Multiple-Conclusion Logic Programs. 3-4 - Robert Paige:
Viewing A Program Transformation System At Work. 5-24
Parallelism and Concurrency
- Takashi Chikayama, Tetsuro Fujise, Daigo Sekita:
A Portable and Efficient Implementation of KL1. 25-39 - Donald A. Smith:
Why Multi-SLD Beats SLD (Even on a Uniprocessor). 40-56 - Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi:
Abstracting Synchronization in Concurrent Constraint Programming. 57-72
Implementation Techniques
- Paul Tarau, Ulrich Neumerkel:
A Novel Term Compression Scheme and Data Representation in the BinWAM. 73-87 - Johan Bevemyr, Thomas Lindgren:
A Simple and Efficient Copying Garbage Collector for Prolog. 88-101 - Wolfram Schulte:
Deriving Residual Reference Count Garbage Collectors. 102-116 - Mikael Pettersson:
RML - A New Language and Implementation for Natural Semantics. 117-131 - Lutz H. Hamel, Joseph A. Goguen:
Towards a Provably Correct Compiler for OBJ3. 132-146 - Andrei Voronkov:
An Implementation Technique for a Class of Bottom-Up Procedures. 147-164
Partial Evaluation, Synthesis and Language Issues
- Robert Glück, Morten Heine Sørensen:
Partial Deduction and Driving are Equivalent. 165-181 - Luc Moreau, Christian Queinnec:
Partial Continuations as the Difference of Continuations - A Duumvirate of Control Operators. 182-197 - Lars Birkedal, Morten Welinder:
Hand-Writing Program Generator Generators. 198-214 - Michele Bugliesi, Hasan M. Jamil:
A Logic for Encapsulation in Object Oriented Languages. 215-229
Constraint Programming
- Thom W. Frühwirth:
Annotated Constraint Logic Programming Applied to Temporal Reasoning. 230-243 - Philippe Codognet, Daniel Diaz:
clp(B): Combining Simplicity and Efficiency in Boolean Constraint Solving. 244-260 - François Fages, Julian Fowler, Thierry Sola:
Handling Preferences in Constraint Logic Programming with Relational Optimization. 261-276 - Silvia Breitinger, Hendrik C. R. Lock:
Improving Search for Job-Shop Scheduling with CLP(FD). 277-291
Meta-Programming and Program Transformation
- Antonio Brogi, A. Chiarelli, Paolo Mancarella, V. Mazzotta, Dino Pedreschi, Chiara Renso, Franco Turini:
Implementations of Program Composition Operations. 292-307 - Christian Codognet, Philippe Codognet, Vincenzo Loia, Michel Quaggetto:
Sleepers: A Versatile High-Level Control Mechanism. 308-323 - Timo Metzemakers, Alain Miniussi, David J. Sherman, Robert Strandh:
Improving Arithmetic Performance using Fine-Grain Unfolding. 324-339 - Manolis Gergatsoulis, Maria Katzouraki:
Unfold/Fold Transformations For Definite Clause Programs. 340-354
Functional-logic Programming
- John Maraist, Frank S. K. Silbermann:
A Graph Reduction Technique with Sharing across Narrowings for Functional-Logic Languages. 355-369 - Michael Hanus:
Combining Lazy Narrowing and Simplification. 370-384 - Puri Arenas-Sánchez, Ana Gil-Luezas, Francisco Javier López-Fraguas:
Combining Lazy Narrowing with Disequality Constraints. 385-399
Program Analysis and Abstract Interpretation
- Gerda Janssens, Maurice Bruynooghe, Vincent Englebert:
Abstracting Numerical Values in CLP(H, N). 400-414 - John Field, Frank Tip:
Dynamic Dependence in Term rewriting Systems and its Application to Program Slicing. 415-431 - Dmitri Boulanger, Maurice Bruynooghe, Marc Denecker:
Abstracting s-semantincs Using A Model-Theoretic Approach. 432-446
Abstract of System Demonstrations and Posters
- Manuel Serrano:
Using Higher-Order Control Flow Analysis When Compiling Functional Languages. 447-448 - Feliks Kluzniak, Miroslawa Milkowska:
Readable, Runnable Requirements Specifications in SPILL-2. 449-450 - José Paulo Leal:
A System to Visualize and Interact with Prolog Programs. 451-452 - Johannes-Bernhard Hundehege, Wolfram-Manfred Lippe, U. Xanten:
Semantic-Based Static Program Transformations for Memory Space and Run Time Optimization in Hybrid Languages. 453-454 - Georgios Grivas:
Towards a Constraint Functional Logic Compiler for Symbolic Computation Systems. 455-456 - Odinaldo Rodrigues, Mario R. F. Benevides:
PROMAL - Programming in Modal Action Logic. 457-458 - Khaled Bsaïes:
Implementing the Synthesis of Properties in Unfold/Fold Transformations. 459-460 - Fernando Sáenz-Pérez, Werner Hans, José J. Ruz, Stephan Winkler:
Shared Memory System for Babel: a VHDL Specification. 461-462 - Abdelkader Belkhir, Namick Nemouche:
Towards Integrating Functional and Logic Styles Using Relation. 463-464 - Jonas Barklund:
Tabulation of Functions in Definite Clause Programs. 465-466 - Andrei Mantsivoda:
Flang System: A new Version. 467-468
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-22 19:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
