Programming languages implementation and logic programming : [first] International Workshop PLILP '88 Orléans, France, May 16 18, 1988 : proceedings
The aim of the workshop was to discuss whether research on implementation of programming languages and research on logic programming can mutually benefit from each others results. The intention was to bring together researchers from both fields, especially those working in the area of their intersec...
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | , , |
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in computer science
348 |
| Matèries: | |
| Accés en línia: | 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 languages implementation and logic programming, proceedings, International workshop PLILP '88, Orléans, France, May 16-18, 1988, Berlin, Springer-Verlag, 1989, 1 vol. (VI-299 p.), Lecture notes in computer science, 3-540-50820-1 • Programming Languages Implementation and Logic Programming, Texte imprimé, 9783662177273 |
Taula de continguts:
- Static analysis of functional programs with logical variables
- Towards a clean amalgamation of logic programs with external procedures
- An application of abstract interpretation in source level program transformation
- A tool to check the non-floundering logic programs and goals
- Towards a framework for the abstract interpretation of logic programs
- An implementation of retargetable code generators in prolog
- Towards a "middle road" methodology for writing code generators
- A compiler written in prolog: the véda experience
- Coupled context-free grammar as a programming paradigm
- A bottom-up adaptation of earley's parsing algorithm
- Using an attribute grammar as a logic program
- Structure sharing in attribute grammars
- A semantic evaluator generating system in prolog
- A grammatical view of logic programming
- Compiling typol with attribute grammars
- Formal specification of a prolog compiler
- Formal specification of interactive languages using definite clause grammars
- Using logic databases in software development environments.