CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
  Home  \  Prototypes  \  Prototype Page Login  
banner bottom
File Top
SOS tool - A language for specifying and visualizing operational semantics

Within the context of the DSLTrans Transformation tool, this add on plugin for Eclipse, based on the work of Gorden Plotkin, is intended to allow for the specification and analysis of semantics of the DSLs being designed by means of inference rules in algebraic domain. The analysis occurs in the domain of transition systems. The analysis generates, for an arbritary sentence in a given language, the corresponding transition system graph in GraphViz.

Authors: Bruno Barroca, Vasco Amaral
File Bottom