Functional and logic programming : 4th Fuji International Symposium, FLOPS '99, Tsukuba, Japan, November 11-13, 1999 : proceedings

>> Google Books

所蔵情報QRコード

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 <BA00009279>

著者名:

ISBN:

9783540666776 [354066677X]

書誌ID:

BA4396036X

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:

Includes bibliographical references and index

著者名ヨミ:

サトウ, タイスケ

主題:

Functional programming (Computer science)--Congresses; Logic programming--Congresses

言語:

英語

目次情報:

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

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

続きを見る

東工大ブックレビュー

類似資料:

1 図書 Functional and logic programming : 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : proceedings Fuji International Symposium on Functional and Logic Programming, Hu, Zhenjiang, 1966-, Rodríguez Artalejo, M. (Mario) Springer	7 電子ブック Functional and Logic Programming Aart Middeldorp, Sato, Taisuke SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
2 図書 Functional and logic programming : 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings FLOPS, Kuchen, Herbert R., 1958-, 上田, 和紀(1956-) Springer	8 図書 Advanced functional programming : Second International School, Olympia, WA, USA, August 26-30, 1996 : tutorial text International Spring School on Advanced Functional Programming Techniques, Launchbury, John, Meijer, Erik, 1963-, … Springer
3 図書 Functional and logic programming : 7th International Symposium, FLOPS 2004, Nara, Japan, April, 7-9, 2004 : proceedings Fuji International Symposium on Functional and Logic Programming, Kameyama, Yukiyoshi, Stuckey, Peter J. Springer	9 図書 Advanced functional programming : 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002 : revised lectures International Spring School on Advanced Functional Programming Techniques, Jeuring, Johan, 1965-, Peyton Jones, Simon … Springer
4 図書 Fuji International Workshop on Functional and Logic Programming : Susono, Japan, July 17-19, 1995 Fuji International Workshop on Functional and Logic Programming, 武市, 正人(1948-), 井田, 哲雄(1947-) World Scientific	10 図書 Logic for programming and automated reasoning : 6th International Conference, LPAR '99, Tbilisi, Georgia, September 6-10, 1999 : proceedings LPAR, Ganzinger, Harald, 1950-, McAllester, David A., Voronkov, A. (Andreĭ), 1959- Springer-Verlag
5 学位論文 Declarative logic programming 佐藤, 泰介東京工業大学	11 図書 Logic-based program synthesis and transformation : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 : selected papers International Workshop on Logic Program Synthesis and Transformation, Bossi, Annalisa, 1948- Springer
6 図書 Logic programming and nonmonotonic reasoning : 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 : proceedings LPNMR, Gelfond, Michael, Leone, Nicola, Pfeifer, Gerald Springer	12 図書 Functional and logic programming : 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006 : proceedings 萩谷, 昌己(1957-), Wadler, Philip, FLOPS Springer