Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by JStrother Moore
A Mechanically Verified Language Implementation
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Related publications
Ledger Design Language: Designing and Deploying Formally Verified Public Ledgers
A Formally Verified NAT Stack
Rust as a Language for High Performance GC Implementation
ACM SIGPLAN Notices
Computer Science
Versat: A Verified Modern SAT Solver
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
AMPL: Design, Implementation, and Evaluation of a Multiprocessing Language
Software Engineering Aspects in Language Implementation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Towards a Verified OR-Parallel WAM
A Simple, Verified Validator for Software Pipelining
ACM SIGPLAN Notices
Computer Science
Toward a Verified Relational Database Management System
ACM SIGPLAN Notices
Computer Science
