2362 search results - page 165 / 473 » Programming in Standard ML |
193
click to vote
POPL
2012
ACM
13 years 11 months ago
2012
ACM
Differential privacy is a notion of confidentiality that protects the privacy of individuals while allowing useful computations on their private data. Deriving differential priva...
133
click to vote
GPCE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The past decade of experience has demonstrated that the generic programming methodology is highly effective for the design, implementation, and use of large-scale softwar...
131
click to vote
LICS
1996
IEEE
15 years 8 months ago
1996
IEEE
We consider a parallel Algol-like language, combining procedures with shared-variable parallelism. Procedures permit encapsulation of common parallel programming idioms. Local var...
257
click to vote
IWOMP
2011
Springer
14 years 7 months ago
2011
Springer
Many task-based programming models have been developed and refined in recent years to support application development for shared memory platforms. Asynchronous tasks are a powerfu...
140
click to vote
ENTCS
2002
15 years 3 months ago
2002
Abstract: Alias analysis for Fortran is less complicated than for programming languages with pointers but many real Fortran programs violate the standard: a formal parameter or a c...