David van Horn

Available identifiers

zbMath Open vanhorn.david-aMaRDI QIDQ2802429

List of research outcomes

Publication	Date of Publication	Type
Constructive Galois Connections	2019-11-22	Paper
Higher order symbolic execution for contract verification and refutation	2017-10-23	Paper
Constructive Galois connections: taming the Galois connection framework for mechanized metatheory	2017-05-10	Paper
Pushdown control-flow analysis for free	2016-10-24	Paper
Soft contract verification	2016-09-29	Paper
Running Probabilistic Programs Backwards	2016-04-26	Paper
Optimizing abstract abstract machines	2015-03-30	Paper
Deciding k CFA is complete for EXPTIME	2015-03-16	Paper
Abstracting abstract machines	2015-03-05	Paper
Pushdown flow analysis with abstract garbage collection	2014-08-14	Paper
Relating complexity and precision in control flow analysis	2014-07-21	Paper
Introspective pushdown analysis of higher-order programs	2014-07-21	Paper
Systematic abstraction of abstract machines	2012-10-29	Paper
Flow Analysis, Linearity, and PTIME	2008-08-28	Paper
Types and trace effects of higher order programs	2008-03-27	Paper
Free-decay time-domain modal identification for large space structures	1994-11-01	Paper

Research outcomes over time

This page was built for person: David van Horn