1835 search results - page 183 / 367 » Functional Programming of Behavior-Based Systems |
216
click to vote
POPL
1994
ACM
15 years 10 months ago
1994
ACM
An important implementation decision in polymorphically typed functional programming languages is whether to represent data in boxed or unboxed form and when to transform them fro...
138
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
The increasing availability of commodity multicore processors is making parallel computing available to the masses. Traditional parallel languages are largely intended for large-s...
163
click to vote
COOPIS
2002
IEEE
15 years 11 months ago
2002
IEEE
Over 90 percent of all microprocessors are now used for realtime and embedded applications. Since the behavior of these applications is often constrained by the physical world, it...
171
click to vote
ERLANG
2007
ACM
15 years 10 months ago
2007
ACM
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...
127
click to vote
ICN
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper describes Paradis-Net, a typed event-driven messagepassing interface for designing distributed systems. Paradis-Net facilitates the development of both peer-to...