Game semantics for interface middleweight Java (Q5408446)
From MaRDI portal
scientific article; zbMATH DE number 6282448
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Game semantics for interface middleweight Java |
scientific article; zbMATH DE number 6282448 |
Statements
Game semantics for interface middleweight Java (English)
0 references
10 April 2014
0 references
contextual equivalence
0 references
full abstraction
0 references
game semantics
0 references
Java
0 references
