7124 search results - page 977 / 1425 » Programming Languages and Operating Systems |
265
click to vote
ISSTA
2012
ACM
13 years 7 months ago
2012
ACM
Multithreaded programs are notoriously prone to unintended interference between concurrent threads. To address this problem, we argue that yield annotations in the source code sho...
128
click to vote
PODS
2007
ACM
16 years 5 months ago
2007
ACM
Schema mappings are high-level specifications that describe the relationship between two database schemas. Two operators on schema mappings, namely the composition operator and th...
162
click to vote
ANLP
1994
15 years 6 months ago
1994
FoG currently produces bilingual marine and public weather forecasts at several Canadian weather offices. The system is engineered to reflect "good professional style" a...
171
click to vote
HASKELL
2007
ACM
15 years 9 months ago
2007
ACM
The use of typed intermediate languages can significantly increase the reliability of a compiler. By type-checking the code produced at each transformation stage, one can identify...
136
click to vote
CONCUR
2004
Springer
15 years 10 months ago
2004
Springer
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...