1159 search results - page 163 / 232 » Adding Concurrency to a Programming Language |
104
click to vote
INFOCOM
2006
IEEE
15 years 8 months ago
2006
IEEE
— We discuss the evolution of teleconferencing and networked visualization applications to support 3-dimensional display technologies. The implications of a continuation of Moore...
115
click to vote
TPHOL
2005
IEEE
15 years 8 months ago
2005
IEEE
We have definitionally extended Isabelle/HOLCF to support axiomatic Haskell-style constructor classes. We have subsequently defined the functor and monad classes, together with t...
134
click to vote
PSSS
2003
15 years 3 months ago
2003
The semantic web is a promising application-area for the Prolog programming language for its non-determinism and patternmatching. In this paper we outline an infrastructure for loa...
227
Voted
ECOOP
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. The expression families problem can be defined as the problem of achieving reusability and composability across the components involved in a family of related datatypes a...
ICCL
1998
IEEE
15 years 6 months ago
1998
IEEE
Dynamic optimization of computer programs can dramatically improve their performance on a variety of applications. This paper presents an efficient infrastructure for dynamic reco...