MARC details
| 000 -LEADER |
|---|
| fixed length control field |
06045cam a2200673 i 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
on1434256152 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250707095557.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
m o d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr cnu|||unuuu |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
240520s2024 si a o 101 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
GW5XE |
| Language of cataloging |
eng |
| Description conventions |
rda |
| -- |
pn |
| Transcribing agency |
GW5XE |
| Modifying agency |
OCLCO |
| -- |
EBLCP |
| -- |
UKAHL |
| -- |
OCLCQ |
| -- |
OCLCO |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9789819723003 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9819723000 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9789819722990 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-981-97-2300-3 |
| Source of number or code |
doi |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000076674381 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)1434256152 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.62 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UMZ |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM051230 |
| Source |
bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UMZ |
| Source |
thema |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.1/14 |
| Edition number |
23/eng/20240520 |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
International Symposium on Functional and Logic Programming |
| Number of part/section/meeting |
(17th : |
| Date of meeting |
2024 : |
| Location of meeting |
Kumamoto, Japan). |
| 9 (RLIN) |
976209 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Functional and logic programming : |
| Remainder of title |
17th international symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, proceedings / |
| Statement of responsibility, etc. |
Jeremy Gibbons, Dale Miller, editors. |
| 246 30 - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
FLOPS 2024 |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
Singapore : |
| Name of producer, publisher, distributor, manufacturer |
Springer, |
| Date of production, publication, distribution, manufacture, or copyright notice |
[2024] |
| 264 #4 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Date of production, publication, distribution, manufacture, or copyright notice |
©2024 |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (xxvii, 314 pages). |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computer |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
online resource |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science, |
| International Standard Serial Number |
1611-3349 ; |
| Volume/sequential designation |
14659 |
| 500 ## - GENERAL NOTE |
|---|
| General note |
International conference proceedings. |
| 500 ## - GENERAL NOTE |
|---|
| General note |
Includes author index. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
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. |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Online resource; title from PDF title page (SpringerLink, viewed May 20, 2024). |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
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 |
| 505 8# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
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 |
| 505 8# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
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 |
| 505 8# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
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 |
| 505 8# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
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 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Functional programming (Computer science) |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
18733 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logic programming |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
14819 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Programmation fonctionnelle |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
20012 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Programmation logique |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
14820 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
proceedings (reports) |
| Source of term |
aat |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings. |
| Source of term |
lcgft |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Actes de congrès. |
| Source of term |
rvmgf |
| 9 (RLIN) |
609890 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Gibbons, Jeremy, |
| Dates associated with a name |
1966- |
| Relator term |
editor. |
| -- |
https://id.oclc.org/worldcat/entity/E39PCjrQrgHR79Dd4hMw8RtcWC |
| 9 (RLIN) |
16709 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Miller, Dale |
| Fuller form of name |
(Dale A.), |
| Relator term |
editor. |
| -- |
https://id.oclc.org/worldcat/entity/E39PCjG9hQwtyHW7gbCk6jDRjC |
| 9 (RLIN) |
45698 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
14659. |
| International Standard Serial Number |
1611-3349 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/978-981-97-2300-3">https://link.springer.com/10.1007/978-981-97-2300-3</a> |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL31574363 |
| 938 ## - |
|---|
| -- |
Askews and Holts Library Services |
| -- |
ASKH |
| -- |
AH42261060 |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL31344615 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |