Functional and Logic Programming Functional and Logic Programming

Functional and Logic Programming

17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings

    • US$59.99
    • US$59.99

출판사 설명

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.

장르
컴퓨터 및 인터넷
출시일
2024년
5월 16일
언어
EN
영어
길이
347
페이지
출판사
Springer Nature Singapore
판매자
Springer Nature B.V.
크기
47.2
MB
Trends in Functional Programming Trends in Functional Programming
2025년
Bidirectional Transformations Bidirectional Transformations
2018년
Integrated Formal Methods Integrated Formal Methods
2007년
Teaching Formal Methods Teaching Formal Methods
2009년