Angebote zu "Metaprogramming" (16 Treffer)

C++ Template Metaprogramming
54,56 € *
ggf. zzgl. Versand

C++ Template Metaprogramming

Anbieter: Allyouneed.com
Stand: 06.04.2017
Zum Angebot
Meta-Programming in Logic
85,60 € *
ggf. zzgl. Versand

This volume contains lectures and papers delivered at Meta 92, the Third International Workshop on Metaprogramming in Logic, held in Uppsala, Sweden,June 1992. The topics covered include foundations of metaprogramming in logic, proposals for metaprogramming languages, techniques for knowledgerepresentation and belief systems, and program transformation and analysis in logic. Particular topics include belief revision systems, intensionaldeduction, belief systems and metaprogramming, principles of partial deduction, termination in logic programs, semantics of the ´´vanilla´´ metainterpreter, a complete resolution method for metaprogramming, semanticsof ´´demo´´, hierarchical metalogics, the naming relation in metalevel systems, modules, reflective agents, compiler optimizations, metalogic and object-oriented facilities, parallel logic languages, the use of metaprogramming for legal reasoning, representing objects and inheritance, transformation of normal programs, negation in automatically generated logic programs, reordering of literals in deductive databases, abstract interpretations, and interarguments in constraint logic programs.

Anbieter: buch.de
Stand: 07.05.2017
Zum Angebot
Meta-Programming in Logic
76,99 € *
ggf. zzgl. Versand

This volume contains lectures and papers delivered at Meta 92, the Third International Workshop on Metaprogramming in Logic, held in Uppsala, Sweden,June 1992. The topics covered include foundations of metaprogramming in logic, proposals for metaprogramming languages, techniques for knowledgerepresentation and belief systems, and program transformation and analysis in logic. Particular topics include belief revision systems, intensionaldeduction, belief systems and metaprogramming, principles of partial deduction, termination in logic programs, semantics of the ´´vanilla´´ metainterpreter, a complete resolution method for metaprogramming, semanticsof ´´demo´´, hierarchical metalogics, the naming relation in metalevel systems, modules, reflective agents, compiler optimizations, metalogic and object-oriented facilities, parallel logic languages, the use of metaprogramming for legal reasoning, representing objects and inheritance, transformation of normal programs, negation in automatically generated logic programs, reordering of literals in deductive databases, abstract interpretations, and interarguments in constraint logic programs.

Anbieter: Thalia.de
Stand: 19.04.2017
Zum Angebot
Meta-Programming in Logic
85,60 € *
ggf. zzgl. Versand

This volume contains lectures and papers delivered at Meta 92, the Third International Workshop on Metaprogramming in Logic, held in Uppsala, Sweden,June 1992. The topics covered include foundations of metaprogramming in logic, proposals for metaprogramming languages, techniques for knowledgerepresentation and belief systems, and program transformation and analysis in logic. Particular topics include belief revision systems, intensionaldeduction, belief systems and metaprogramming, principles of partial deduction, termination in logic programs, semantics of the ´´vanilla´´ metainterpreter, a complete resolution method for metaprogramming, semanticsof ´´demo´´, hierarchical metalogics, the naming relation in metalevel systems, modules, reflective agents, compiler optimizations, metalogic and object-oriented facilities, parallel logic languages, the use of metaprogramming for legal reasoning, representing objects and inheritance, transformation of normal programs, negation in automatically generated logic programs, reordering of literals in deductive databases, abstract interpretations, and interarguments in constraint logic programs.

Anbieter: Bol.de
Stand: 18.02.2017
Zum Angebot
Logic Program Synthesis and Transformation - Me...
96,30 € *
ggf. zzgl. Versand

This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program Synthesis and Transformation (LOPSTR ´94) and on Meta-Programming (META ´94), held jointly in Pisa, Italy in June 1994. This book includes thoroughly revised versions of the best papers presented at both workshops. The main topics addressed by the META papers are language extensions in support of meta-logic, semantics of meta-logic, implementation of meta-logic features, performance of meta-logic, and several applicational aspects. The LOPSTR papers are devoted to unfolding/folding, partial deduction, proofs as programs, inductive logic programming, automated program verification, specification and programming methodologies.

Anbieter: buch.de
Stand: 07.05.2017
Zum Angebot
Logic Program Synthesis and Transformation - Me...
85,99 € *
ggf. zzgl. Versand

This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program Synthesis and Transformation (LOPSTR ´94) and on Meta-Programming (META ´94), held jointly in Pisa, Italy in June 1994. This book includes thoroughly revised versions of the best papers presented at both workshops. The main topics addressed by the META papers are language extensions in support of meta-logic, semantics of meta-logic, implementation of meta-logic features, performance of meta-logic, and several applicational aspects. The LOPSTR papers are devoted to unfolding/folding, partial deduction, proofs as programs, inductive logic programming, automated program verification, specification and programming methodologies.

Anbieter: Thalia.de
Stand: 19.04.2017
Zum Angebot
Logic Program Synthesis and Transformation - Me...
96,30 € *
ggf. zzgl. Versand

This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program Synthesis and Transformation (LOPSTR ´94) and on Meta-Programming (META ´94), held jointly in Pisa, Italy in June 1994. This book includes thoroughly revised versions of the best papers presented at both workshops. The main topics addressed by the META papers are language extensions in support of meta-logic, semantics of meta-logic, implementation of meta-logic features, performance of meta-logic, and several applicational aspects. The LOPSTR papers are devoted to unfolding/folding, partial deduction, proofs as programs, inductive logic programming, automated program verification, specification and programming methodologies.

Anbieter: Bol.de
Stand: 18.02.2017
Zum Angebot
ECOOP ´97 - Object-Oriented Programming
96,30 € *
ggf. zzgl. Versand

This book constitutes the strictly refereed proceedings of the 11th European Conference on Object-Oriented Programming, ECOOP´97, held in Jyväskylä, Finland, in June 1997. The book presents 20 revised full papers selected from a total of 103 submissions; also included are two full invited presentations and one abstract of an invited talk. The book is divided into topical sections on programming languages, types, metaprogramming, implementation and systems, formal methods and specifications, Java, and patterns. All in all, the volume impressively demonstrates that object-oriented technology has grown from a limited academic exercise to an industrial driving force.

Anbieter: buch.de
Stand: 07.05.2017
Zum Angebot
ECOOP ´97 - Object-Oriented Programming
85,99 € *
ggf. zzgl. Versand

This book constitutes the strictly refereed proceedings of the 11th European Conference on Object-Oriented Programming, ECOOP´97, held in Jyväskylä, Finland, in June 1997. The book presents 20 revised full papers selected from a total of 103 submissions; also included are two full invited presentations and one abstract of an invited talk. The book is divided into topical sections on programming languages, types, metaprogramming, implementation and systems, formal methods and specifications, Java, and patterns. All in all, the volume impressively demonstrates that object-oriented technology has grown from a limited academic exercise to an industrial driving force.

Anbieter: Thalia.de
Stand: 19.04.2017
Zum Angebot
ECOOP ´97 - Object-Oriented Programming
96,30 € *
ggf. zzgl. Versand

This book constitutes the strictly refereed proceedings of the 11th European Conference on Object-Oriented Programming, ECOOP´97, held in Jyväskylä, Finland, in June 1997. The book presents 20 revised full papers selected from a total of 103 submissions; also included are two full invited presentations and one abstract of an invited talk. The book is divided into topical sections on programming languages, types, metaprogramming, implementation and systems, formal methods and specifications, Java, and patterns. All in all, the volume impressively demonstrates that object-oriented technology has grown from a limited academic exercise to an industrial driving force.

Anbieter: Bol.de
Stand: 18.02.2017
Zum Angebot