5377 search results - page 628 / 1076 » Programming Languages For Interactive Computing |
177
click to vote
FSTTCS
2000
Springer
15 years 11 months ago
2000
Springer
This paper reports on results concerning the combination of non-standard semantics via interpreters. We define what a semantics combination means and identify under which condition...
173
click to vote
APAL
2005
15 years 7 months ago
2005
Systems of explicit mathematics provide an axiomatic framework to represent programs and to prove properties of them. We introduce such a system with a new form of power types usi...
227
click to vote
SC
2000
ACM
16 years 2 days ago
2000
ACM
As evidenced by the popularity of MPI (Message Passing Interface), message passing is an effective programming technique for managing coarse-grained concurrency on distributed com...
177
click to vote
HPDC
1996
IEEE
15 years 12 months ago
1996
IEEE
A universal spatial automaton, called WAVE, for highly parallel processing in arbitrary distributed systems is described. The automaton is based on a virus principle where recursi...
338
click to vote
POPL
2009
ACM
16 years 8 months ago
2009
ACM
Mitchell's notion of representation independence is a particularly useful application of Reynolds' relational parametricity -- two different implementations of an abstra...