04096nam 22006135 450 99646596490331620200706060934.03-540-47717-910.1007/BFb0014968(CKB)1000000000230601(SSID)ssj0000327118(PQKBManifestationID)11268687(PQKBTitleCode)TC0000327118(PQKBWorkID)10298427(PQKB)10911268(DE-He213)978-3-540-47717-4(PPN)155203193(EXLCZ)99100000000023060120121227d1987 u| 0engurnn|008mamaatxtccrTAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987[electronic resource] Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP) /edited by Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari1st ed. 1987.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1987.1 online resource (XIV, 336 p.) Lecture Notes in Computer Science,0302-9743 ;250Bibliographic Level Mode of Issuance: Monograph3-540-17611-X Models and equality for logical programming -- Fifth generation computer project: Current research activity and future plans -- A compositive abstraction algorithm for combinatory logic -- Linear logic and lazy computation -- The natural dynamic semantics of mini-Standard ML -- Listlog — A PROLOG extension for list processing -- Intensional negation of logic programs: Examples and implementation techniques -- Improving the execution speed of compiled Prolog with modes, clause selection, and determinism -- Simulation results of a multiprocessor PROLOG architecture based on a distributed and/or graph -- Generating efficient code from strictness annotations -- Hoisting: Lazy evaluation in a cold climate -- Inductive assertion method for logic programs -- Higher order generalization in program derivation -- Implementing algebraically specified abstract data types in an imperative programming language -- A declarative environment for concurrent logic programming -- Or-parallel execution models of Prolog -- Retractions: A functional paradigm for logic programming -- Refined strategies for semantic unification -- Extensional models for polymorphism -- A type discipline for program modules -- Theory and practice of canonical term functors in abstract data type specifications.Lecture Notes in Computer Science,0302-9743 ;250Software engineeringComputer logicMathematical logicSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XMathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Software engineering.Computer logic.Mathematical logic.Software Engineering.Logics and Meanings of Programs.Mathematical Logic and Formal Languages.005.1Ehrig Hartmutedthttp://id.loc.gov/vocabulary/relators/edtKowalski Robert Aedthttp://id.loc.gov/vocabulary/relators/edtLevi Giorgioedthttp://id.loc.gov/vocabulary/relators/edtMontanari Ugoedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465964903316TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 19872830078UNISA