2362 search results - page 168 / 473 » Programming in Standard ML |
126
click to vote
ECOOPW
2003
Springer
15 years 9 months ago
2003
Springer
levels of abstraction. Lacking well-established technologies and models for representing and accessing program dynamics, tools must use ad-hoc mechanisms. This limits reuse and int...
101
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
C32SAT is a tool for checking C expressions. It can check whether a given C expression can be satisfied, is tautological, or always defined according to the ISO C99 standard. C32...
126
click to vote
ICPP
2000
IEEE
15 years 8 months ago
2000
IEEE
Message-passing is a well known approach for parallelizing programs. The widely used standard MPI (Message passing interface) also defines C++ bindings. Nevertheless, there is a ...
130
click to vote
ASIAN
1998
Springer
15 years 8 months ago
1998
Springer
call it, provides abstraction through the rewriting arrow and explicit rule application. It also embeds the notion of sets of results to deal with non-deterministic computations. F...
107
click to vote
VRML
1998
ACM
15 years 8 months ago
1998
ACM
In this paper, we introduce the design and implementation of VSPLUS, a high-level multi-user extension library to enable people to simultaneously manipulate interactive VRML world...