TY - BOOK ID - 2571895 TI - Programming languages: implementations, logics and programs. 7th international symposium, PLILP 95, Utrecht, The Netherlands, Setpember 95. Proceedings AU - HERMENEGILDO, Manuel V. AU - SWIERSTRA, Doaitse S. PY - 1995 VL - 982 SN - 354060359X 038760359X 3540450483 9783540603597 PB - Berlin : Springer-Verlag, DB - UniCat KW - Programming languages (Electronic computers) KW - Logic programming KW - Congresses. KW - 681.3*D16 KW - -Programming languages (Electronic computers) KW - -681.3*D11 KW - 681.3*F31 KW - 681.3*F41 KW - 681.3*I22 KW - Computer programming KW - Computerwetenschap--?*D16 KW - Congresses KW - Applicative (functional) programming KW - Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} KW - Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} KW - Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} KW - 681.3*I22 Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} KW - 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} KW - 681.3*F31 Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} KW - 681.3*D11 Applicative (functional) programming KW - 681.3*D11 KW - Computer science. KW - Logic design. KW - Algebra KW - Artificial intelligence. KW - Programming Languages, Compilers, Interpreters. KW - Programming Techniques. KW - Logics and Meanings of Programs. KW - Mathematical Logic and Formal Languages. KW - Symbolic and Algebraic Manipulation. KW - Artificial Intelligence. KW - Data processing. KW - AI (Artificial intelligence) KW - Artificial thinking KW - Electronic brains KW - Intellectronics KW - Intelligence, Artificial KW - Intelligent machines KW - Machine intelligence KW - Thinking, Artificial KW - Bionics KW - Cognitive science KW - Digital computer simulation KW - Electronic data processing KW - Logic machines KW - Machine theory KW - Self-organizing systems KW - Simulation methods KW - Fifth generation computers KW - Neural computers KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Switching theory KW - Informatics KW - Science KW - Programming languages (Electronic computers) - Congresses. KW - Logic programming - Congresses UR - https://www.unicat.be/uniCat?func=search&query=sysid:2571895 AB - This book constitutes the proceedings of the Seventh International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP '95, held in Utrecht, The Netherlands, in September 1995. The book presents 26 refereed full papers selected from 84 submissions; they report research on declarative programming languages and provide insights in the relation between the logic of those languages, implementation techniques, and the use of these languages in constructing real programs. In addition there are abstracts or full presentations of three invited talks as well as eight posters and demonstrations. ER -