Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26 28, 1991 : proceedings
This volume contains the papers which have been accepted for presentation atthe Third International Symposium on Programming Language Implementation andLogic Programming (PLILP '91) held in Passau, Germany, August 26-28, 1991. The aim of the symposium was to explore new declarative concepts, me...
Guardado en:
| Autor Corporativo: | |
|---|---|
| Otros Autores: | , |
| Formato: | Livre numérique |
| Lenguaje: | Anglais |
| Publicado: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Colección: | Lecture notes in computer science
528 |
| Materias: | |
| Acceso en línea: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Programming language implementation and logic programming, 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991, proceedings, J. Maluszynski, M. Wirsing, (eds.), Berlin, Springer-Verlag, 1991, 1 vol. (xi, 433 p.), Lecture notes in computer science, 3-540-54444-5 • Programming Language Implementation and Logic Programming, Texte imprimé, 9783662200568 |
| LEADER | 05923nam a22004577a 4500 | ||
|---|---|---|---|
| 001 | 944995 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155210602 | ||
| 020 | |a 9783540383628 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 005.13 | ||
| 111 | 2 | |a International Symposium on Programming Language Implementation and Logic Programming |n (3 |d :1991 |c :Passau, DE). | |
| 245 | 1 | 0 | |a Programming language implementation and logic programming : |b 3rd International Symposium, PLILP '91, Passau, Germany, August 26 28, 1991 : proceedings |c [edited by] Jan Maluszyński, Martin Wirsing. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 528 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Standard ML of New Jersey -- Adding equations to NU-Prolog -- Extraction of functional from logic program -- The MAS specification component -- Domesticating imperative constructs so that they can live in a functional world -- Logic-based specification of visibility rules -- Optimal instruction scheduling using constraint logic programming -- An architectural model for OR-parallellism on distributed memory systems -- FRATS: A parallel reduction strategy for shared memory -- Narrowing as an incremental constraint satisfaction algorithm -- The implementation of lazy narrowing -- Semantics-directed generation of a Prolog compiler -- A framework to specify database update views for Prolog -- Concepts for a modular and distributed Prolog language -- From parlog to polka in two easy steps -- Precedences in specifications and implementations of programming languages -- A randomized heuristic approach to register allocation -- Generating efficient code from data-flow programs -- On the borderline between grammars and programs -- Efficient incremental evaluation of higher order attribute grammars -- Profit: A system integrating logic programming and attribute grammars -- Towards a meaning of LIFE -- U-log, an ordered sorted logic with typed attributes -- Compilation of predicate abstractions in higher-order logic programming -- Abstract interpretation: A kind of magic -- Abstract interpretation for type checking -- A technique for recursive invariance detection and selective program specialization -- Dynamic detection of determinism in functional logic languages -- Unfolding definition folding, in this order, for avoiding unnecessary variables in logic programs -- Efficient integration of simplification into Prolog -- Lazy evaluation in logic -- S-SLD-resolution An operational semantics for logicprograms with external procedures -- Operational semantics of constraint logic programming over finite domains -- Constraints for synchronizing coarse-grained sequential logic processes -- Extending execution trees for debugging and animation in logic programming -- A narrowing-based theorem prover -- The ALF system -- Experiences with gentle: Efficient compiler construction based on logic programming -- The system FLR ( Fast laboratory for recomposition ) -- Multilanguage interoperability -- Short overview of the CLPS system. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a This volume contains the papers which have been accepted for presentation atthe Third International Symposium on Programming Language Implementation andLogic Programming (PLILP '91) held in Passau, Germany, August 26-28, 1991. The aim of the symposium was to explore new declarative concepts, methods and techniques relevant for the implementation of all kinds of programming languages, whether algorithmic or declarative ones. The intention was to gather researchers from the fields of algorithmic programming languages as well as logic, functional and object-oriented programming. This volume contains the two invited talks given at the symposium by H. Ait-Kaci and D.B. MacQueen, 32 selected papers, and abstracts of several system demonstrations. The proceedings of PLILP '88 and PLILP '90 are available as Lecture Notes in Computer Science Volumes 348 and 456. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Programmation logique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Małuszyński, Jan, |d 1941- |4 pbd | |
| 700 | 1 | |a Wirsing, Martin, |d 1948- |4 pbd | |
| 776 | 0 | |0 022179682 |t Programming language implementation and logic programming |o 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991 |o proceedings |f J. Maluszynski, M. Wirsing, (eds.) |c Berlin |n Springer-Verlag |d 1991 |p 1 vol. (xi, 433 p.) |s Lecture notes in computer science |z 3-540-54444-5 | |
| 776 | 0 | |t Programming Language Implementation and Logic Programming |b Texte imprimé |z 9783662200568 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-54444-5 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-95LMJB7R-N |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747914591 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-54444-5 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750927305 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-54444-5 |z Accès INSA CVL | |
| 997 | |0 944995 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||