Istituto di Scienza e Tecnologie dell'Informazione     
Reggio G., Inverardi P., Astesiano E., Giovini A., Mazzanti F., Zucca E. A user manual of the metalanguage for the trial definition. Internal note IEI-B4-27, 1986.
We recall here that the formal definition of a programming language following the chosen methodology is split in two parts: denotational clauses and concurrent algebra definition; this report contains a draft User Manual of metalanguage which is used to describe both parts of the trial definition. The metalanguage consists of a “kernel part” and of a set of derived constructs. These derived constructs offer very compact forms for express frequently used combinations of for kernel constructs. Their semantic is given, whithin the user manual in the paragraphs starting with “Semantics”, simply writing the corresponding combionations of kernel constructs.

Icona documento 1) Download Document PDF
Icona documento 2) Download Document PDF
Icona documento 3) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional