4386 search results - page 194 / 878 » A Tamper-Resistant Programming Language System |
139
click to vote
CORR
2004
Springer
15 years 1 months ago
2004
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda-calculus for the QRAM model, following the work of P. Seling...
132
Voted
ERLANG
2006
ACM
15 years 7 months ago
2006
ACM
Termite Scheme is a variant of Scheme intended for distributed computing. It offers a simple and powerful concurrency model, inspired by the Erlang programming language, which is ...
COLING
2002
15 years 1 months ago
2002
We describe a discovery program, called UNIVAUTO (UNIVersals AUthoringTOol), whose domain of application is the study of language universals, a classic trend in contemporary lingu...
143
click to vote
ASPLOS
2004
ACM
15 years 7 months ago
2004
ACM
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...
69
Voted
APLAS
2006
ACM
15 years 7 months ago
2006
ACM
We give an elementary semantics to an effect system, tracking read and write effects by using relations over a standard extensional semantics for the original language. The seman...