close
1.

図書

図書
Zhenjiang Hu, Mario Rodríguez-Artalejo (eds.)
出版情報: Berlin : Springer, c2002  x, 304 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2441
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Formal Methods in CafeOBJ / Kokichi Futatsugi
The Essence of XML (Preliminary Version) / Jérôme Siméon ; Philip Wadler
To the Gates of HAL: A HAL Tutorial / María Garía de la Banda ; Bart Demoen ; Kim Marriott ; Peter J. Stuckey
Tutorial Paper
Functional Logic Design Patterns / Sergio Antoy ; Michael Hanus
Constraints
On Consistency and Width Notions for Constraint Programs with Algebraic Constraints / Klaus Meer
Solving Mixed Quantified Constraints over a Domain Based on Real Numbers and Herbrand Terms / Miguel García-Díaz ; Susana Nieva
Program Transformation and Analysis
On the Correctness of the Factoring Transformation / Pascual Julián Iranzo
Lambda-Lifting in Quadratic Time / Olivier Danvy ; Ulrik P. Schultz
Semantics
The Well-Founded Semantics in Normal Logic Programs with Uncertainty / Yann Loyer ; Umberto Straccia
Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus / Masahito Hasegawa
Coinductive Interpreters for Process Calculi / Luís Soares Barbosa ; José Nuno Oliveira
Rewriting
Descendants and Head Normalization of Higher-Order Rewrite Systems / Hideto Kasuya ; Masahiko Sakai ; Kiyoshi Agusa
Narrowing Failure in Functional Logic Programming / Francisco Javier López-Fraguas ; Jaime Sánchez-Hernández
Compilation Techniques
The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation / Mikael Pettersson ; Konstantinos Sagonas ; Erik Johansson
Dynamic-Cut with Definitional Trees / Rafael Caballero
Programming Methodology
The Head Condition and Polymorphic Recursion / Jan-Georg Smaus
Structural Abstraction and Application in Logic Programming / António Porto
VM?: A Functional Calculus for Scientific Discovery / Eijiro Sumii ; Hideo Bannai
Author Index
Invited Papers
Formal Methods in CafeOBJ / Kokichi Futatsugi
The Essence of XML (Preliminary Version) / Jérôme Siméon ; Philip Wadler
2.

図書

図書
Aart Middeldorp, Taisuke Sato (eds.)
出版情報: Berlin : Springer, c1999  x, 368 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1722
所蔵情報: loading…
目次情報: 続きを見る
Semantics and Types in Functional Logic Programming / J. C. González-Moreno ; M. T. Hortalá-González ; M. Rodríguez-Artalejo
Polytypic Programming With Ease (Extended Abstract) / Ralf Hinze
Type Inference for Overloading without Restrictions, Declarations or Annotations / Carlos Camarao ; Lucília Figueiredo
Partial Evaluation and Non-interference for Object Calculi / Gilles Barthe ; Bernard P. Serpette
Lazy Lexing is Fast / Manuel M. T. Chakravarty
A Functional-Logic Perspective of Parsing / Rafael Caballero ; Francisco J. López-Fraguas
Implementing Encapsulated Search for a Lazy Functional Logic Language / Wolfgang Lux
Comparison of Deforestation Techniques for Functional Programs and for Tree Transducers / Armin Kühnemann
Automatic Verification Based on Abstract Interpretation / Mizuhito Ogawa
A Transformation System for Lazy Functional Logic Programs / María Alpuente ; Moreno Falaschi ; Ginés Moreno ; Germán Vidal
Termination Analysis of Tabled Logic Programs Using Mode and Type Information / Sofie Verbaeten ; Danny De Schreye
On Quasi-Reductive and Quasi-Simplifying Deterministic Conditional Rewrite Systems / Enno Ohlebusch
An Interval Lattice-Based Constraint Solving Framework for Lattices / Antonio J. Fernández ; Patricia M. Hill
Higher Order Matching for Program Transformation / Oege de Moor ; Ganesh Sittampalam
Automated Generalisation of Function Definitions / Adam Bakewell ; Colin Runciman
An Extensional Characterization of Lambda-Lifting and Lambda-Dropping / Olivier Danvy
Using Types as Approximations for Type Checking Prolog Programs / Christoph Beierle ; Gregor Meyer
Typed Static Analysis: Application to Groundness Analysis of Prolog and ?Prolog / Olivier Ridoux ; Patrice Boizumault ; Frédéric Malésieux
A Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs / Ernie Johnson ; C. R. Ramakrishnan ; I. V. Ramakrishnan ; Prasad Rao
The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code / Atsushi Ohori
On Reducing the Search Space of Higher-Order Lazy Narrowing.. / Mircea Marin ; Tetsuo Ida ; Taro Suzuki
Typed Higher-Order Narrowing without Higher-Order Strategies / Sergio Antoy ; Andrew Tolmach
A Semantics for Program Analysis in Narrowing-Based Functional Logic Languages / Michael Hanus ; Salvador Lucas
Author Index
Semantics and Types in Functional Logic Programming / J. C. González-Moreno ; M. T. Hortalá-González ; M. Rodríguez-Artalejo
Polytypic Programming With Ease (Extended Abstract) / Ralf Hinze
Type Inference for Overloading without Restrictions, Declarations or Annotations / Carlos Camarao ; Lucília Figueiredo
3.

図書

図書
Varmo Vene, Tarmo Uustalu (eds.)
出版情報: Berlin ; Tokyo : Springer, c2005  viii, 357 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3622
所蔵情報: loading…
4.

図書

図書
sponsored by ACM SIGPLAN
出版情報: New YorkY. : Association for Computing Machinery, c2008  vi, 91 p. ; 28 cm
所蔵情報: loading…
5.

図書

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

図書

図書
Johan Jeuring, Simon Peyton Jones (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  vi, 211 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2638
所蔵情報: loading…
7.

図書

図書
Yukiyoshi Kameyama, Peter J. Stuckey (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  x, 306 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2998
所蔵情報: loading…
8.

図書

図書
editors, Masato Takeichi, Tetsuo Ida
出版情報: Singapore ; River Edge, N.J. : World Scientific, c1995  x, 329 p. ; 23 cm
所蔵情報: loading…
9.

図書

図書
John Launchbury, Erik Meijer, Tim Sheard, (eds.)
出版情報: Berlin ; Tokyo : Springer, c1996  238 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1129
所蔵情報: loading…
10.

図書

図書
M. Boscarol, L. Carlucci Aiello, G. Levi (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988  iv, 218 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 306
所蔵情報: loading…
目次情報: 続きを見る
An Intensional Theory of Function and Control Abstractions / L. Cardelli
Typechecking Dependent Types and Subtypes / C. Bwhm
Reducing Recursion to Iteration by Means of Pairs and N-tuples / J.-L. Lassez ; M.J. Maher ; K. Marriott
Unification Revisited / C. Zaniolo ; D. Sacc_
Rule Rewriting Methods for Efficient Implementations of Horn logic
Submitted Contributions / P. Miglioli ; U. Moscato ; M. Ornaghi
PAP: A logic Programming System Based on a Constructive Logic / E. Giovannetti ; C. Moiso
A Completeness Result for E-unification Algorithms Based on Conditional Narrowing / N. Guarino
Representing Domain Structure of Many-sorted Prolog Knowledge Bases / A. D'Angelo
Horn: An Inference Engine Prototype to Implement Intelligent Systems / E.G. Omodeo
Hints for the Design of a Set Calculus Oriented to Automated Deduction
An Intensional Theory of Function and Control Abstractions / L. Cardelli
Typechecking Dependent Types and Subtypes / C. Bwhm
Reducing Recursion to Iteration by Means of Pairs and N-tuples / J.-L. Lassez ; M.J. Maher ; K. Marriott
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼