Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 13215)
Conference series link(s): FLOPS: International Symposium on Functional and Logic Programming
Conference proceedings info: FLOPS 2022.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (15 papers)
-
Front Matter
-
Back Matter
About this book
This book constitutes the proceedings of the 16th International Symposium on Functional and Logic Programming, FLOPS 2022, held in Kyoto, Japan, in May 2022.
The 12 papers presented in this volume were carefully reviewed and selected from 30 submissions. Additionally, the volume includes two system descriptions and a declarative pearl paper. The papers cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional programming, logic programming, declarative programming, constraint programming, formal method, model checking, program transformation, program refinement, and type theory.
Keywords
- architecture verification and validation
- artificial intelligence
- computer hardware
- computer programming
- computer systems
- distributed computer systems
- distributed systems
- embedded systems
- formal logic
- functional programming
- logic programming
- object-oriented programming
- parallel processing systems
- program compilers
- software architecture
- software design
- software engineering
- software quality
- verification
- verification and validation
Editors and Affiliations
-
Kiel University, Kiel, Germany
Michael Hanus
-
Kyoto University, Kyoto, Japan
Atsushi Igarashi
Bibliographic Information
Book Title: Functional and Logic Programming
Book Subtitle: 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings
Editors: Michael Hanus, Atsushi Igarashi
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-99461-7
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2022
Softcover ISBN: 978-3-030-99460-0Published: 31 March 2022
eBook ISBN: 978-3-030-99461-7Published: 03 May 2022
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVI, 283
Number of Illustrations: 54 b/w illustrations, 14 illustrations in colour
Topics: Software Engineering/Programming and Operating Systems, Artificial Intelligence, Professional Computing, Programming Techniques, Logics and Meanings of Programs, Computer System Implementation