close
1.

図書
図書
1. Processes, terms and cycles : steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday
Aart Middeldorp ... [et al.] (eds.)
出版情報: Berlin : Springer, c2005  xviii, 638 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3838
所蔵情報: loading…
2.

図書
図書
2. Functional and logic programming : 4th Fuji International Symposium, FLOPS '99, Tsukuba, Japan, November 11-13, 1999 : proceedings
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.

図書
図書
3. Rewriting techniques and applications : 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings
Aart Middeldorp (ed.)
出版情報: Berlin : Springer, c2001  xii, 361 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2051
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Computing and Proving / Henk Barendregt
Rewriting for Deduction / Verification ; Michael Rusinowitch
Regular Papers
Universal Interaction Systems with Only Two Agents / Denis Bechet
General Recursion on Second Order Term Algebras / Alessandro Berarducci ; Corrado Bohm
Beta Reduction Constraints / Manuel Bodirsky ; Katrin Erk ; Alexander Koller ; Joachim Niehren
From Higher-Order to First-Order Rewriting / Eduardo Bonelli ; Delia Kesner ; Alejandro Ríos
Combining Pattern E-Unification Algorithms / Alexandre Boudet ; Evelyne Contejean
Matching Power / Horatiu Cirstea ; Claude Kirchner ; Luigi Liquori
Dependency Pairs for Equational Rewriting / Jurgen Giesl ; Deepak Kapur
Termination Proofs by Context-Dependent Interpretations / Dieter Hofbauer
Uniform Normalisation beyond Orthogonality / Zurab Khasidashvili ; Mizuhito Ogawa ; Vincent van Oostrom
Verifying Orientability of Rewrite Rules Using the Knuth-Bendix Order / Konstantin Korovin ; Andrei Voronkov
Relating Accumulative and Non-accumulative Functional Programs / Armin Kuhnemann ; Robert Gluck ; Kazuhiko Kakehi
Context Unification and Traversal Equations / Jordi Levy ; Mateu Villaret
Weakly Regular Relations and Applications / Sebastien Limet ; Pierre Rety ; Helmut Seidl
On the Parallel Complexity of Tree Automata / Markus Lohrey
Transfinite Rewriting Semantics for Term Rewriting Systems / Salvador Lucas
Goal-Directed E-Unification / Christopher Lynch ; Barbara Morawska
The Unification Problem for Confluent Right-Ground Term Rewriting
Systems / Michio Oyamaguchi ; Yoshikatsu Ohta
On Termination of Higher-Order Rewriting / Femke van Raamsdonk
Matching with Free Function Symbols - A Simple Extension of Matching? / Christophe Ringeissen
Deriving Focused Calculi for Transitive Relations / Georg Struth
A Formalised First-Order Confluence Proof for the ?-Calculus Using One-Sorted Variable Names (Barendregt Was Right after all ... almost) / Rene Vestergaard ; James Brotherston
A Normal Form for Church-Rosser Language Systems / Jens R. Woinowski
Confluence and Termination of Simply Typed Term Rewriting Systems / Toshiyuki Yamada
System Descriptions
Parallel Evaluation of Interaction Nets with MPINE / Jorge Sousa Pinto
Stratego: A Language for Program Transformation Based on Rewriting Strategies (System Description of Stratego 0.5) / Eelco Visser
Author Index
Invited Talks
Computing and Proving / Henk Barendregt
Rewriting for Deduction / Verification ; Michael Rusinowitch
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼