852 search results - page 51 / 171 » entcs 2010 |
76
Voted
ENTCS
2007
15 years 14 days ago
2007
In this paper I present a game model for the semantical analysis of handshake circuits. I show how the model captures effectively the composition of circuits in an associative wa...
ENTCS
2007
15 years 14 days ago
2007
We use the ρ-calculus as an intermediate language to compile functional languages with pattern-matching features, and give an interaction net encoding of the ρ-terms arising fro...
87
Voted
ENTCS
2007
15 years 14 days ago
2007
Generation of labelled transition systems from system specifications is highly dependent on efficient rewriting (or related techniques). We give an account of the implementation ...
105
Voted
ENTCS
2007
15 years 14 days ago
2007
We analyze the matching problem for bigraphs. In particular, we present a sound and complete inductive characterization of matching of binding bigraphs. Our results pave the way f...
83
Voted
ENTCS
2007
15 years 14 days ago
2007
We report here on our experiences using a program animation tool, the Teaching Machine, for program and algorithm visualization for engineering and physics students at two univers...