4386 search results - page 380 / 878 » A Tamper-Resistant Programming Language System |
152
click to vote
DLS
2008
15 years 5 months ago
2008
Static and dynamic type systems have well-known strengths and weaknesses. Gradual typing provides the benefits of both in a single language by giving the programmer control over w...
124
click to vote
CF
2010
ACM
15 years 9 months ago
2010
ACM
Runtime parallel optimization has been suggested as a means to overcome the difficulties of parallel programming. For runtime parallel optimization to be effective, parallelism a...
126
click to vote
CLIMA
2007
15 years 5 months ago
2007
Over the years, Logic Programming has proved to be a good and natural tool for expressing, querying and manipulating explicit knowledge in many areas of computer science. However, ...
123
Voted
JUCS
2008
15 years 3 months ago
2008
: A goal of software product lines is the economical assembly of programs in a family of programs. In this paper, we explore how theorems about program properties may be integrated...
147
Voted
HASKELL
2008
ACM
15 years 5 months ago
2008
ACM
We present Haskell libraries that statically ensure the safe use of resources such as file handles. We statically prevent accessing an already closed handle or forgetting to clos...