Process and Term Tile Logic

Process and Term Tile Logic (1998)

by Roberto Bruni , José Meseguer , Ugo Montanari

Citations:

32 - 24 self

User correction supplied by mph

Datum	Value	Source
TITLE	Process and Term Tile Logic	user correction - Legacy Corrections
AUTHOR NAME	Roberto Bruni	user correction
AUTHOR AFFIL		user correction
AUTHOR NAME	José Meseguer	user correction
AUTHOR NAME	Ugo Montanari	user correction
AUTHOR AFFIL		user correction
ABSTRACT	In a similar way as 2-categories can be regarded as a special case of double categories, rewriting logic (in the unconditional case) can be embedded into the more general tile logic, where also side-effects and rewriting synchronization are considered. Since rewriting logic is the semantic basis of several language implementation efforts, it is useful to map tile logic back into rewriting logic in a conservative way, to obtain executable specifications of tile systems. We extend the results of earlier work by two of the authors, focusing on some interesting cases where the mathematical structures representing configurations (i.e., states) and effects (i.e., observable actions) are very similar, in the sense that they have in common some auxiliary structure (e.g., for tupling, projecting, etc.). In particular, we give in full detail the descriptions of two such cases where (net) process-like and usual term structures are employed. Corresponding to these two cases, we introduce two ca...	user correction - Legacy Corrections
YEAR	1998	user correction
CITATIONS	66 found	ParsCit 1.0