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.

図書

図書
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
7.

図書

図書
Annalisa Bossi (ed.)
出版情報: Berlin : Springer, c2000  viii, 312 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1817
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
Algebraic Specification and Program Development by Stepwise Refinement Extended Abstract / Donald Sannella
Tutorials
Proof Obligations of the B Formal Method: Local Proofs Ensure Global Consistency / Mireille Ducasse ; Laurence Roze
Constraint Logic Programming Applied to Model Checking / Laurent Fribourg
Software Development
On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic / Juliana Kuster Filipe ; Kung-Kiu Lau ; Mario Ornaghi ; Hirokazu Yatsu
Analysis and Specialisation
Infinite State Model Checking by Abstract Interpretation and Program Specialisation / Michael Leuschel ; Thierry Massart
Mode Analysis Domains for Typed Logic Programs / Jan-Georg Smaus ; Patricia M. Hill ; Andy King
Imperative Program Specialisation: An Approach Using CLP / Julio C. Peralta ; John P. Gallagher
Specialising Finite Domain Programs Using Polyhedra / Jacob M. Howe
Transformation
Roles of Program Extension / Ralf Lammel ; Gunter Riedewald ; Wolfgang Lohmann
Transformation of Left Terminating Programs / Annalisa Bossi ; Nicoletta Cocco ; Sandro Etalle
Transformation Rules for Logic Programs with Goals as Arguments / Alberto Pettorossi ; Maurizio Proietti
Making Mercury Programs Tail Recursive / Peter Ross ; David Overton ; Zoltan Somogyi
The Replacement Operation for CCP Programs / Marco Bertolino ; Catuscia Palamidessi
Verification
Annotations for Prolog - A Concept and Runtime Handling / Marija Kulas
Verification by Testing for Recursive Program Schemes / Daniel Le Metayer ; Valerie-Anne Nicolas ; Olivier Ridoux
Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs / German Puebla ; Francisco Bueno ; Manuel Hermenegildo
Context-Moving Transformations for Function Verification / Jurgen Giesl
Invited Talk
Algebraic Specification and Program Development by Stepwise Refinement Extended Abstract / Donald Sannella
Tutorials
8.

図書

図書
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…
9.

図書

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

図書

図書
John Gallagher (ed.)
出版情報: Berlin ; Tokyo : Springer, c1997  vi, 324 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1207
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼