Ribbit - Inria - Institut national de recherche en sciences et technologies du numérique
Logiciel Année : 2022

Ribbit

Résumé

Ribbit is a compiler for pattern languagescwith algebraic data types which is parameterized by the memory representation of types. Given a memory representation, it generates efficient and correct code for pattern matching clauses.
113 Consultations
15 Téléchargements

Partager

More