A type and effect system for deadlock avoidance in low-level languages.

Prodromos Gerakios Nikolaos Papaspyrou Konstantinos Sagonas

Published in: TLDI (2011)

Keyphrases

low level
high level
higher level
type checking
expressive power
visual features
low level features
lower level
visual cues
databases
artificial intelligence
semantic web
mid level