Computers

Functional and Logic Programming

Author: Yukiyoshi Kameyama

Publisher: Springer

ISBN:

Category: Computers

Page: 307

View: 186

This book constitutes the refereed proceedings of the 7th International Symposium on Functional and Logic Programming, FLOPS 2004, held in Nara, Japan, in April 2004. The 18 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 55 submissions. The papers are organized in topical sections on logic and functional-logic programming, applications, program analysis, rewriting, types and modules, logic and semantics, and functional programming.
Computers

Functional and Constraint Logic Programming

Author: Santiago Escobar

Publisher: Springer Science & Business Media

ISBN:

Category: Computers

Page: 179

View: 269

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Workshop on Functional and Constraint Logic Programming, WFLP 2009, held in Brasilia, Brazil, in June 2009 as part of RDP 2009, the Federated Conference on Rewriting, Deduction, and Programming. The 9 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 14 initial workshop contributions. The papers cover current research in all areas of functional and constraint logic programming including typical areas of interest, such as foundational issues, language design, implementation, transformation and analysis, software engineering, integration of paradigms, and applications.
Computers

Functional and Logic Programming

Author: Matthias Blume

Publisher: Springer Science & Business Media

ISBN:

Category: Computers

Page: 355

View: 730

This book constitutes the refereed proceedings of the 10th International Symposium on Functional and Logic Programming, FLOPS 2010, held in Sendai, Japan, in April 2010. The 21 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on types; program analysis and transformation; foundations; logic programming; evaluation and normalization; term rewriting; and parallelism and control.
Computers

Functional and Logic Programming

Author: FUJI INTERNATIONAL SYMPOSIUM ON FUNCTIONAL AND LOG

Publisher: Springer Science & Business Media

ISBN:

Category: Computers

Page: 389

View: 781

This book constitutes the refereed proceedings of the 5th International Symposium on Functional and Logic Programming, FLOPS 2001, held in Tokyo, Japan in March 2001. The 21 revised full papers presented together with three invited papers were carefully reviewed and selected from 40 submissions. The book offers topical sections on functional programming, logic programming, functional logic programming, types, program analysis and transformation, and Lambda calculus.
Computers

Handbook of Programming Languages: Functional and logic programming languages

Author: Peter H. Salus

Publisher: MacMillan Technical Publishing

ISBN:

Category: Computers

Page: 250

View: 263

This handbook covers functional, concurrent and logic programming languages. There are chapters on Emacs LISP, Scheme, Guile, CLOS and Prolog. For each language, information on history, syntax, variables, tips and traps is provided.
Computers

Functional and Logic Programming

Author: John P. Gallagher

Publisher: Springer

ISBN:

Category: Computers

Page: 281

View: 555

This book constitutes the proceedings of the 14th International Symposium on Functional and Logic Programming, FLOPS 2018, held in Nagoya, Japan, in May 2018. The 17 papers presented in this volume were carefully reviewed and selected from 41 submissions. They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional-logic programming, re-writing systems, formal methods and model checking, program transformations and program refinements, developing programs with the help of theorem provers or SAT/SMT solvers, language design, and implementation issues.

Functional and Logic Programming

Author: Masahiko Sato

Publisher: World Scientific

ISBN:

Category:

Page: 324

View: 202

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
Computers

Functional and Logic Programming

Author: FUJI INTERNATIONAL SYMPOSIUM ON FUNCTIONAL AND LOG

Publisher: Springer Science & Business Media

ISBN:

Category: Computers

Page: 389

View: 784

This book constitutes the refereed proceedings of the 5th International Symposium on Functional and Logic Programming, FLOPS 2001, held in Tokyo, Japan in March 2001. The 21 revised full papers presented together with three invited papers were carefully reviewed and selected from 40 submissions. The book offers topical sections on functional programming, logic programming, functional logic programming, types, program analysis and transformation, and Lambda calculus.
Computers

Foundations of Logic and Functional Programming

Author: Mauro Boscarol

Publisher: Springer Science & Business Media

ISBN:

Category: Computers

Page: 218

View: 405

This volume consists of some of the papers that were delivered during the workshop on "Foundations of Logic and Functional Programming" held in Trento, Italy, from December 15th to 19th, 1986. The meeting centered on themes and trends in Functional Programming and in Logic Programming. This book contains five papers contributed by the invited speakers and five selected contributions.
Computers

Functional and Logic Programming

Author: Masami Hagiya

Publisher: Springer Science & Business Media

ISBN:

Category: Computers

Page: 298

View: 388

This book constitutes the refereed proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS 2006, held in Fuji-Susono, Japan, in April 2006. The 17 revised full papers presented together with 2 invited contributions were carefully reviewed and selected from 51 submissions. The papers are organized in topical sections on data types, FP extensions, type theory, LP extensions, analysis, contracts, as well as Web and GUI.