10707 search results - page 79 / 2142 » Designing executable abstractions |
137
click to vote
IFL
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. Sac (Single Assignment C) is a strict, purely functional programming language primarily designed with numerical applications in mind. Particular emphasis is on efficient ...
128
click to vote
FORMATS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. The design of critical embedded real-time systems requires high confidence in the architecture and the implemented functionalities. Classically, such functions are suppor...
122
click to vote
HCI
2007
15 years 4 months ago
2007
Abstract. This paper describes the planning and implementation of a crossborder usability test that was to be executed in five European countries. The usability evaluation was desi...
111
click to vote
SFP
2003
15 years 4 months ago
2003
Abstract: Mobile computation enables computations to move between a dynamic set of locations, and is becoming an increasingly important paradigm. mHaskell is an extension of Haskel...
110
click to vote
JUCS
2008
15 years 3 months ago
2008
: Aspect languages provide different mechanisms to control when an aspect should apply based on properties of the execution context. They however fail to explicitly identify and cl...