close
1.

図書

図書
Hugh Glaser, Pieter Hartel, Herbert Kuchen, eds
出版情報: Berlin ; Tokyo : Springer, c1997  xi, 424 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1292
所蔵情報: loading…
2.

図書

図書
Herbert Kuchen, S. Doaitse Swierstra (eds.)
出版情報: Berlin ; Tokyo : Springer, c1996  xi, 478 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1140
所蔵情報: loading…
3.

図書

図書
Manuel Hermenegildo, S. Doaitse Swierstra, (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1995  xi, 466 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 982
所蔵情報: loading…
4.

図書

図書
J. Maluszyński, M. Wirsing, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1991  xi, 433 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 528
所蔵情報: loading…
5.

図書

図書
M. Bruynooghe, M. Wirsing, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1992  xi, 492 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 631
所蔵情報: loading…
6.

図書

図書
Maurice Bruynooghe, Jaan Penjam, eds
出版情報: Berlin ; New York : Springer-Verlag, c1993  xi, 421 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 714
所蔵情報: loading…
7.

図書

図書
Manuel Hermenegildo, Jaan Penjam, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994  xii, 468 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 844
所蔵情報: loading…
8.

図書

図書
Catuscia Palamidessi, Hugh Glaser, Karl Meinke (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998  xi, 497 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1490
所蔵情報: loading…
目次情報: 続きを見る
Verification: Invited Paper
Logic Programming and Model Checking / Baoqiu Cui ; Yifei Dong ; Xiaoqun Du ; K. Narayan Kumar ; C. R. Ramakrishnan ; I. V. Ramakrishnan ; Abhik Roychoudhury ; Scott A. Smolka ; David S. Warren
Logic Programming I
CAT: The Copying Approach to Tabling / Bart Demoen ; Konstantinos Sagonas
SICStus MT - A Multithreaded Execution Environment for SICStus Prolog / Jesper Eskilson ; Mats Carlsson
A Framework for Bottom Up Specialisation of Logic Programs / Wim Vanhoof ; Danny De Schreye ; Bern Martens
Termination of Logic Programs with block Declarations Running in Several Modes / Jan-Georg Smaus ; Pat Hill ; Andy King
Static Analysis
The Boolean Logic of Set Sharing Analysis / Michael Codish ; Harald Søndergaard
Derivation of Proof Methods by Abstract Interpretation / Giorgio Levi ; Paolo Volpe
Detecting Unsolvable Queries for Definite Logic Programs / Maurice Bruynooghe ; Henk Vandecasteele ; D. Andre de Waal ; Marc Denecker
Staging Static Analyses Using Abstraction-Based Program Specialization / John Hatcliff ; Matthew Dwyer ; Shawn Laubach
An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs / Fausto Spoto
Software Methodologies: Invited Paper Architecturing Software Using: A Methodology for Language Development / Charles Consel ; Renaud Marlet
Object Oriented Programming
Explicit Substitutions for Objects and Functions / Delia Kesner ; Pablo E. Mart'inez Lopez
The Complexity of Late-Binding in Dynamic Object-Oriented Languages / Enrico Pontelli ; Desh Ranjan ; Gopal Gupta
Term Rewriting
A Compiler for Rewrite Programs in Associative-Commutative Theories / Pierre-Etienne Moreau ; Héléne Kirchner
Solution to the Problem of Zantema on a Persistent Property of Term Rewriting Systems / Takahito Aoto
A General Framework for R-Unification Problems / Sebastien Limet ; Frédéric Saubion
Semantics: Tutorial
Operational Versus Denotational Methods in the Semantics of Higher Order Languages / Andrew M. Pitts
Functional Programming
Functional Implementations of Continuous Modeled Animation / Conal Elliott
Compiling Erlang to Scheme / Marc Feeley ; Martin Larose
From (Sequential) Haskell to (Parallel) Eden: An Implementation Point of View / Silvia Breitinger ; Ulrike Klusik ; Rita Loogen
Mobile Haskell: Compiling Lazy Functional Programs for the Java Virtual Machine / David Wakeling
Metaprogramming: Tutorial
Program Analysis in ?Prolog / John Hannan
Logic Programming II
A Game Semantics Foundation for Logic Programming / Roberto Di Cosmo ; Jean-Vincent Loddo ; Stephane Nicolet
Controlling Search in Declarative Programs / Michael Hanus ; Frank Steiner
Encapsulating Data in Logic Programming via Categorical Constraints / James Lipton ; Robert McGrail
Constructive Negation Using Typed Existence Properties / John G. Cleary ; Lunjin Lu
Optimal Evaluation: Tutorial
Optimal Reduction of Functional Expressions / Andrea Asperti
Integration
Embedding Multiset Constraints into a Lazy Functional Logic Language / P. Arenas-Sánchez ; F.J. López-Fraguas ; M. Rodr'iguez-Artalejo
A Hidden Herbrand Theorem / Joseph Goguen ; Grant Malcolm ; Tom Kemp
Constraint Solving
Integrating Constraint Propagation in Complete Solving of Linear
Diophantine Systems / Farid Ajili ; Hendrik C.R. Lock
Approaches to the Incremental Detection of Implicit Equalities with the Revised Simplex Method / Philippe Refalo
Author Index
Verification: Invited Paper
Logic Programming and Model Checking / Baoqiu Cui ; Yifei Dong ; Xiaoqun Du ; K. Narayan Kumar ; C. R. Ramakrishnan ; I. V. Ramakrishnan ; Abhik Roychoudhury ; Scott A. Smolka ; David S. Warren
Logic Programming I
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼