TY - BOOK ID - 29152330 TI - Logic-based program synthesis and transformation : 8th international workshop, LOPSTR'98 Manchester, UK, June 1998. Selected papers PY - 1999 VL - 1559 SN - 3540657657 9783540657651 3540489584 PB - Berlin [etc.] : Springer-Verlag, DB - UniCat KW - 681.3*D16 <063> KW - Logic programming KW - 681.3*D11 <063> KW - 681.3*F31 <063> KW - 681.3*F41 <063> KW - 681.3*I22 <063> KW - Computer programming KW - Computer science--?*D16 KW - Applicative (functional) programming--Congressen 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}--Congressen KW - Mathematical logic: computability theory computational logic lambda calculus logic programming mechanical theorem proving model theory proof theoryrecursive function theory--See also {681.3*F11} {681.3*I22} {681.3*I23}--Congressen KW - Automatic programming: automatic analysis of algorithms program modification program synthesis program transformation program verification (Artificialintelligence)--See also {681.3*D12} {681.3*F31}--Congressen KW - Computer science. KW - Architecture, Computer. KW - Software engineering. KW - Computer programming. KW - Computers. KW - Computer logic. KW - Artificial intelligence. KW - Computer Science. KW - Software Engineering/Programming and Operating Systems. KW - Computer System Implementation. KW - Theory of Computation. KW - Logics and Meanings of Programs. KW - Programming Techniques. KW - Artificial Intelligence (incl. Robotics). 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 - 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 - Computers KW - Electronic computer programming KW - Electronic digital computers KW - Programming (Electronic computers) KW - Coding theory KW - Computer software engineering KW - Engineering KW - Architecture, Computer KW - Informatics KW - Science KW - 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}--Congressen 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}--Congressen KW - Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31}--Congressen KW - Computer network architectures. KW - Information theory. KW - Logic design. KW - Artificial Intelligence. KW - Architectures, Computer network KW - Network architectures, Computer KW - Computer architecture 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 UR - https://www.unicat.be/uniCat?func=search&query=sysid:29152330 AB - This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'98 held in Manchester, UK in June 1998. The 16 revised full papers presented were carefully reviewed and selected during three rounds of inspection from a total of initially 36 extended abstracts submitted. Also included are eight short papers. Among the topics covered are logic specification, mathematical program construction, logic programming, computational logics, inductive program synthesis, constraint logic programs, and mathematical foundations. ER -