6248 search results - page 122 / 1250 » Programming in a data factory |
158
click to vote
VMCAI
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
168
click to vote
AICCSA
2001
IEEE
15 years 10 months ago
2001
IEEE
In the visual programming domain, the stress of research is laid on the use of visual formalism, which is considered to be more intuitive than the textual formalism, in the progra...
172
click to vote
PPOPP
2012
ACM
14 years 2 months ago
2012
ACM
Lock-freedom is a progress guarantee that ensures overall program progress. Wait-freedom is a stronger progress guarantee that ensures the progress of each thread in the program. ...
149
click to vote
ERLANG
2003
ACM
15 years 11 months ago
2003
ACM
This paper presents a soft-typing system for the programming language Erlang. The system is based on two concepts; a (forward) data flow analysis that determines upper approximat...
169
click to vote
FLAIRS
2007
15 years 8 months ago
2007
To describe and explain the world, scientists search for equations that quantify relations among relevant variables. We wanted to assist these efforts by a computer program inspir...