You have Guest access.
Log In
Herbert Kuchen and Kazunori Ueda
Front matter
1-20
The Metalanguage λprolog and Its Implementation
21-39
A Scalable Architecture for Proof-Carrying Code
40-60
Parameterized Logic Programs where Computing Meets Learning
61-77
Proving Syntactic Properties of Exceptions in an Ordered Logical Framework
78-91
A Higher-Order Colon Translation
92-107
Compiling Lazy Functional Programs Based on the Spineless Tagless G-machine for the Java Virtual Machine
108-122
A Higher-Order Logic Programming Language with Constraints
123-137
Specifying and Debugging Security Protocols via Hereditary Harrop Formulas and λProlog ‐ A Case-study ‐
138-152
An Effective Bottom-Up Semantics for First-Order Linear Logic Programs
153-169
A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs
170-184
Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs
185-200
Adding Linear Constraints over Real Numbers to Curry
201-215
A Complete Selection Function for Lazy Conditional Narrowing
216-232
An Abstract Machine Based System for a Lazy Narrowing Calculus
233-247
Incremental Learning of Functional Logic Programs
248-263
A General Type Inference Framework for Hindley/Milner Style Systems
264-279
Monadic Encapsulation with Stack of Regions
280-295
Well-Typed Logic Programs Are not Wrong
296-310
A Framework for Analysis of Typed Logic Programs
311-325
Abstract Compilation for Sharing Analysis
326-342
A Practical Partial Evaluator for a Multi-Paradigm Declarative Language
343-358
A Simple Take on Typed Abstract Syntax in Haskell-like Languages
359-374
A simply typed context calculus with first-class environments
375-389
Refining the Barendregt Cube using Parameters
Back matter
Gopalan Nadathur
George C. Necula
Taisuke Sato
Jeff Polakow and Kwangkeun Yi
Olivier Danvy and Lasse R. Nielsen
Kwanghoon Choi, Hyun-il Lim and Taisook Han
Javier Leach and Susana Nieva
Giorgio Delzanno
Marco Bozzano, Giorgio Delzanno and Maurizio Martelli
Jesús M. Almendros-Jiménez and Antonio Becerra-Terón
Rafael Caballero, Francisco J. López-Fraguas and Mario Rodrìguez-Artalejo
Wolfgang Lux
Taro Suzuki and Aart Middeldorp
Teresa Hortalá-González and Eva Ullán
C. Ferri-Ramírez, J. Hernández-Orallo and M.J. Ramírez-Quintana
Martin Sulzmann
Koji Kagawa
Pierre Deransart and Jan-Georg Smaus
Vitaly Lagoon and Peter J. Stuckey
Gianluca Amato and Fausto Spoto
Elvira Albert, Michael Hanus and Germ00E1;n Vidal
Olivier Danvy and Morten Rhiger
Masahiko Sato, Takafumi Sakurai and Yukiyoshi Kameyama
Fairouz Kamareddine, Twan Laan and Rob Nederpelt
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info