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

The MOCK paradigm for object semantics:
we have meta(n) constructors and destructors.

   I'd like for instance, to say that object K is to be observed with
a set of observable O, and that its semantics is that the set of
possible modifications is M. Then, I don't care how it is implemented,
but I wish it be as efficient as possible as for cost function C.
   The semantical relations between M,O,C,K should be specifiable in
a language as expressible as possible: it shall include higher-order
logic as well as notions of time, space and communication cost,
and to allow implementation and interfacing of low-level objects,
it should also include as complete low-level machine descriptions as
possible.
   The specification could make the semantical relations explicit,
and let the computer find implementations. Or it could propose an
implementation, and let the computer find the abstract semantics
it understands. Or (ideally) it would give enough of both so that
program execution as well as program manipulation are easy.
   In any case, given these M,O,C,K semantics,
everything is allowed to the system, and the way to express them
is the calling convention. If better ways to express them are found,
the calling convention will be changed, and hopefully, some translator
is expressible in both calling conventions, so that the whole system
may be translated on the fly.
   Pretty high-level isn't it ?


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