Programming language implementation and logic programming : 6th International Symposium, PLILP '94 Madrid, Spain, September 14 16, 1994 : proceedings
This volume constitutes the proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming (PLILP '94), held in Madrid, Spain in September 1994. The volume contains 27 full research papers selected from 67 submissions as well as abstracts of full ver...
Spremljeno u:
| Autor kompanije: | |
|---|---|
| Daljnji autori: | , |
| Format: | Livre numérique |
| Jezik: | Anglais |
| Izdano: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serija: | Lecture notes in computer science
844 |
| Teme: | |
| Online pristup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Bilješka: |
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, 6th International Symposium, PLILP '94, Madrid, Spain, September 14-16, 1994, proceedings, Manuel Hermenegildo, Jaan Penjam, eds, Berlin, Springer-Verlag, 1994, 1 vol. (XII-468 p.), Lecture notes in computer science, 3-540-58402-1 • Programming Language Implementation and Logic Programming, Texte imprimé, 9783662193884 |
| LEADER | 05921nam a22004457a 4500 | ||
|---|---|---|---|
| 001 | 945682 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155237144 | ||
| 020 | |a 9783540486954 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 005.131 | ||
| 111 | 2 | |a International Symposium on Programming Languages, Implementations, Logics and Programs |n (09 |d :1994 |c :Madrid). | |
| 245 | 1 | 0 | |a Programming language implementation and logic programming : |b 6th International Symposium, PLILP '94 Madrid, Spain, September 14 16, 1994 : proceedings |c [edited by] Manuel Hermenegildo, Jaan Penjam. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 844 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Concurrent constraint programming -- Specifications using multiple-conclusion logic programs -- Viewing a program transformation system at work -- A portable and efficient implementation of KL1 -- Why Multi-SLD beats SLD (even on a uniprocessor) -- Abstracting synchronization in concurrent constraint programming -- A novel term compression scheme and data representation in the BinWAM -- A simple and efficient copying garbage collector for prolog -- Deriving residual reference count garbage collectors -- RML A new language and implementation for Natural Semantics -- Towards a provably correct compiler for OBJ3 -- An implementation technique for a class of bottom-up procedures -- Partial deduction and driving are equivalent -- Partial continuations as the difference of continuations a duumvirate of control operators -- Hand-writing program generator generators -- A logic for encapsulation in object oriented languages -- Annotated constraint logic programming applied to temporal reasoning -- Clp(B): Combining simplicity and efficiency in boolean Constraint solving -- Handling preferences in constraint logic programming with relational optimization -- Improving search for job-shop scheduling with CLP(FD) -- Implementations of program composition operations -- Sleepers: a versatile high-level control mechanism -- Improving arithmetic performance using fine-grain unfolding -- Unfold/fold transformations for definite clause programs -- A graph reduction technique with sharing across narrowings for functional-logic languages -- Combining lazy narrowing and simplification -- Combining lazy narrowing with disequality constraints -- Abstracting numerical values in CLP(H,N) -- Dynamic dependence in term rewriting systems and its application to program slicing -- Abstracting s-semantics using amodel-theoretic approach -- Using higher-order control flow analysis when compiling functional languages -- Readable, runnable requirements specifications in SPILL-2 -- A system to visualize and interact with prolog programs -- Semantic-based static program transformations for memory space and run time optimization in hybrid languages -- Towards a constraint functional logic compiler for symbolic computation systems -- PROMAL Programming in modal action logic -- Implementing the synthesis of properties in unfold/fold transformations -- Shared memory system for Babel: a VHDL specification -- Towards integrating functional and logic styles using relation -- Tabulation of functions in definite clause programs -- Flang system: A new version. | |
| 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 constitutes the proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming (PLILP '94), held in Madrid, Spain in September 1994. The volume contains 27 full research papers selected from 67 submissions as well as abstracts of full versions of 3 invited talks by renowned researchers and abstracts of 11 system demonstrations and poster presentations. Among the topics covered are parallelism and concurrency; implementation techniques; partial evaluation, synthesis, and language issues; constraint programming; meta-programming and program transformation; functional-logic programming; and program analysis and abstract interpretation. | ||
| 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 Penjam, Jaan. |4 pbd | |
| 700 | 1 | |a Hermenegildo, Manuel. |4 pbd | |
| 776 | 0 | |0 020688040 |t Programming language implementation and logic programming |o 6th International Symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 |o proceedings |f Manuel Hermenegildo, Jaan Penjam, eds |c Berlin |n Springer-Verlag |d 1994 |p 1 vol. (XII-468 p.) |s Lecture notes in computer science |z 3-540-58402-1 | |
| 776 | 0 | |t Programming Language Implementation and Logic Programming |b Texte imprimé |z 9783662193884 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-58402-1 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-CN471X3V-T |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:74790846X |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-58402-1 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750921420 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-58402-1 |z Accès INSA CVL | |
| 997 | |0 945682 |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/ | ||