The Tunes HLL Subproject

(Last modified Saturday January 21th 1995)


Contents of the HLL Subproject

Here are the current contents of this HLL project:
  • Firstly, the goals of the subproject
  • Second, the requirements for this HLL's semantics
  • Thirdly, a review of existing languages (including reasons to have a new one, and how it should compare to these)
  • Then, a first sketch of the HLL semantics
  • Still no syntax
  • Even less examples
  • Not to talk about actual implementation code !
  • However, there is already a list of Sub-Subprojects below the HLL.

    As you see, the HLL subproject is still in a draft process :(
    Feel free to contribute !

    You may also want to look at other related works (including languages that were intended) or go back to the main Tunes page, or to the Tunes Subproject page.


    Subproject Goals

    The goals of this HLL Subproject are
  • to find a High-Level Language that will fulfill all the semantical requirements to be used as the standard language for Tunes;
  • if no such language exists yet, to design yet a new one for this purpose
  • After having found the language, to implement it inside the Tunes system.
  • Support that language and its implementations.
  • write tools and documentation to help that language develop.


    To Do on this page

  • Find all HLL requirements.
  • Find all conceptual problems.
  • Identify possible candidates (languages) and state their virtues and shortcomings.
  • Make first proposals for such languages or a new one.
  • Divide into subfiles.
  • Define separately semantics & syntax
  • Find out how multiple type systems can be made compatible...
  • Find some nice semantics for annotations...
  • Separate annotation mechanisms from annotation resolving policies...
  • Add pointers to both original page and local copy


    Back to the Tunes Home page.


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