3388 search results - page 621 / 678 » Type-theoretic design patterns |
135
Voted
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
The Java language lacks the important notions of ownership (an object owns its representation to prevent unwanted aliasing) and immutability (the division into mutable, immutable,...
158
Voted
IMC
2010
ACM
15 years 1 months ago
2010
ACM
3G cellular data networks have recently witnessed explosive growth. In this work, we focus on UMTS, one of the most popular 3G mobile communication technologies. Our work is the f...
169
click to vote
ICS
2011
Tsinghua U.
14 years 6 months ago
2011
Tsinghua U.
Suppose one is considering purchase of a computer equipped with accelerators. Or suppose one has access to such a computer and is considering porting code to take advantage of the...
141
Voted
CCS
2011
ACM
14 years 3 months ago
2011
ACM
Browser designers create security mechanisms to help web developers protect web applications, but web developers are usually slow to use these features in web-based applications (...
124
click to vote
ACISP
1997
Springer
15 years 7 months ago
1997
Springer
tracts, pp. 11-17. (http://www.qucis.queens.ca/achallc97/papers/p028.html) Alexa, Melina; Rostek, Lothar Pattern Concordances - TATOE calls XGrammar. Presented at ACH -ALLC97, King...