The Tunes HLL Semantics


General concepts



Standard Basic constructors

The HLL provides a set of basic constructors. This set should enable it to emulate any kind of other set of constructors.


Standard Library of language extensions



Semantic Difficulties


To Do on this page

  • Complete the semantics.
  • Detail the rules to prove programs.
  • Map each constructor to all its syntaxes.
  • Find out how multiple type systems can be made compatible...
  • Separate annotation mechanisms from annotation resolving policies...
  • Find out how to separate or merge the "useful/administrative" or "in context/out of context" information.
  • Wait for feedback, as usual.


    Back to the Tunes HLL Subproject.


    Page Maintainer:
    Faré -- rideau@clipper.ens.fr