2019 search results - page 130 / 404 » Programming with Shared Data Abstractions |
119
Voted
PVM
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. PVM is a succesfull programming environment for distributed computing in the languages C and Fortran. Recently several implementations of PVM for Java have been added, ma...
105
Voted
TACAS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Programs commonly maintain multiple linked data structures. Correlations between multiple data structures may often be nonexistent or irrelevant to verifying that the pro...
133
click to vote
TPHOL
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract. Type Classes have met a large success in Haskell and Isabelle, as a solution for sharing notations by overloading and for specith abstract structures by quantification o...
136
click to vote
CASES
2001
ACM
15 years 6 months ago
2001
ACM
We consider handheld computing devices which are connected to a server (or a powerful desktop machine) via a wireless LAN. On such devices, it is often possible to save the energy...
110
click to vote
FPCA
1995
15 years 6 months ago
1995
A number of useful optimisations are enabled if we can determine when a value is accessed at most once. We extend the Hindley-Milner type system with uses, yielding a typeinferenc...