Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Programming --- Software maintenance --- Software maintenance - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Partial Evaluation has reached a point where theory and techniques have matured, substantial systems have been developed, and realistic applications can benefit from partial evaluation. This book is based on the International Seminar on Partial Evaluation held in Dagstuhl Castle, Germany in February 1996. The 24 strictly refereed full papers included evaluate the progress achieved in the field during the last decade. Also included is a detailed preface by the volume editors and a subject index. All in all, this book competently reports the state of the art and future perspectives in partial evaluation and is thus compulsory reading for anybody interested in the area.

Computer software --- -Software maintenance --- -681.3*D11 --- 681.3*F31 --- 681.3*F41 --- 681.3*I22 --- 681.3*I23 --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*D11 Applicative (functional) programming --- Applicative (functional) programming --- 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} --- 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} --- 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} --- 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} --- Computer program maintenance --- Computer programs --- Maintenance, Software --- Computer programming --- Software reengineering --- Software, Computer --- Computer systems --- 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} --- Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} --- Evaluation --- -Congresses --- Congresses --- Maintenance --- Software maintenance --- Congresses. --- Computer Science --- Engineering & Applied Sciences --- 681.3*D11 --- Evaluation&delete& --- Computer science. --- Computer programming. --- Programming languages (Electronic computers). --- Computer Science. --- Programming Techniques. --- Programming Languages, Compilers, Interpreters. --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Informatics --- Science --- Programming --- Computer software - Evaluation - Congresses. --- Software maintenance - Congresses.