ENTCS
2002
15 years 13 days ago
2002
The uniformity principle for traced monoidal categories has been introduced as a natural generalization of the uniformity principle (Plotkin's principle) for fixpoint operato...
68
Voted
ENTCS
2002
15 years 13 days ago
2002
102
Voted
ENTCS
2002
15 years 13 days ago
2002
In this paper we present a framework to program autonomous robots in the declarative multi-paradigm language Curry. This is an experiment to use high-level declarative programming...
ENTCS
2002
15 years 13 days ago
2002
In this paper we propose a new equivalence relation for dynamical and control systems called bisimulation. As the name implies this definition is inspired by the fundamental notio...
67
Voted
ENTCS
2002
15 years 13 days ago
2002
ENTCS
2002
15 years 13 days ago
2002
110
Voted
ENTCS
2002
15 years 13 days ago
2002
In this paper, we consider ANSI C program slicing using XML (Extensible Markup Language). Our goal is to build a flexible, useful and uniform data interchange format for CASE tool...
118
Voted
ENTCS
2002
15 years 13 days ago
2002
Digital signal processors provide specialized SIMD (single instruction multiple data) operations designed to dramatically increase performance in embedded systems. While these ope...
96
Voted
ENTCS
2002
15 years 13 days ago
2002
This paper introduces coalgebraic monads as a unified model of term algebras covering fundamental examples such as initial algebras, final coalgebras, rational terms and term grap...
83
Voted
ENTCS
2002
15 years 13 days ago
2002