A Java Inspired Semantics for Transactions in SOC.

Laura Bocchi Emilio Tuosto

Published in: TGC (2010)

Keyphrases

formal semantics
programming language
database
low power
logic programming
lightweight
correctness criterion
databases
object oriented
semantic information
source code
concurrency control
low cost
power consumption
cross platform