TY - BOOK ID - 2631337 TI - Logic program synthesis and transformation AU - Gallagher, John AU - International workshop, LOPSTR'96. 6th, (August 28-30, 1996 : Stockholm, Sweden) PY - 1997 VL - 1207 SN - 3540627189 3540684948 9783540627180 PB - Berlin: Springer, DB - UniCat KW - Logic programming KW - Congresses. KW - Computer Science KW - Engineering & Applied Sciences KW - Congresses KW - 681.3*D16 KW - -681.3*F41 KW - 681.3*I22 KW - 681.3*I23 KW - Computer programming KW - Computerwetenschap--?*D16 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 - Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) KW - 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) 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 - Computer science. KW - Computer programming. KW - Programming languages (Electronic computers). KW - Computers. KW - Computer logic. KW - Mathematical logic. KW - Artificial intelligence. KW - Computer Science. KW - Theory of Computation. KW - Programming Languages, Compilers, Interpreters. KW - Programming Techniques. KW - Artificial Intelligence (incl. Robotics). KW - Mathematical Logic and Formal Languages. KW - Logics and Meanings of Programs. KW - 681.3*F41 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 - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Mathematics KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Computer science logic KW - Logic, Symbolic and mathematical KW - Automatic computers KW - Automatic data processors KW - Computer hardware KW - Computing machines (Computers) KW - Electronic calculating-machines KW - Electronic computers KW - Hardware, Computer KW - Computer systems KW - Cybernetics KW - Calculators KW - Cyberspace KW - Computer languages KW - Computer program languages KW - Computer programming languages KW - Machine language KW - Languages, Artificial KW - Computers KW - Electronic computer programming KW - Electronic digital computers KW - Programming (Electronic computers) KW - Coding theory KW - Informatics KW - Science KW - Programming KW - Information theory. KW - Logic design. KW - Artificial Intelligence. KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Switching theory KW - Communication theory KW - Communication KW - Logic programming - Congresses KW - Programming languages (Electronic computers) KW - Logic, Symbolic and mathematical. UR - https://www.unicat.be/uniCat?func=search&query=sysid:2631337 AB - This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, LOPSTR'96, held on board a ship sailing from Stockholm to Helsinki, in August 1996. The 17 revised full papers were carefully selected from a total of initially 27 submissions. The topics covered range over the areas of synthesis of programs from specifications, verification, transformation, specialization, and analysis of programs, and the use of program schemata in program development. ER -