Sciweavers

2 search results - page 1 / 1
» Adding Control-Flow to a Visual Data-Flow Representation
Sort
View
IWPC
2005
IEEE
14 years 1 months ago
Adding Control-Flow to a Visual Data-Flow Representation
Previous studies have shown that novices do not tend to extract or use data-flow information during program comprehension. However, for impact analysis and similar tasks, data-ï¬...
David Dearman, Anthony Cox, Maryanne Fisher
ENTCS
2008
123views more  ENTCS 2008»
13 years 7 months ago
A Chart Semantics for the Pi-Calculus
We present a graphical semantics for the pi-calculus, that is easier to visualize and better suited to expressing causality and temporal properties than conventional relational se...
Johannes Borgström, Andrew D. Gordon, Andrew ...