4386 search results - page 98 / 878 » A Tamper-Resistant Programming Language System |
117
click to vote
ERLANG
2004
ACM
15 years 7 months ago
2004
ACM
Erlang is a concurrent functional language designed for developing large-scale, distributed, fault-tolerant systems. The primary implementation of the language is the Erlang/OTP s...
169
click to vote
SIGMOD
2009
ACM
16 years 1 months ago
2009
ACM
We demonstrate the language Ferry and its editing, compilation, and execution environment FerryDeck. Ferry's type system and operations match those of scripting or programmin...
124
click to vote
PLDI
2010
ACM
15 years 6 months ago
2010
ACM
The JavaScript programming language is widely used for web programming and, increasingly, for general purpose computing. As such, improving the correctness, security and performan...
111
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
109
click to vote
LOBJET
2000
15 years 1 months ago
2000
ABSTRACT. As informal methods do little to help their use for concurrent and distributed programming, one of the most challenging current tasks is to build tools based on formal me...