close
1.

電子ブック

EB
Herbert Kuchen, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
2.

電子ブック

EB
Herbert Kuchen, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
3.

電子ブック

EB
FLOPS 2001, Herbert Kuchen, Kazunori Ueda
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2001
所蔵情報: 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
4.

電子ブック

EB
PLILP '96, Herbert Kuchen, S. Doaitse Swierstra
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1996
所蔵情報: loading…
5.

電子ブック

EB
PLILP '97, Hugh Glaser, Pieter H. Hartel, Herbert Kuchen
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1997
所蔵情報: loading…
6.

電子ブック

EB
Hofstedt, Salvador Abreu, Ulrich John, Herbert Kuchen, Dietmar Seipel
出版情報: SpringerLink Books - AutoHoldings , Springer International Publishing, 2020
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼