Amazon cover image
Image from Amazon.com

Functional and logic programming : 17th international symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, proceedings / Jeremy Gibbons, Dale Miller, editors.

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 14659.Publisher: Singapore : Springer, [2024]Copyright date: ©2024Description: 1 online resource (xxvii, 314 pages)Content type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9789819723003
  • 9819723000
Other title:
  • FLOPS 2024
Subject(s): Genre/Form: DDC classification:
  • 005.1/14 23/eng/20240520
LOC classification:
  • QA76.62
Online resources:
Contents:
Intro -- Preface -- Organization -- Abstracts of Invited Talks -- Verse: A New Functional Logic Language -- Continuations from Three Angles -- Verification of Refactoring in Answer Set Programming -- Contents -- Extended Abstract -- Algebraic Connection Between Logic Programming and Machine Learning (Extended Abstract) -- 1 Introduction -- 2 Linear Algebraic Approaches to Logic Programming -- 3 Differentiable Approaches to Logic Programming -- References -- Rewriting -- ACGtk: A Toolkit for Developing and Running Abstract Categorial Grammars -- 1 Introduction -- 2 Abstract Categorial Grammars
3 Properties -- 3.1 Expressive Power -- 3.2 ACG Composition -- 3.3 Parsing with Abstract Categorial Grammars and Datalog Reduction -- 4 ACGtk -- 5 Notable Implementation Features -- 5.1 Datalog Evaluation, Tabular Parsing and Shared Forest -- 5.2 Magic Set Rewriting -- 6 Related Work -- 7 Conclusion -- A Typing Rules -- References -- Term Evaluation Systems with Refinements: First-Order, Second-Order, and Contextual Improvement -- 1 Introduction -- 1.1 Examples of TES and TERS -- 2 Preliminaries -- 3 First-Order Term Evaluation and Refinement Systems
4 Critical Pair Analysis for Local Coherence -- 5 Second-Order Term Evaluation and Refinement Systems -- 6 Second-Order Critical Pair Analysis for Local Coherence -- 7 Related Work -- 8 Conclusion and Future Work -- A Omitted Proofs -- A.1 Proofs for Sect. 3 and Sect. 4 -- A.2 The TERS Nats -- A.3 On Linearity Conditions -- A.4 Proofs for Sect. 5 and Sect. 6 -- A.5 The TERS CBV""115 and Hndl -- B Critical Pair Analysis of Hndl by Our Prototype Analyzer -- B.1 Definition of TERS Hndl -- B.2 Local Coherence Check -- References
A Complete Dependency Pair Framework for Almost-Sure Innermost Termination of Probabilistic Term Rewriting -- 1 Introduction -- 2 The DP Framework -- 3 Probabilistic Annotated Dependency Pairs -- 4 The ADP Framework -- 5 Transforming ADPs -- 6 Conclusion and Evaluation -- References -- Algebra -- Tabulation with Zippers -- 1 Introduction -- 2 Zipper Tabulation of Functions on Trees -- 2.1 Efficient Zipper-Based Attribute Grammars -- 3 Zip with Zipper -- 3.1 zipWithZipper -- 3.2 Tying the Knot -- 3.3 A Generic Zipper Instance of zipWithZipper -- 3.4 A Generic Table
4 The Expression Language Revisited -- 5 Performance -- 6 Related Work -- 7 Conclusions -- References -- Declarative Pearl: Rigged Contracts -- 1 Introduction -- 2 The Contract Library -- 2.1 Acquisition Date and Expiry Date -- 2.2 Discount Bonds -- 2.3 Composing Contracts -- 3 Instant Semiring, Just Add Expired -- 3.1 Definition of a Semiring -- 3.2 The Contract Semiring -- 3.3 Beyond Semirings: Groups -- 4 Denotational Semantics: Expiry Date and Worth -- 4.1 A Contract's Expiry Date -- 4.2 The Bottom Line -- 4.3 Comparison with the Original -- 4.4 Executable Semantics -- 5 Conclusion
Summary: This book constitutes the proceedings of the 17th International Symposium on Functional and Logic Programming, FLOPS 2024, held in Kumamoto, Japan, in May 2024. The 15 papers presented in this volume were carefully reviewed and selected from 28 submissions. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS speci cally aims to promote cross-fertilization between theory and practice and among di erent styles of declarative programming.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

International conference proceedings.

Includes author index.

This book constitutes the proceedings of the 17th International Symposium on Functional and Logic Programming, FLOPS 2024, held in Kumamoto, Japan, in May 2024. The 15 papers presented in this volume were carefully reviewed and selected from 28 submissions. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS speci cally aims to promote cross-fertilization between theory and practice and among di erent styles of declarative programming.

Online resource; title from PDF title page (SpringerLink, viewed May 20, 2024).

Intro -- Preface -- Organization -- Abstracts of Invited Talks -- Verse: A New Functional Logic Language -- Continuations from Three Angles -- Verification of Refactoring in Answer Set Programming -- Contents -- Extended Abstract -- Algebraic Connection Between Logic Programming and Machine Learning (Extended Abstract) -- 1 Introduction -- 2 Linear Algebraic Approaches to Logic Programming -- 3 Differentiable Approaches to Logic Programming -- References -- Rewriting -- ACGtk: A Toolkit for Developing and Running Abstract Categorial Grammars -- 1 Introduction -- 2 Abstract Categorial Grammars

3 Properties -- 3.1 Expressive Power -- 3.2 ACG Composition -- 3.3 Parsing with Abstract Categorial Grammars and Datalog Reduction -- 4 ACGtk -- 5 Notable Implementation Features -- 5.1 Datalog Evaluation, Tabular Parsing and Shared Forest -- 5.2 Magic Set Rewriting -- 6 Related Work -- 7 Conclusion -- A Typing Rules -- References -- Term Evaluation Systems with Refinements: First-Order, Second-Order, and Contextual Improvement -- 1 Introduction -- 1.1 Examples of TES and TERS -- 2 Preliminaries -- 3 First-Order Term Evaluation and Refinement Systems

4 Critical Pair Analysis for Local Coherence -- 5 Second-Order Term Evaluation and Refinement Systems -- 6 Second-Order Critical Pair Analysis for Local Coherence -- 7 Related Work -- 8 Conclusion and Future Work -- A Omitted Proofs -- A.1 Proofs for Sect. 3 and Sect. 4 -- A.2 The TERS Nats -- A.3 On Linearity Conditions -- A.4 Proofs for Sect. 5 and Sect. 6 -- A.5 The TERS CBV""115 and Hndl -- B Critical Pair Analysis of Hndl by Our Prototype Analyzer -- B.1 Definition of TERS Hndl -- B.2 Local Coherence Check -- References

A Complete Dependency Pair Framework for Almost-Sure Innermost Termination of Probabilistic Term Rewriting -- 1 Introduction -- 2 The DP Framework -- 3 Probabilistic Annotated Dependency Pairs -- 4 The ADP Framework -- 5 Transforming ADPs -- 6 Conclusion and Evaluation -- References -- Algebra -- Tabulation with Zippers -- 1 Introduction -- 2 Zipper Tabulation of Functions on Trees -- 2.1 Efficient Zipper-Based Attribute Grammars -- 3 Zip with Zipper -- 3.1 zipWithZipper -- 3.2 Tying the Knot -- 3.3 A Generic Zipper Instance of zipWithZipper -- 3.4 A Generic Table

4 The Expression Language Revisited -- 5 Performance -- 6 Related Work -- 7 Conclusions -- References -- Declarative Pearl: Rigged Contracts -- 1 Introduction -- 2 The Contract Library -- 2.1 Acquisition Date and Expiry Date -- 2.2 Discount Bonds -- 2.3 Composing Contracts -- 3 Instant Semiring, Just Add Expired -- 3.1 Definition of a Semiring -- 3.2 The Contract Semiring -- 3.3 Beyond Semirings: Groups -- 4 Denotational Semantics: Expiry Date and Worth -- 4.1 A Contract's Expiry Date -- 4.2 The Bottom Line -- 4.3 Comparison with the Original -- 4.4 Executable Semantics -- 5 Conclusion

Powered by Koha