An execution environment for language formal definitions

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.