close
1.

図書
図書
1. Logic-based program synthesis and transformation : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 : selected papers
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
2.

図書
図書
2. Logic program synthesis and transformation : 7th International Workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997 : proceedings
Norbert E. Fuchs (ed.)
出版情報: Berlin ; Tokyo : Springer, c1998  x, 342 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1463
所蔵情報: loading…
3.

図書
図書
3. Logic program synthesis and transformation : 6th International Workshop, LOPSTR '96, Stockholm, Sweden, August 28-30, 1996 : proceedings
John Gallagher (ed.)
出版情報: Berlin ; Tokyo : Springer, c1997  vi, 324 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1207
所蔵情報: loading…
4.

図書
図書
4. Logic program synthesis and transformation : 5th International Workshop, LOPSTR '95, Utrecht, the Netherlands, September 20-22, 1995 : proceedings /Maurizio Proietti (ed.)
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…
5.

図書
図書
5. Logic program synthesis and transformation-- Meta-programming in logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994 : proceedings
Laurent Fribourg, Franco Turini (Eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994  ix, 450 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 883
所蔵情報: loading…
6.

図書
図書
6. Logic based program synthesis and transformation : 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers
Michael Leuschel (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003  x, 279 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2664
所蔵情報: loading…
7.

図書
図書
7. Logic based program synthesis and transformation : 10th International Workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers
Kung-Kiu Lau (ed.)
出版情報: Berlin : Springer, c2001  viii, 181 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2042
所蔵情報: loading…
8.

図書
図書
8. Logic based program synthesis and transformation : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers
Alberto Pettorossi (ed.)
出版情報: Berlin : Springer, c2002  viii, 265 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2372
所蔵情報: loading…
9.

図書
図書
9. Logic based program synthesis and transformation : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005 : revised selected papers
Patricia M. Hill (ed.)
出版情報: Berlin : Springer, c2006  x, 178 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3901
所蔵情報: loading…
10.

図書
図書
10. Logic based program synthesis and transformation : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers
Sandro Etalle (ed.)
出版情報: Berlin : Springer, c2005  viii, 277 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3573
所蔵情報: loading…
11.

図書
図書
11. Logic based program synthesis and transformation : 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers
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
12.

電子ブック
ＥＢ
12. Logic Based Program Synthesis and Transformation
International Workshop on Logic Program Synthesis and Transformation, Alberto Pettorossi
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2002
所蔵情報: loading…
13.

電子ブック
ＥＢ
13. Logic Program Synthesis and Transformation
International Workshop on Logic Program Synthesis and Transformation, Maurizio Proietti
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1996
所蔵情報: loading…
14.

電子ブック
ＥＢ
14. Logic Program Synthesis and Transformation
International Workshop on Logic Program Synthesis and Transformation, John P. Gallagher
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1997
所蔵情報: loading…
15.

電子ブック
ＥＢ
15. Logic Program Synthesis and Transformation
International Workshop on Logic Program Synthesis and Transformation, Norbert E. Fuchs
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1998
所蔵情報: loading…
16.

電子ブック
ＥＢ
16. Logic Program Synthesis and Transformation — Meta-Programming in Logic
International Workshop on Logic Program Synthesis and Transformation, Laurent Fribourg, Franco Turini
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1994
所蔵情報: loading…
17.

電子ブック
ＥＢ
17. Logic-Based Program Synthesis and Transformation
International Workshop on Logic Program Synthesis and Transformation, Annalisa Bossi
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2000
所蔵情報: 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
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼