Static Semantics as Program Transformation and Well-founded Computation.

Stefania Costantini Gaetano Aurelio Lanzarone

Published in: NMELP (1994)

Keyphrases

transformation rules
dynamic analysis
intended meaning
logic programming
static analysis
stable model semantics
declarative semantics
databases
formal semantics
operational semantics
program execution
programming language
control flow
argumentation semantics
programming language constructs