Istituto di Scienza e Tecnologie dell'Informazione     
Fantechi A., Gnesi S., Inverardi P. An execution environment for language formal definitions. Internal note IEI-B4-68, 1986.
In this work we describe an enviroment for the execution of the formal definitions of concurrent languages. The proposal applies to formal definitions given using the SMoLCS method; the execution environment is obtained by expressing in Prolog the main parts in which the formal definition is structured, namely the denotational c1auses and the concurrent algebra. The advantages of the logic programming approach are discussed especially with respect to novel techniques like metaprogramming which allow to provide a wide range of execution strategies. The method is applied on a simple concurrent language showing the use of the available environment functionalities.

Icona documento 1) 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