close
1.

図書

図書
Alberto Pettorossi (ed.)
出版情報: Berlin : Springer, c2002  viii, 265 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2372
所蔵情報: loading…
2.

図書

図書
Kung-Kiu Lau (ed.)
出版情報: Berlin : Springer, c2001  viii, 181 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2042
所蔵情報: loading…
3.

図書

図書
Sandro Etalle (ed.)
出版情報: Berlin : Springer, c2005  viii, 277 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3573
所蔵情報: loading…
4.

図書

図書
Norbert E. Fuchs (ed.)
出版情報: Berlin ; Tokyo : Springer, c1998  x, 342 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1463
所蔵情報: loading…
5.

図書

図書
Patricia M. Hill (ed.)
出版情報: Berlin : Springer, c2006  x, 178 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3901
所蔵情報: loading…
6.

図書

図書
International Workshop on Logic Program Synthesis and Transformation ; Proietti, Maurizio, 1959-
出版情報: Berlin ; New York ; Tokyo : Springer, c1996  x, 266 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1048
所蔵情報: loading…
7.

図書

図書
Michael Leuschel (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003  x, 279 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2664
所蔵情報: loading…
8.

図書

図書
John Gallagher (ed.)
出版情報: Berlin ; Tokyo : Springer, c1997  vi, 324 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1207
所蔵情報: loading…
9.

図書

図書
Laurent Fribourg, Franco Turini (Eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994  ix, 450 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 883
所蔵情報: loading…
10.

図書

図書
Maurice Bruynooghe (ed.)
出版情報: Berlin ; Tokyo : Springer, c2004  x, 232 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3018
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
Inductive Theorem Proving by Program Specialisation: Generating Proofs for Isabelle Using Ecce / Helko Lehmann ; Michael Leuschel
Specification and Synthesis
Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures / Francis Alexandre ; Khaled Bsaíes ; Moussa Demba
Correct OO Systems in Computational Logic / Kung-Kiu Lau ; Mario Ornaghi
Specification and Synthesis of Hybrid Automata for Physics-Based Animation / Thomas Ellman
Adding Concrete Syntax to a Prolog-Based Program Synthesis System (Extended Abstract) / Bernd Fischer ; Eelco Visser
Verification
Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables / Rudolf Berghammer ; Markus Müller-Olm
Formal Reasoning about Efficient Data Structures: A Case Study in ACL2 / José Luis Ruiz-Reina ; José Antonio Alonso-Jiménez ; María José Hidalgo ; Francisco Jesús Martín-Mateos
Analysis
A Program Transformation for Backwards Analysis of Logic Programs / John P. Gallagher
An Efficient Staging Algorithm for Binding-Time Analysis / Takuma Murakami ; Zhenjiang Hu ; Kazuhiko Kakehi ; Masato Takeichi
Proving Termination with Adornments / Alexander Serebrenik ; Danny De Schreye
Transformation and Specialisation
Constructively Characterizing Fold and Unfold / Tjark Weber ; James Caldwell
Deterministic Higher-Order Patterns for Program Transformation / Tetsuo Yokoyama
From Interpreter to Logic Engine by Defunctionalization / Dariusz Biernacki ; Olivier Danvy
Linearization by Program Transformation / Sandra Alves ; Mario Florido
Continuation Semantics as Horn Clauses / Qian Wang ; Gopal Gupta
Constraints
Simplification of Database Integrity Constraints Revisited: A Transformational Approach / Henning Christiansen ; Davide Martinenghi
Integration and Optimization of Rule-Based Constraint Solvers / Slim Abdennadher ; Thom Fruhwirth
Introducing esra, a Relational Language for Modelling Combinatorial Problems / Pierre Flener ; Justin Pearson ; Magnus Agren
Author Index
Invited Talk
Inductive Theorem Proving by Program Specialisation: Generating Proofs for Isabelle Using Ecce / Helko Lehmann ; Michael Leuschel
Specification and Synthesis
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼