Suchergebnisse - Reasoning about program transformations

Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!

Reasoning about program transformations : imperative programming and flow of data

Collard, Jean-François

New York [u.a.] : Springer, 2003

Buch

Towards correctness of program transformations through unification and critical pair computation

Rau, Conrad

Frankfurt [am Main] : Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology, 2010

E-Book

Knowledge representation, reasoning and declarative problem solving

Baral, Chitta

Cambridge [u.a.] : Cambridge Univ. Press, 2003

Buch

Program equivalence for a concurrent lambda calculus with futures

Niehren, Joachim (Verfasser)

Frankfurt am Main : Johann Wolfgang Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik, Research group for Artificial Intelligence and Software Technology, 2006

E-Book

Spatial reasoning and planning : geometry, mechanism, and motion ; with 6 tables

Liu, Jiming

Berlin [u.a.] : Springer, 2004

Buch

Logic programming and nonmonotonic reasoning : 5th international conference ; proceedings

Gelfond, Michael (Herausgeber)

Berlin : Springer, 1999

Buch

Interacting code motion transformations : their impact and their complexity

Rüthing, Oliver

Berlin [u.a.] : Springer, 1998

Buch

Logic program synthesis and transformation : 7th international workshop ; proceedings

Fuchs, Norbert E. (Herausgeber)

Berlin : Springer, 1998

Buch

Semantics, applications, and implementation of program generation : international workshop ; proceedings

Taha, Walid Mohamed (Herausgeber)

Berlin : Springer, 2000

Buch

Inside case based reasoning

Riesbeck, Christopher K.

Hillsdale, Nj [u.a.] : Erlbaum, 1989

Buch

Isabelle : a generic theorem prover

Paulson, Lawrence C.

Berlin [u.a.] : Springer, 1994

Buch

Guide to web application and platform architectures

Jablonski, Stefan

Berlin [u.a.] : Springer, 2004

Buch

Refinement calculus : a systematic introduction

Back, Ralph-Johan

New York [u.a.] : Springer, 1998

Buch

Scalable uncertainty management : 5th international conference ; proceedings

Benferhat, Salem (Herausgeber)

Berlin : Springer, 2011

Buch

Formal Methods and Software Engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings

Dong, Jin Song (Herausgeber)

1st ed. 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

E-Book

Reconstruction a logic for inductive proofs of properties of functional programs

Sabel, David (Verfasser)

June 22, 2010

Frankfurt [am Main] : Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology, 2010

E-Book

Computing overlappings by unification in the deterministic lambda calculus LR with letrec, case, constructors, seq and variable chains

Rau, Conrad

September 1, 2011

Frankfurt [am Main] : Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology, 2011

E-Book