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.

図書

図書
Herbert Kuchen, Kazunori Ueda (eds.)
出版情報: Berlin : Springer, c2001  x, 389 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2024
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
The Metalanguage?-Prolog and Its Implementation / Gopalan Nadathur
A Scalable Architecture for Proof-Carrying Code / George C. Necula
Parameterized Logic Programs where Computing Meets Learning / Taisuke Sato
Functional Programming
Proving Syntactic Properties of Exceptions in an Ordered Logical Framework / Jeff Polakow ; Kwangkeun Yi
A Higher-Order Colon Translation / Olivier Danvy ; Lasse R. Nielsen
Compiling Lazy Functional Programs Based on the Spineless Tagless G-machine for the Java Virtual Machine / Kwanghoon Choi ; Hyun-il Lim ; Taisook Han
Logic Programming
A Higher-Order Logic Programming Language with Constraints / Javier Leach ; Susana Nieva
Specifying and Debugging Security Protocols via Hereditary Harrop Formulas and ? Prolog - A Case-study / Giorgio Delzanno
An Effective Bottom-Up Semantics for First-Order Linear Logic Programs / Marco Bozzano ; Maurizio Martelli
Functional Logic Programming
A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs / Jesús M. Almendros-Jiménez ; Antonio Becerra-Terón
Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs / Rafael Caballero ; Francisco J. López-Fraguas ; Mario Rodr'iguez-Artalejo
Adding Linear Constrains over Real Numbers to Curry / Wolfgang Lux
A Complete Selection Function for Lazy Conditional Narrowing / Taro Suzuki ; Aart Middeldorp
An Abstract Machine Based System for a Lazy Narrowing Calculus / Teresa Hortalá-González ; Eva Ullán
Incremental Learning of Functional Logic Programs / César Ferri-Ramirez ; José Hermandez-Orallo ; Maria José Ramirez-Quintana
Types
A General Type Inference Framework for Hindley/Milner Style Systems / Martin Sulzmann
Monadic Encapsulation with Stack of Regions / Koji Kagawa
Well-Typed Logic Programs Are not Wrong / Pierre Deransart ; Jan-Georg Smaus
Program Analysis and Transformation
A Framework for Analysis of Typed Logic Programs / Vitaly Lagoon ; Peter J. Stuckey
Abstract Compilation for Sharing Analysis / Gianluca Amato ; Fausto Spoto
A Practical Partial Evaluator for a Multi-Paradigm Declarative Language / Elvira Albert ; Michael Hanus ; German Vidal
A Simple Take on Typed Abstract Syntax in ML-like Languages / Morten Rhiger
?-Calculus
A Simply Typed Context Calculus with First-Class Environments / Masahiko Sato ; Takafumi Sakurai ; Yukiyoshi Kameyama
Refining the Barendregt Cube Using Parameters / Twan Laan ; Fairouz Kamareddine ; Rob Nederpelt
Author Index
Invited Papers
The Metalanguage?-Prolog and Its Implementation / Gopalan Nadathur
A Scalable Architecture for Proof-Carrying Code / George C. Necula
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼