LEADER 06000nam 22007575 450 001 996465317203316 005 20200702023229.0 010 $a3-540-46092-6 024 7 $a10.1007/3-540-50820-1 035 $a(CKB)1000000000233361 035 $a(SSID)ssj0000325929 035 $a(PQKBManifestationID)11232882 035 $a(PQKBTitleCode)TC0000325929 035 $a(PQKBWorkID)10265151 035 $a(PQKB)11066124 035 $a(DE-He213)978-3-540-46092-3 035 $a(PPN)155168932 035 $a(EXLCZ)991000000000233361 100 $a20121227d1989 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aProgramming Languages Implementation and Logic Programming$b[electronic resource] $eInternational Workshop PLILP '88, Orleans, France, May 16-18, 1988. Proceedings /$fedited by Pierre Deransart, Bernard Lorho, Jan Maluszynski 205 $a1st ed. 1989. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1989. 215 $a1 online resource (VIII, 308 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v348 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-50820-1 327 $aStatic 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. 330 $aThe 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 intersection. Problems such as formal specification of compilers and syntax-based editors, program analysis and program optimization have been traditionally studied by implementors of algorithmic languages and have resulted in a number of well-established notions, formalisms and techniques. At the same time, an increasing number of people use logic programming as a way of specifying compilers or other programming environment tools, taking advantage of the relatively high level of logic programming and the growing efficiency of Prolog implementations. On the other hand, research on logic programming raises the questions of analysis of logic programs and their optimization. These are motivated primarily by compiler construction for logic programs, by studies on the methodology of logic programming and by the attempts to amalgamate logic programming and functional programming. The purpose of the workshop is to review the techniques developed in one (or both) of the fields which could also be of some help in the other one and to facilitate the transfer of expertise. It seems important to compare notions used in both fields: showing similarities between them may prevent rediscovering results already known, while studying differences may contribute to the transfer of technology. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v348 606 $aSoftware engineering 606 $aArchitecture, Computer 606 $aProgramming languages (Electronic computers) 606 $aArtificial intelligence 606 $aComputer logic 606 $aComputer programming 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 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$aSoftware engineering. 615 0$aArchitecture, Computer. 615 0$aProgramming languages (Electronic computers). 615 0$aArtificial intelligence. 615 0$aComputer logic. 615 0$aComputer programming. 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aComputer System Implementation. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aArtificial Intelligence. 615 24$aLogics and Meanings of Programs. 615 24$aProgramming Techniques. 676 $a005.1 702 $aDeransart$b Pierre$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLorho$b Bernard$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMaluszynski$b Jan$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465317203316 996 $aProgramming Languages Implementation and Logic Programming$92829933 997 $aUNISA