4386 search results - page 251 / 878 » A Tamper-Resistant Programming Language System |
154
click to vote
POPL
2012
ACM
13 years 10 months ago
2012
ACM
Gradual typing lets programmers evolve their dynamically typed programs by gradually adding explicit type annotations, which confer benefits like improved performance and fewer r...
112
click to vote
ENTCS
2008
15 years 3 months ago
2008
Attribute grammar specification languages, like many domain specific languages, offer significant advantages to their users, such as high-level declarative constructs and domain-s...
149
click to vote
TLDI
2010
ACM
16 years 2 days ago
2010
ACM
We propose a programming language, called PCML5, for building distributed applications with distributed access control. Target applications include web-based systems in which prog...
157
click to vote
SENSYS
2009
ACM
15 years 10 months ago
2009
ACM
Sensor networks have the potential to empower domain experts from a wide range of fields. However, presently they are notoriously difficult for these domain experts to program, ...
109
click to vote
SOSP
1993
ACM
15 years 4 months ago
1993
ACM
Many operating systems allow user programs to specify the protectionlevel (inaccessible, read-only, read-write) of pages in their virtual memory address space, and to handle any p...