10622 search results - page 406 / 2125 » Python Programming Language |
140
Voted
VL
2003
IEEE
15 years 10 months ago
2003
IEEE
ct How can rigorous forms of testing be supported in a way that is both compatible with the visual aspect of visual programming languages, and usable by the audiences using those l...
152
click to vote
DBPL
1993
Springer
15 years 9 months ago
1993
Springer
A class of database programs exist which are required to operate over an infinite number of types; included in this class are object browsers and query tools. The types over which...
133
click to vote
OOPSLA
2010
Springer
15 years 3 months ago
2010
Springer
As heterogeneous parallel systems become dominant, application developers are being forced to turn to an incompatible mix of low level programming models (e.g. OpenMP, MPI, CUDA, ...
149
click to vote
PPDP
2007
Springer
15 years 11 months ago
2007
Springer
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....
132
click to vote
APLAS
2009
ACM
15 years 11 months ago
2009
ACM
We describe an algorithm for synthesizing resource invariants that are used in the verification of concurrent programs. This synthesis employs bi-abductive inference to identify t...