3713 search results - page 531 / 743 » Constructing a Calculus of Programs |
177
click to vote
CONCURRENCY
2000
15 years 3 months ago
2000
When comparing OpenMP to other parallel programming models, it is easier to choose between OpenMP and MPI than between OpenMP and POSIX Threads (Pthreads). With languages like C a...
103
Voted
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
This paper explains how the high-level treatment of datatypes in functional languages--using features like constructor functions and pattern matching--can be made to coexist with ...
116
click to vote
FOCS
2007
IEEE
15 years 9 months ago
2007
IEEE
In STOC’05, Ahn, Hopper and Langford introduced the notion of covert computation. A covert computation protocol is one in which parties can run a protocol without knowing if oth...
128
click to vote
ERLANG
2003
ACM
15 years 8 months ago
2003
ACM
The distributed telecommunications sector not only requires minimal time to market, but also software that is reliable, available, maintainable and scalable. High level programmin...
133
Voted
CCS
2003
ACM
15 years 8 months ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...