close
1.

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

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

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

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

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

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

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

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

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

図書
図書
10. 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
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼