Ribbit - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
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.
81 Consultations
10 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More