3319 search results - page 170 / 664 » Type Theoretical Databases |
TACAS
1999
Springer
15 years 2 months ago
1999
Springer
The aim of this work is to investigate mechanical support for process algebra, both for concrete applications and theoretical properties. Two approaches are presented using the ver...
88
Voted
ITICSE
1996
ACM
15 years 2 months ago
1996
ACM
This paper describes two ways we have integrated algorithm animations into several computer science courses. First, we use previously existing animations during lectures to aid in...
79
Voted
ACMSE
2007
ACM
15 years 2 months ago
2007
ACM
BoxScript is a Java-based language that supports the componentoriented programming paradigm. BoxScript introduces a composition strategy and type structure to support two main pro...
RTA
2010
Springer
15 years 2 months ago
2010
Springer
We show that, contrary to the situation in first-order term rewriting, almost none of the usual properties of rewriting are modular for higher-order rewriting, irrespective of the...
RTA
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We extend first-order order-sorted unification by permitting regular expression sorts for variables and in the domains of function symbols. The set of basic sorts is ...