Semantics engineering with PLT Redex (Q3655271)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Semantics engineering with PLT Redex |
scientific article; zbMATH DE number 5654344
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Semantics engineering with PLT Redex |
scientific article; zbMATH DE number 5654344 |
Statements
7 January 2010
0 references
reduction semantics
0 references
semantic models of programming languages
0 references
0.6813329458236694
0 references
0.6741487979888916
0 references
0.6710034012794495
0 references
0.6699957847595215
0 references
0.667805552482605
0 references