Maurice Bruynooghe - Böcker
Visar alla böcker från författaren Maurice Bruynooghe. Handla med fri frakt och snabb leverans.
6 produkter
6 produkter
Program Development in Computational Logic
A Decade of Research Advances in Logic-Based Program Development
Häftad, Engelska, 2004
556 kr
Skickas inom 10-15 vardagar
This book presents a unique state-of-the-art survey on progress in the field of program development making use of computational logic. The motivating idea behind this approach is the belief that declarative paradigms such as logic programming are better suited to program development tasks than traditional non-declarative ones such as imperative paradigms. Closely related to the international workshop and symposium series "Logic Program Synthesis and Transformation", later renamed "Program Development in Computational Logic", this book presents 15 carefully selected and reviewed articles and surveys by leading researchers in the area. The contributions are grouped in sections on specification and synthesis, semantics, analysis, transformation and specialization, termination, and systems.
Logic Based Program Synthesis and Transformation
13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers
Häftad, Engelska, 2004
556 kr
Skickas inom 10-15 vardagar
This book constitutes the thoroughly refereed postproceedings of the 13th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2003, held in Uppsala, Sweden in August 2003. The 12 revised full papers presented were carefully selected during two rounds of reviewing and revision from 32 submissions. Also included are an invited paper and abstracts of 5 papers presented at the workshop. The papers are organized in topical sections on specification and synthesis, verification, analysis, transformation and specialization, and constraints.
Programming Language Implementation and Logic Programming
4th International Symposium, PLILP ’92, Leuven, Belgium, August 26–28, 1992 Proceedings
Häftad, Engelska, 1992
556 kr
Skickas inom 10-15 vardagar
This volume contains the papers accepted for presentation atthe Fourth International Symposium on Programming LanguageImplementation and Logic Programming (PLILP '92) held inLeuven, Belgium, August 26-28, 1992. Theaim of the symposium was to explore new declarativeconcepts, methods and techniques relevant for implementationof all kinds of programming languages, whether algorithmicor declarative. The symposium gathered researchers fromthe fields of algorithmic programming languages as well aslogic, functional, and object-oriented programming. The topics discussed in the volume include:- Declarative implementation techniques;- Implementation of declarative concepts and modules;- Compiler specification and construction;- Program transformation;- Programming environments for declarative languages;- Amalgamation of logic programming with algorithmic,functional, or object-oriented techniques;- Executable specification.
Programming Language Implementation and Logic Programming
5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993. Proceedings
Häftad, Engelska, 1993
556 kr
Skickas inom 10-15 vardagar
This volume contains the proceedings of the 5th International Symposium on Programming Language Implementation and Logic Programming (PLILP '93), held in Tallinn, Estonia, in August 1993. Researchers from the fields of algorithmic programming languages as well as logic, functional, object-oriented and constraint programming constitute the audience of PLILP. The volume contains three invited talks and 24 selected contributed papers grouped into parts on: the integration of different paradigms; constraint programming; static analysis and abstract interpretation; grammars; narrowing; parallelism; and implementation techniques.
Program Development in Computational Logic : A Decade of Research Advances in Logic-Based Program Development
Engelska, 2014
653 kr
Skickas inom 5-8 vardagar
653 kr
Skickas inom 5-8 vardagar