David A. Vanhorn

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
Introspective pushdown analysis of higher-order programs	2014-07-21	Paper
Relating complexity and precision in control flow analysis	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: David A. Vanhorn