Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Brian Huffman
HOLCF '11: A Definitional Domain Theory for Verifying Functional Programs
Related publications
A System for Incrementally Designing and Verifying Programs, Volume 1
Verifying Networked Programs Using a Model Checker Extension
Verifying Message-Passing Programs With Dependent Behavioural Types
Verifying a Compiler for Java Threads
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Ζ-Semantics: A Comprehensive Semantics for Functional Programs
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
On the Completeness of Verifying Message Passing Programs Under Bounded Asynchrony
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Relational Cost Analysis for Functional-Imperative Programs
Proceedings of the ACM on Programming Languages
Verifying Functional Properties of Smart Contracts Using Symbolic Model-Checking
Proceedings of the Institute for System Programming of the RAS
Decomposition Principle for Linear Fractional Functional Programs
Revue française d'informatique et de recherche opérationnelle
