Chih-Hao Luke Ong

From MaRDI portal
Person:5168914

Available identifiers

zbMath Open ong.chih-hao-lukeMaRDI QIDQ5168914

List of research outcomes





PublicationDate of PublicationType
HoCHC: a refutationally complete and semantically invariant system of higher-order logic modulo theories2024-12-19Paper
Fast and correct gradient-based optimisation for probabilistic programming via smoothing2023-11-24Paper
Weak and Nested Class Memory Automata2016-04-08Paper
A traversal-based algorithm for higher-order model checking2014-07-21Paper
Verifying higher-order functional programs with pattern-matching algebraic data types2014-04-10Paper
A type-directed abstraction refinement approach to higher-order model checking2014-04-10Paper
https://portal.mardi4nfdi.de/entity/Q27536902001-12-03Paper

Research outcomes over time

This page was built for person: Chih-Hao Luke Ong

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:5168914&oldid=11361110"
Powered by MediaWiki