Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 13215)
Included in the following conference series:
Conference proceedings info: FLOPS 2022.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents(15 papers)
Other volumes
-
Functional and Logic Programming
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
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.
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