4386 search results - page 560 / 878 » A Tamper-Resistant Programming Language System |
146
click to vote
AAAI
1996
15 years 5 months ago
1996
The Airport Example The Omelette Example Copyright c 1996 American Association for Artificial Intelligence. All rights reserved. Despite the existence of programs that are able to ...
128
click to vote
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
When students first learn programming, they often rely on a simple operational model of a program’s behavior to explain how particular features work. Because such models build o...
142
click to vote
ERLANG
2006
ACM
15 years 10 months ago
2006
ACM
This article introduces Dryverl, an Erlang/C binding code r. Dryverl aims at becoming the most abstract, open and efficient tool for implementing any Erlang/C bindings, as either...
151
click to vote
HASKELL
2006
ACM
15 years 10 months ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
132
click to vote
DOCENG
2004
ACM
15 years 9 months ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...