Scallina: translating verified programs from Coq to Scala (Q6166140)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7721429
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Scallina: translating verified programs from Coq to Scala |
scientific article; zbMATH DE number 7721429 |
Statements
Scallina: translating verified programs from Coq to Scala (English)
0 references
2 August 2023
0 references
formal methods
0 references
functional programming
0 references
compiler
0 references
Coq
0 references
Scala
0 references
0.883516788482666
0 references
0.79537433385849
0 references
0.7472639083862305
0 references
0.7364668250083923
0 references
