Work

Tail Modulo Cons, OCaml, and Relational Separation Logic — Artifact

Year: 2014

Type: article

Abstract: This is the artifact corresponding to the article "Tail Modulo Cons, OCaml, and Relational Separation Logic". The password for the VM is "user". The artifact is stored in ~/camlcert.

Source: Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.13937564

Author: Allain, Clément

Institution: Institut national de recherche en sciences et technologies du numérique

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W6968074282

FWCI:

Cites:

Cited by:

Related to: