2501 search results - page 226 / 501 » Obligations and Their Interaction with Programs |
174
click to vote
ESOP
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We propose a new type discipline for the -calculus in which secure information flow is guaranteed by static type checking. Secrecy levels are assigned to channels and are...
148
click to vote
CSREAESA
2004
15 years 7 months ago
2004
For many years, C has been known as a fast, yet unfriendly language. Similarly, Java presents its own trade-offs, including more advanced language features at the cost of slower ex...
145
click to vote
SFP
2003
15 years 7 months ago
2003
Abstract: Mobile computation enables computations to move between a dynamic set of locations, and is becoming an increasingly important paradigm. mHaskell is an extension of Haskel...
150
click to vote
IFM
2010
Springer
15 years 3 months ago
2010
Springer
Though program verification is known and has been used for decades, the verification of a complete computer system still remains a grand challenge. Part of this challenge is the in...
178
click to vote
CHI
2010
ACM
16 years 26 days ago
2010
ACM
Application programming interfaces (APIs) are the interfaces to existing code structures, such as widgets, frameworks, or toolkits. Therefore, they very much do have an impact on ...