![Programming Language Implementation and Logic Programming [electronic resource] : International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings /](/search/themes/bootstrap3/images/libros.png)
Programming Language Implementation and Logic Programming [electronic resource] : 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 implementation of programming languages, regardless of the underlying programming paradigm, and in logic programming. The intention was to bring together researchers working in these fields. The volume includes 26 selected papers falling into two categories. Papers in the first category present certain ideas from the point of view of a particular class of programming languages, or even a particular language. The ideas presented seem to be applicable in other classes of languages. Papers in the second category directly address the problem of integration of various programming paradigms. The proceedings of the predecessor workshop PLILP '88, held in Orléans, France, May 16-18, 1988, are available as Lecture Notes in Computer Science, Vol. 348.
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Texto biblioteca |
| Language: | eng |
| Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1990
|
| Subjects: | Computer science., Computer programming., Programming languages (Electronic computers)., Computers., Computer logic., Mathematical logic., Artificial intelligence., Computer Science., Theory of Computation., Programming Languages, Compilers, Interpreters., Mathematical Logic and Formal Languages., Artificial Intelligence (incl. Robotics)., Logics and Meanings of Programs., Programming Techniques., |
| Online Access: | http://dx.doi.org/10.1007/BFb0024171 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| id |
KOHA-OAI-TEST:198248 |
|---|---|
| record_format |
koha |
| institution |
COLPOS |
| collection |
Koha |
| country |
México |
| countrycode |
MX |
| component |
Bibliográfico |
| access |
En linea En linea |
| databasecode |
cat-colpos |
| tag |
biblioteca |
| region |
America del Norte |
| libraryname |
Departamento de documentación y biblioteca de COLPOS |
| language |
eng |
| topic |
Computer science. Computer programming. Programming languages (Electronic computers). Computers. Computer logic. Mathematical logic. Artificial intelligence. Computer Science. Theory of Computation. Programming Languages, Compilers, Interpreters. Mathematical Logic and Formal Languages. Artificial Intelligence (incl. Robotics). Logics and Meanings of Programs. Programming Techniques. Computer science. Computer programming. Programming languages (Electronic computers). Computers. Computer logic. Mathematical logic. Artificial intelligence. Computer Science. Theory of Computation. Programming Languages, Compilers, Interpreters. Mathematical Logic and Formal Languages. Artificial Intelligence (incl. Robotics). Logics and Meanings of Programs. Programming Techniques. |
| spellingShingle |
Computer science. Computer programming. Programming languages (Electronic computers). Computers. Computer logic. Mathematical logic. Artificial intelligence. Computer Science. Theory of Computation. Programming Languages, Compilers, Interpreters. Mathematical Logic and Formal Languages. Artificial Intelligence (incl. Robotics). Logics and Meanings of Programs. Programming Techniques. Computer science. Computer programming. Programming languages (Electronic computers). Computers. Computer logic. Mathematical logic. Artificial intelligence. Computer Science. Theory of Computation. Programming Languages, Compilers, Interpreters. Mathematical Logic and Formal Languages. Artificial Intelligence (incl. Robotics). Logics and Meanings of Programs. Programming Techniques. Deransart, Pierre. editor. Maluszyński, Jan. editor. SpringerLink (Online service) Programming Language Implementation and Logic Programming [electronic resource] : International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings / |
| description |
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 implementation of programming languages, regardless of the underlying programming paradigm, and in logic programming. The intention was to bring together researchers working in these fields. The volume includes 26 selected papers falling into two categories. Papers in the first category present certain ideas from the point of view of a particular class of programming languages, or even a particular language. The ideas presented seem to be applicable in other classes of languages. Papers in the second category directly address the problem of integration of various programming paradigms. The proceedings of the predecessor workshop PLILP '88, held in Orléans, France, May 16-18, 1988, are available as Lecture Notes in Computer Science, Vol. 348. |
| format |
Texto |
| topic_facet |
Computer science. Computer programming. Programming languages (Electronic computers). Computers. Computer logic. Mathematical logic. Artificial intelligence. Computer Science. Theory of Computation. Programming Languages, Compilers, Interpreters. Mathematical Logic and Formal Languages. Artificial Intelligence (incl. Robotics). Logics and Meanings of Programs. Programming Techniques. |
| author |
Deransart, Pierre. editor. Maluszyński, Jan. editor. SpringerLink (Online service) |
| author_facet |
Deransart, Pierre. editor. Maluszyński, Jan. editor. SpringerLink (Online service) |
| author_sort |
Deransart, Pierre. editor. |
| title |
Programming Language Implementation and Logic Programming [electronic resource] : International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings / |
| title_short |
Programming Language Implementation and Logic Programming [electronic resource] : International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings / |
| title_full |
Programming Language Implementation and Logic Programming [electronic resource] : International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings / |
| title_fullStr |
Programming Language Implementation and Logic Programming [electronic resource] : International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings / |
| title_full_unstemmed |
Programming Language Implementation and Logic Programming [electronic resource] : International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings / |
| title_sort |
programming language implementation and logic programming [electronic resource] : international workshop plilp '90 linköping, sweden, august 20–22, 1990 proceedings / |
| publisher |
Berlin, Heidelberg : Springer Berlin Heidelberg, |
| publishDate |
1990 |
| url |
http://dx.doi.org/10.1007/BFb0024171 |
| work_keys_str_mv |
AT deransartpierreeditor programminglanguageimplementationandlogicprogrammingelectronicresourceinternationalworkshopplilp90linkopingswedenaugust20221990proceedings AT maluszynskijaneditor programminglanguageimplementationandlogicprogrammingelectronicresourceinternationalworkshopplilp90linkopingswedenaugust20221990proceedings AT springerlinkonlineservice programminglanguageimplementationandlogicprogrammingelectronicresourceinternationalworkshopplilp90linkopingswedenaugust20221990proceedings |
| _version_ |
1756267128331173888 |
| spelling |
KOHA-OAI-TEST:1982482018-07-30T23:24:35ZProgramming Language Implementation and Logic Programming [electronic resource] : International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings / Deransart, Pierre. editor. Maluszyński, Jan. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,1990.engThis 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 implementation of programming languages, regardless of the underlying programming paradigm, and in logic programming. The intention was to bring together researchers working in these fields. The volume includes 26 selected papers falling into two categories. Papers in the first category present certain ideas from the point of view of a particular class of programming languages, or even a particular language. The ideas presented seem to be applicable in other classes of languages. Papers in the second category directly address the problem of integration of various programming paradigms. The proceedings of the predecessor workshop PLILP '88, held in Orléans, France, May 16-18, 1988, are available as Lecture Notes in Computer Science, Vol. 348.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.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 implementation of programming languages, regardless of the underlying programming paradigm, and in logic programming. The intention was to bring together researchers working in these fields. The volume includes 26 selected papers falling into two categories. Papers in the first category present certain ideas from the point of view of a particular class of programming languages, or even a particular language. The ideas presented seem to be applicable in other classes of languages. Papers in the second category directly address the problem of integration of various programming paradigms. The proceedings of the predecessor workshop PLILP '88, held in Orléans, France, May 16-18, 1988, are available as Lecture Notes in Computer Science, Vol. 348.Computer science.Computer programming.Programming languages (Electronic computers).Computers.Computer logic.Mathematical logic.Artificial intelligence.Computer Science.Theory of Computation.Programming Languages, Compilers, Interpreters.Mathematical Logic and Formal Languages.Artificial Intelligence (incl. Robotics).Logics and Meanings of Programs.Programming Techniques.Springer eBookshttp://dx.doi.org/10.1007/BFb0024171URN:ISBN:9783540462989 |