Translating Scala Programs to Isabelle/HOL (Q2817953)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Translating Scala Programs to Isabelle/HOL |
scientific article |
Statements
Translating Scala Programs to Isabelle/HOL (English)
0 references
5 September 2016
0 references
Isabelle
0 references
HOL
0 references
Scala
0 references
Leon
0 references
compiler
0 references
