Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), Florence, Italy, September 3-5, 2001
Title | Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), Florence, Italy, September 3-5, 2001 PDF eBook |
Author | |
Publisher | Pearson Education |
Pages | 292 |
Release | 2001 |
Genre | Computer science |
ISBN | 9781581134155 |
Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP'01), Florence, Italy, September 3-5, 2001
Title | Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP'01), Florence, Italy, September 3-5, 2001 PDF eBook |
Author | ACM Special Interest Group on Programming Languages |
Publisher | |
Pages | 277 |
Release | 2001 |
Genre | Functional programming languages |
ISBN |
Functional Programming
Title | Functional Programming PDF eBook |
Author | ACM Special Interest Group on Programming Languages |
Publisher | |
Pages | 277 |
Release | 2001 |
Genre | |
ISBN |
Tools and Algorithms for the Construction and Analysis of Systems
Title | Tools and Algorithms for the Construction and Analysis of Systems PDF eBook |
Author | Jan Friso Groote |
Publisher | Springer Nature |
Pages | 465 |
Release | 2021-03-22 |
Genre | Computers |
ISBN | 3030720136 |
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.
Verification, Model Checking, and Abstract Interpretation
Title | Verification, Model Checking, and Abstract Interpretation PDF eBook |
Author | Dirk Beyer |
Publisher | Springer Nature |
Pages | 484 |
Release | 2020-01-14 |
Genre | Computers |
ISBN | 3030393224 |
This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020. The 21 papers presented in this volume were carefully reviewed from 44 submissions. VMCAI provides a forum for researchers from the communities of verification, model checking, and abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.
Functional and Logic Programming
Title | Functional and Logic Programming PDF eBook |
Author | Jeremy Gibbons |
Publisher | Springer Nature |
Pages | 336 |
Release | |
Genre | |
ISBN | 9819723000 |
Advanced Functional Programming
Title | Advanced Functional Programming PDF eBook |
Author | Johan Jeuring |
Publisher | Springer |
Pages | 223 |
Release | 2004-01-30 |
Genre | Computers |
ISBN | 3540448330 |
This tutorial book presents seven revised lectures given by leading researchers at the 4th International School on Functional Programming, AFP 2002, in Oxford, UK in August 2002.The lectures presented introduce tools, language features, domain-specific languages, problem domains, and programming methods. All lectures contain exercises and practical assignments. The software accompanying the lectures can be accessed from the AFP 2002 Web site. This book is designed to enable individuals, small groups of students, and lecturers to study recent work in the rapidly developing area of functional programming.