LEADER 05722nam 22007575 450 001 996465858703316 005 20200705071600.0 010 $a3-540-46298-8 024 7 $a10.1007/BFb0024171 035 $a(CKB)1000000000233560 035 $a(SSID)ssj0000325913 035 $a(PQKBManifestationID)11246861 035 $a(PQKBTitleCode)TC0000325913 035 $a(PQKBWorkID)10264625 035 $a(PQKB)10272709 035 $a(DE-He213)978-3-540-46298-9 035 $a(PPN)15520470X 035 $a(EXLCZ)991000000000233560 100 $a20121227d1990 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aProgramming Language Implementation and Logic Programming$b[electronic resource] $eInternational Workshop PLILP `90, Linköping, Sweden, August 20-22, 1990. Proceedings /$fedited by Pierre Deransart, Jan Maluszynski 205 $a1st ed. 1990. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1990. 215 $a1 online resource (VII, 542 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v456 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-53010-X 327 $aImplementing 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. 330 $aThis 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. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v456 606 $aComputers 606 $aProgramming languages (Electronic computers) 606 $aMathematical logic 606 $aArtificial intelligence 606 $aComputer logic 606 $aComputer programming 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 615 0$aComputers. 615 0$aProgramming languages (Electronic computers). 615 0$aMathematical logic. 615 0$aArtificial intelligence. 615 0$aComputer logic. 615 0$aComputer programming. 615 14$aTheory of Computation. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aMathematical Logic and Formal Languages. 615 24$aArtificial Intelligence. 615 24$aLogics and Meanings of Programs. 615 24$aProgramming Techniques. 676 $a005.13 702 $aDeransart$b Pierre$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMaluszynski$b Jan$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aPLILP '90 906 $aBOOK 912 $a996465858703316 996 $aProgramming Language Implementation and Logic Programming$92829960 997 $aUNISA