Search dblp for Publications

export results for "toc:db/conf/plilp/plilp91.bht:"

 download as .bib file

@inproceedings{DBLP:conf/plilp/Aasa91,
  author    = {Annika Aasa},
  title     = {Precedences in Specifications and Implementations of Programming Languages},
  booktitle = {{PLILP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {528},
  pages     = {183--194},
  publisher = {Springer},
  year      = {1991}
}
@inproceedings{DBLP:conf/plilp/Ait-KaciP91,
  author    = {Hassan A{\"{\i}}t{-}Kaci and
               Andreas Podelski},
  title     = {Towards a Meaning of {LIFE}},
  booktitle = {{PLILP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {528},
  pages     = {255--274},
  publisher = {Springer},
  year      = {1991}
}
@inproceedings{DBLP:conf/plilp/AlpuenteF91,
  author    = {Mar{\'{\i}}a Alpuente and
               Moreno Falaschi},
  title     = {Narrowing as an Incremental Constraint Satisfaction Algorithm},
  booktitle = {{PLILP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {528},
  pages     = {111--122},
  publisher = {Springer},
  year      = {1991}
}
@inproceedings{DBLP:conf/plilp/Antoy91,
  author    = {Sergio Antoy},
  title     = {Lazy Evaluation in Logic},
  booktitle = {{PLILP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {528},
  pages     = {371--382},
  publisher = {Springer},
  year      = {1991}
}
@inproceedings{DBLP:conf/plilp/AppelM91,
  author    = {Andrew W. Appel and
               David B. MacQueen},
  title     = {Standard {ML} of New Jersey},
  booktitle = {{PLILP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {528},
  pages     = {1--13},
  publisher = {Springer},
  year      = {1991}
}
@inproceedings{DBLP:conf/plilp/AttardiG91,
  author    = {Giuseppe Attardi and
               Mauro Gaspari},
  title     = {Multilanguage Interoperability},
  booktitle = {{PLILP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {528},
  pages     = {429--430},
  publisher = {Springer},
  year      = {1991}
}
@inproceedings{DBLP:conf/plilp/BaiardiB91,
  author    = {Fabrizio Baiardi and
               D. M. Bella},
  title     = {An Architectural Model for OR-Parallelism on Distributed Memory Systems},
  booktitle = {{PLILP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {528},
  pages     = {87--98},
  publisher = {Springer},
  year      = {1991}
}
@inproceedings{DBLP:conf/plilp/BaumF91,
  author    = {Beate Baum and
               Peter Forbrig},
  title     = {The System {FLR} (Fast Laboratory for Recomposition)},
  booktitle = {{PLILP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {528},
  pages     = {427--428},
  publisher = {Springer},
  year      = {1991}
}
@inproceedings{DBLP:conf/plilp/BorgerD91,
  author    = {Egon B{\"{o}}rger and
               Bart Demoen},
  title     = {A Framework to Specify Database Update Views for Prolog},
  booktitle = {{PLILP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {528},
  pages     = {147--158},
  publisher = {Springer},
  year      = {1991}
}
@inproceedings{DBLP:conf/plilp/Boye91,
  author    = {Johan Boye},
  title     = {S-SLD-resolution - An Operational Semantics for Logic Programs with
               External Procedures},
  booktitle = {{PLILP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {528},
  pages     = {383--393},
  publisher = {Springer},
  year      = {1991}
}
@inproceedings{DBLP:conf/plilp/BrogiG91,
  author    = {Antonio Brogi and
               Maurizio Gabbrielli},
  title     = {Constraints for Synchronizing Logic Coarse-grained Sequential Logic
               Processes},
  booktitle = {{PLILP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {528},
  pages     = {407--418},
  publisher = {Springer},
  year      = {1991}
}
@inproceedings{DBLP:conf/plilp/ChakravartyL91,
  author    = {Manuel M. T. Chakravarty and
               Hendrik C. R. Lock},
  title     = {The Implementation of Lazy Narrowing},
  booktitle = {{PLILP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {528},
  pages     = {123--134},
  publisher = {Springer},
  year      = {1991}
}
@inproceedings{DBLP:conf/plilp/ChenW91,
  author    = {Weidong Chen and
               David Scott Warren},
  title     = {Compilation of Predicate Abstractions in Higher-Order Logic Programming},
  booktitle = {{PLILP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {528},
  pages     = {287--298},
  publisher = {Springer},
  year      = {1991}
}
@inproceedings{DBLP:conf/plilp/CheongF91,
  author    = {P. H. Cheong and
               Laurent Fribourg},
  title     = {Efficient Integration of Simplifications into Prolog},
  booktitle = {{PLILP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {528},
  pages     = {359--370},
  publisher = {Springer},
  year      = {1991}
}
@inproceedings{DBLP:conf/plilp/ConselK91,
  author    = {Charles Consel and
               Siau{-}Cheng Khoo},
  title     = {Semantics-Directed Generation of a Prolog Compiler},
  booktitle = {{PLILP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {528},
  pages     = {135--146},
  publisher = {Springer},
  year      = {1991}
}
@inproceedings{DBLP:conf/plilp/Davison91,
  author    = {Andrew Davison},
  title     = {From Parlog to Polka in two easy Steps},
  booktitle = {{PLILP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {528},
  pages     = {171--182},
  publisher = {Springer},
  year      = {1991}
}
@inproceedings{DBLP:conf/plilp/ErtlK91,
  author    = {M. Anton Ertl and
               Andreas Krall},
  title     = {Optimal Instruction Scheduling using Constraint Logic Programming},
  booktitle = {{PLILP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {528},
  pages     = {75--86},
  publisher = {Springer},
  year      = {1991}
}
@inproceedings{DBLP:conf/plilp/Ferenczi91,
  author    = {Szabolcs Ferenczi},
  title     = {Concepts for a Modular and Distributed Prolog Language},
  booktitle = {{PLILP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {528},
  pages     = {159--170},
  publisher = {Springer},
  year      = {1991}
}
@inproceedings{DBLP:conf/plilp/FileS91,
  author    = {Gilberto Fil{\'{e}} and
               P. Sottero},
  title     = {Abstract Interpretation for Type Checking},
  booktitle = {{PLILP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {528},
  pages     = {311--322},
  publisher = {Springer},
  year      = {1991}
}
@inproceedings{DBLP:conf/plilp/FrausH91,
  author    = {Ulrich Fraus and
               Heinrich Hu{\ss}mann},
  title     = {A Narrowing-Based Theorem Prover},
  booktitle = {{PLILP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {528},
  pages     = {421--422},
  publisher = {Springer},
  year      = {1991}
}
@inproceedings{DBLP:conf/plilp/GiannottiH91,
  author    = {Fosca Giannotti and
               Manuel V. Hermenegildo},
  title     = {A Technique for Recursive Invariance Detection and Selective Program
               Specification},
  booktitle = {{PLILP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {528},
  pages     = {323--334},
  publisher = {Springer},
  year      = {1991}
}
@inproceedings{DBLP:conf/plilp/Gloess91,
  author    = {Paul Y. Gloess},
  title     = {U-Log, An Ordered Sorted Logic with Typed Attributes},
  booktitle = {{PLILP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {528},
  pages     = {275--286},
  publisher = {Springer},
  year      = {1991}
}
@inproceedings{DBLP:conf/plilp/GrahamK91,
  author    = {T. C. Nicholas Graham and
               Gerd Kock},
  title     = {Domesticating Imperative Constructs So That They Can Live in a Functional
               World},
  booktitle = {{PLILP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {528},
  pages     = {51--62},
  publisher = {Springer},
  year      = {1991}
}
@inproceedings{DBLP:conf/plilp/HalbwachsRR91,
  author    = {Nicolas Halbwachs and
               Pascal Raymond and
               Christophe Ratel},
  title     = {Generating Efficient Code From Data-Flow Programs},
  booktitle = {{PLILP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {528},
  pages     = {207--218},
  publisher = {Springer},
  year      = {1991}
}
@inproceedings{DBLP:conf/plilp/Hanus91,
  author    = {Michael Hanus},
  title     = {The {ALF} System},
  booktitle = {{PLILP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {528},
  pages     = {423--424},
  publisher = {Springer},
  year      = {1991}
}
@inproceedings{DBLP:conf/plilp/HentenryckD91,
  author    = {Pascal Van Hentenryck and
               Yves Deville},
  title     = {Operational Semantics of Constraint Logic Programming over Finite
               Domains},
  booktitle = {{PLILP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {528},
  pages     = {395--406},
  publisher = {Springer},
  year      = {1991}
}
@inproceedings{DBLP:conf/plilp/KeslerPR91,
  author    = {Christoph W. Ke{\ss}ler and
               Wolfgang J. Paul and
               Thomas Rauber},
  title     = {A Randomized Heuristic Approach to Register Allocation},
  booktitle = {{PLILP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {528},
  pages     = {195--206},
  publisher = {Springer},
  year      = {1991}
}
@inproceedings{DBLP:conf/plilp/KosterB91,
  author    = {Cornelis H. A. Koster and
               Jean Beney},
  title     = {On the Borderline Between Grammars and Programs},
  booktitle = {{PLILP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {528},
  pages     = {219--230},
  publisher = {Springer},
  year      = {1991}
}
@inproceedings{DBLP:conf/plilp/Kredel91,
  author    = {Heinz Kredel},
  title     = {The {MAS} Specification Component},
  booktitle = {{PLILP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {528},
  pages     = {39--50},
  publisher = {Springer},
  year      = {1991}
}
@inproceedings{DBLP:conf/plilp/LangendoenV91,
  author    = {Koen Langendoen and
               Willem G. Vree},
  title     = {{FRATS:} {A} Parallel Reduction Strategy for Shared Memory},
  booktitle = {{PLILP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {528},
  pages     = {99--110},
  publisher = {Springer},
  year      = {1991}
}
@inproceedings{DBLP:conf/plilp/LegeardL91,
  author    = {Bruno Legeard and
               Emmanuel Legros},
  title     = {Short Overview of the {CLPS} System},
  booktitle = {{PLILP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {528},
  pages     = {431--433},
  publisher = {Springer},
  year      = {1991}
}
@inproceedings{DBLP:conf/plilp/LoogenW91,
  author    = {Rita Loogen and
               Stephan Winkler},
  title     = {Dynamic Detection of Determinism in Functional Languages},
  booktitle = {{PLILP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {528},
  pages     = {335--346},
  publisher = {Springer},
  year      = {1991}
}
@inproceedings{DBLP:conf/plilp/Loyola91,
  author    = {Diego Loyola},
  title     = {Extending Execution Trees for Debugging and Animation in Logic Programming},
  booktitle = {{PLILP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {528},
  pages     = {419--420},
  publisher = {Springer},
  year      = {1991}
}
@inproceedings{DBLP:conf/plilp/Naish91,
  author    = {Lee Naish},
  title     = {Adding equations to NU-Prolog},
  booktitle = {{PLILP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {528},
  pages     = {15--26},
  publisher = {Springer},
  year      = {1991}
}
@inproceedings{DBLP:conf/plilp/Nilsson91,
  author    = {Ulf Nilsson},
  title     = {Abstract Interpretation: {A} Kind of Magic},
  booktitle = {{PLILP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {528},
  pages     = {299--309},
  publisher = {Springer},
  year      = {1991}
}
@inproceedings{DBLP:conf/plilp/Paakki91,
  author    = {Jukka Paakki},
  title     = {{PROFIT:} {A} System Integrating Logic Programming and Attribute Grammars},
  booktitle = {{PLILP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {528},
  pages     = {243--254},
  publisher = {Springer},
  year      = {1991}
}
@inproceedings{DBLP:conf/plilp/Poetzsch-Heffter91,
  author    = {Arnd Poetzsch{-}Heffter},
  title     = {Logic-Based Specification of Visibility Rules},
  booktitle = {{PLILP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {528},
  pages     = {63--74},
  publisher = {Springer},
  year      = {1991}
}
@inproceedings{DBLP:conf/plilp/ProiettiP91,
  author    = {Maurizio Proietti and
               Alberto Pettorossi},
  title     = {Unfolding - Definition - Folding, in this Order, for Avaoiding Unnecessary
               Variables in Logic Programs},
  booktitle = {{PLILP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {528},
  pages     = {347--358},
  publisher = {Springer},
  year      = {1991}
}
@inproceedings{DBLP:conf/plilp/VogtSK91,
  author    = {Harald Vogt and
               S. Doaitse Swierstra and
               Matthijs F. Kuiper},
  title     = {Efficient Incremental Evaluation of Higher order Attribute Grammars},
  booktitle = {{PLILP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {528},
  pages     = {231--242},
  publisher = {Springer},
  year      = {1991}
}
@inproceedings{DBLP:conf/plilp/Vollmer91,
  author    = {J{\"{u}}rgen Vollmer},
  title     = {Experiences with Gentle: Efficient Compiler Construction Based On
               Logic Programming},
  booktitle = {{PLILP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {528},
  pages     = {425--426},
  publisher = {Springer},
  year      = {1991}
}
@inproceedings{DBLP:conf/plilp/Yamasaki91,
  author    = {Susumu Yamasaki},
  title     = {Extraction of Functional from Logic Program},
  booktitle = {{PLILP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {528},
  pages     = {27--38},
  publisher = {Springer},
  year      = {1991}
}
@proceedings{DBLP:conf/plilp/91,
  editor    = {Jan Maluszynski and
               Martin Wirsing},
  title     = {Programming Language Implementation and Logic Programming, 3rd International
               Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {528},
  publisher = {Springer},
  year      = {1991}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics