5 search results for "tag:"category: Computer Science/Semantics and Compilation/Compilation""

Showing 1 - 5

coq-distributed-reference-counting

No documentation

A Construction of Distributed Reference Counting

keyword: garbage collection keyword: distributed algorithms category: Computer Science/Semantics and Compilation/Compilation category: Computer Science/Concurrent Systems and Protocols/Correctness of specific protocols

Luc Moreau, Jean Duprat

8.10.0

LGPL 2.1

Used by 0 other packages

07 Dec 2019
coq-gc

No documentation

Formal Verification of an Incremental Garbage Collector

keyword: Linear temporal logic keyword: finite sets keyword: co-induction keyword: garbage collection category: Computer Science/Semantics and Compilation/Compilation date: 2003-05-9

Solange Coupet-Grimal and Catherine Nouvet

8.10.0

Unknown

Used by 0 other packages

07 Dec 2019
coq-mini-compiler

No documentation

Correctness of a tiny compiler for arithmetic expressions

keyword: compilation keyword: correctness keyword: arithmetic category: Computer Science/Semantics and Compilation/Compilation date: 2003

Jean-Christophe Filliâtre

8.10.0

LGPL 2.1

Used by 0 other packages

07 Dec 2019
coq-miniml

No documentation

Correctness of the compilation of Mini-ML into the Categorical Abstract Machine

keyword: functional programming keyword: Categorical Abstract Machine keyword: compilation keyword: natural semantics category: Computer Science/Semantics and Compilation/Compilation

Samuel Boutin

8.10.0

LGPL 2.1

Used by 0 other packages

07 Dec 2019
coq-relation-extraction

No documentation

Functions extraction from inductive relations

keyword: extraction keyword: inductive relations keyword: semantics category: Computer Science/Semantics and Compilation/Compilation date: 2011

Catherine Dubois, David Delahaye, Pierre-Nicolas Tollitte

8.8.0

Unknown

Used by 0 other packages

06 Feb 2019