A Mechanically Verified Language Implementation

Journal of Automated Reasoning - Netherlands
doi 10.1007/bf00243133
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Ledger Design Language: Designing and Deploying Formally Verified Public Ledgers

2018English

A Formally Verified NAT Stack

2018English

Rust as a Language for High Performance GC Implementation

ACM SIGPLAN Notices
Computer Science
2018English

Versat: A Verified Modern SAT Solver

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

AMPL: Design, Implementation, and Evaluation of a Multiprocessing Language

1981English

Software Engineering Aspects in Language Implementation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1989English

Towards a Verified OR-Parallel WAM

1994English

A Simple, Verified Validator for Software Pipelining

ACM SIGPLAN Notices
Computer Science
2010English

Toward a Verified Relational Database Management System

ACM SIGPLAN Notices
Computer Science
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy