Programming language implementation and logic programming : [second] International Workshop PLILP '90, Linköping, Sweden, August 20 22, 1990 : proceedings

Programming language implementation and logic programming : [second] International Workshop PLILP '90, Linköping, Sweden, August 20 22, 1990 : proceedings

This volume consists of the papers accepted for presentation at the second international workshop on Programming Language Implementation and Logic Programming (PLILP '90) held in Linköping, Sweden, August 20-22, 1990. The aim of the workshop was to identify concepts and techniques used both in...

Descrizione completa

Salvato in:
Dettagli Bibliografici
Ente Autore: International Symposium on Programming Languages, Implementations, Logics and Programs :Linköping
Altri autori: Deransart, Pierre, 1945-...., informaticien (Direttore editoriale), Małuszyński, Jan, 1941- (Direttore editoriale)
Natura: Livre numérique
Lingua:Anglais
Pubblicazione: Berlin [etc.] : Springer [20..].
Cham : Springer Nature
Serie:Lecture notes in computer science 456
Soggetti:
Génie logiciel
Informatique
Langages de programmation
Ordinateurs
Intelligence artificielle
Logique symbolique et mathématique
Programmation logique
Actes de congrès
Accesso online: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, proceedings, International Workshop PLILP '90, Linköping, Sweden, August 20-22, 1990, Berlin, Springer-Verlag, 1990, 1 vol. (VIII-401 p.), Lecture notes in computer science, 3-540-53010-X
• Programming Language Implementation and Logic Programming, Texte imprimé, 9783662197264
Sommario:
  • Implementing parallel rewriting
  • Compilation of narrowing
  • Inference-based overloading resolution for ADA
  • An approach to verifiable compiling specification and prototyping
  • Bug localization by algorithmic debugging and program slicing
  • A constraint logic programming shell
  • Modifying the simplex algorithm to a constraint solver
  • Implementing a meta-logical scheme
  • The vienna abstract machine
  • A new data structure for implementing extensions to Prolog
  • Finding the least fixed point using wait-declarations in Prolog
  • Elementary logic programs
  • A new presburger arithmetic decision procedure based on extended prolog execution
  • Reasoning about programs with effects
  • Towards a characterization of termination of logic programs
  • Static type analysis of prolog procedures for ensuring correctness
  • Integrating strict and lazy evaluation: the ?sl-calculus
  • Efficient data representation in polymorphic languages
  • A logic-based approach to data flow analysis problems
  • Systematic semantic approximations of logic programs
  • Interprocedural abstract interpretation of block structured languages with nested procedures, aliasing and recursivity
  • On the automatic generation of events in delta prolog
  • Compilation of non-linear, second order patterns on S-expressions
  • Pattern matching in a functional transformation language using treeparsing
  • Logic programming within a functional framework
  • Compiling logic programs with equality.

Documenti analoghi