An Algebraic Approach to Compiler Design [Anglais] [Relié]

above  address  algebraic  allows  application  approach  arbitrary  assignment  between  bound  case  chapter  command  compilation  compiler  composition  condition  control  correctness  data  dec  declaration  define  defined  definition  does  elimination  empty  end  equations  example  expressions  false  final  first  following  form  free  function  general  given  guarded  instructions  iteration  language  lattice  laws  least  lemma  lhs  list  local  machine  may  module  need  normal  obj3  operators  parameters  particular  phase  possible  predicate  previous  procedures  process  program  proof  reasoning  recursion  reduction  refinement  result  rhs  rule  scope  section  semantics  set  simple  simulation  skip  source  specification  stack  state  system  target  terms  theorem  therefore  transformation  true  two  use  used  value  var  variables