Dynamic denotational semantics of Java

Book chapter

Dynamic denotational semantics of Java

J Alves-Foss and FS Lam

Formal syntax and semantics of Java, pp.201-240

01/01/2002

Metrics

1 Record Views

Details

Title: Dynamic denotational semantics of Java
Creators: J Alves-Foss
FS Lam
Publication Details: Formal syntax and semantics of Java, pp.201-240
Identifiers: 997017231801851
Academic Unit: Computer Science
Language: English
Resource Type: Book chapter