Login / Signup
Late Adaptation of Method Invocation Semantics.
Markus Hof
Published in:
Ershov Memorial Conference (1999)
Keyphrases
</>
method invocation
garbage collection
concurrency control
java card
formal semantics
open source