269 search results - page 4 / 54 » Computational soundness of observational equivalence |
LICS
2010
IEEE
13 years 5 months ago
2010
IEEE
Stream circuits are a convenient graphical way to represent streams (or stream functions) computed by finite dimensional linear systems. We present a sound and complete expression...
TABLETOP
2006
IEEE
14 years 1 months ago
2006
IEEE
We present a tangible user interface for direct manipulation of sound during playback. The interface was inspired by observing DJs and musicians working with computers where loopi...
ICALP
2005
Springer
14 years 26 days ago
2005
Springer
Abstract. We prove that observational equivalence of IA3 + Y0 (3rdorder Idealized Algol with 0th-order recursion) is equivalent to the DPDA Equivalence Problem, and hence decidable...
ECBS
2000
IEEE
13 years 11 months ago
2000
IEEE
Recently, modeling has received a lot of attention in the design of embedded computing systems. StateCharts is one of the modeling specifications which has been successfully imple...
LFP
1990
13 years 8 months ago
1990
PCF, as considered in this paper, is a lazy typed lambda calculus with functions, pairing, fixed-point operators and arbitrary algebraic data types. The natural equational axioms ...