Sciweavers

69
Voted
JUCS
2008
117views more  JUCS 2008»
14 years 8 months ago
Disentangling Denotational Semantics Definitions
Abstract: Denotational semantics is a powerful technique to formally define programming languages. However, language constructs are not always orthogonal, so many semantic equation...
Fabio Tirelo, Roberto da Silva Bigonha, Joã...