Functional and Logic Programming

Functional and Logic Programming

Author: Masahiko Sato

Publisher: World Scientific

ISBN: 9789814545167

Category:

Page: 324

View: 900

This book discusses issues concerning functional programming, logic programming, and integration of the two. The topics include language design, formal semantics, type theory, compilation techniques, program transformation, programming methods, integration of programming paradigms, constraint solving, and distributed computation. Contents:λ-Representable Functions Over Free Structures Revisited (M Takahashi)Computing with Abstract Böhm Trees (P-L Curien & H Herbelin)Postponing Redex Contractions in Equational Programs (N Nedjah)Towards Manipulation of Mutually Recursive Functions (H Iwasaki et al)Distributed Haskell: Goffin on the Internet (M M T Chakravarty et al)Prological Features in a Functional Setting Axioms and Implementations (R Hinze)On the Semantics of GAEA (H Ishikawa et al)A Functional View of Rewriting and Strategies for a Semantics of ELAN (P Borovanský)Rewriting Logic for Cyclic Sharing Structures (Extended Abstract) (H Miyoshi)Categorical Model Construction for Proving Syntactic Properties (T Sakurai)A Type Theory for Cyclic Structure (I Takeuti)Type-Free Equational Reasoning in the Theory of Inductively Defined Types (Y Tsukada)Semantics Modifiers: An Approach to Non-Standard Semantics of Programming Languages (S Abramov & R Glück)Online Type-Directed Partial Evaluation (O Danvy)Two-Stage Programming (E F A Lederer & R A Dumitrescu) Readership: Graduate students in the theoretical foundations of computer science. Keywords:Computing;Equational Programs;Distributed Haskell;Reasoning;Programming Languages;Theoretical Foundations
Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning
Language: en
Pages: 520

Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning

Authors: International Conference on Principles of Knowledge Representation and, International Conference on Principles of Knowledge Representation and Reasoning (1, 1989, Toronto)
Categories: Philosophy
Type: BOOK - Published: 1989 - Publisher: Morgan Kaufmann Pub

Proceedings held May 1989. Topics include temporal logic, hierarchical knowledge bases, default theories, nonmonotonic and analogical reasoning, formal theories of belief revision, and metareasoning. Annotation copyright Book News, Inc. Portland, Or.
Logic Program Synthesis and Transformation - Meta-Programming in Logic
Language: en
Pages: 458

Logic Program Synthesis and Transformation - Meta-Programming in Logic

Authors: Laurent Fribourg, Franco Turini
Categories: Computers
Type: BOOK - Published: 1994-11-30 - Publisher: Springer Science & Business Media

This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program Synthesis and Transformation (LOPSTR '94) and on Meta-Programming (META '94), held jointly in Pisa, Italy in June 1994. This book includes thoroughly revised versions of the best papers presented at both workshops. The main topics addressed
Computing Methods in Applied Sciences and Engineering, 1977. Third International Symposium, December 5-9, 1977, IRIA LABORIA, Institut de Recherche d`Informatique et d`Automatique
Language: en
Pages: 396

Computing Methods in Applied Sciences and Engineering, 1977. Third International Symposium, December 5-9, 1977, IRIA LABORIA, Institut de Recherche d`Informatique et d`Automatique

Authors: R. Glowinski, J.L. Lions
Categories: Mathematics
Type: BOOK - Published: 2006-11-15 - Publisher: Springer

Books about Computing Methods in Applied Sciences and Engineering, 1977. Third International Symposium, December 5-9, 1977, IRIA LABORIA, Institut de Recherche d`Informatique et d`Automatique
Logic for Programming, Artificial Intelligence, and Reasoning
Language: en
Pages: 744

Logic for Programming, Artificial Intelligence, and Reasoning

Authors: Geoff Sutcliffe, Andrei Voronkov
Categories: Computers
Type: BOOK - Published: 2005-11-24 - Publisher: Springer

This book constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2005, held in Montego Bay, Jamaica in December 2005. The 46 revised full papers presented together with abstracts of 3 invited talks were carefully reviewed and selected from 108 full
Constraints and Databases
Language: en
Pages: 192

Constraints and Databases

Authors: Raghu Ramakrishnan, Peter Stuckey
Categories: Computers
Type: BOOK - Published: 1997-12-31 - Publisher: Springer Science & Business Media

Constraints and Databases contains seven contributions on the rapidly evolving research area of constraints and databases. This collection of original research articles has been compiled as a tribute to Paris C. Kanellakis, one of the pioneers in the field. Constraints have long been used for maintaining the integrity of databases.