Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Kazutaka Matsuda
Pairwise Reachability Analysis for Higher Order Concurrent Programs by Higher-Order Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Exploiting Reachability and Cardinality in Higher-Order Flow Analysis
Journal of Functional Programming
Software
On Global Model Checking Trees Generated by Higher-Order Recursion Schemes
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Checking Concurrent Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Essence of Higher-Order Concurrent Separation Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Analysing the Complexity of Functional Programs: Higher-Order Meets First-Order
ACM SIGPLAN Notices
Computer Science
Modular Verification of Higher-Order Methods With Mandatory Calls Specified by Model Programs
ACM SIGPLAN Notices
Computer Science
Modular Verification of Higher-Order Methods With Mandatory Calls Specified by Model Programs
Higher Education—Educating for Higher Order Skills
Creative Education
Higher-Order Containers
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
