A formalization of Java's concurrent access modes.

John Bender Jens Palsberg

Published in: Proc. ACM Program. Lang. (2019)

Keyphrases

open source
java applets
database access
knowledge representation
object oriented
java programs
access control
lightweight
read write
information access
development environment
distributed object
databases
web applications
source code
byte code
case study