- Record: found
- Abstract: not found
- Book Chapter: not found
Programming Languages and Systems: 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020, Proceedings
A New Refinement Type System for Automated \(\nu \text {HFL}_\mathbb {Z}\) Validity Checking
other
November 24 2020
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references6
- Record: found
- Abstract: not found
- Book Chapter: not found
Horn Clause Solvers for Program Verification
Nikolaj Bjørner, Arie Gurfinkel, Ken McMillan … (2015)
- Record: found
- Abstract: not found
- Book Chapter: not found
Predicate Abstraction and CEGAR for Disproving Termination of Higher-Order Functional Programs
Takuya Kuwahara, Ryosuke Sato, Hiroshi Unno … (2015)
- Record: found
- Abstract: not found
- Book Chapter: not found
A Higher Order Modal Fixed Point Logic
Mahesh Viswanathan, Ramesh Viswanathan (2004)