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

  • Make first proposals.
  • Settle full HLL semantics.
  • co-develop a (some?) standard syntax(es?) for these.
  • Find out how multiple type systems can be made compatible...
  • Find some nice semantics for annotations...
  • 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