William R. Cook

Available identifiers

zbMath Open cook.william-rMaRDI QIDQ935475

List of research outcomes

Publication	Date of Publication	Type
Binary-Compatible Verification of Filesystems with ACL2	2023-02-03	Paper
Separation logic-based verification atop a binary-compatible filesystem model	2021-07-08	Paper
A virtual class calculus	2017-08-21	Paper
Extracting queries by static analysis of transparent persistence	2014-09-12	Paper
Functional programming with structured graphs	2014-07-21	Paper
MRI: Modular reasoning about interference in incremental programming	2013-06-28	Paper
Theory and Techniques for Synthesizing Efficient Breadth-First Search Algorithms	2012-11-08	Paper
A Class of Greedy Algorithms and Its Relation to Greedoids	2010-08-31	Paper
The Orc Programming Language	2009-06-26	Paper
A timed semantics of Orc	2008-08-06	Paper
A Language for Task Orchestration and Its Semantic Properties	2007-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q4855348	1996-04-16	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: William R. Cook