4386 search results - page 107 / 878 » A Tamper-Resistant Programming Language System |
151
click to vote
PLDI
2011
ACM
14 years 4 months ago
2011
ACM
MATLAB is an array language, initially popular for rapid prototyping, but is now being increasingly used to develop production code for numerical and scientific applications. Typ...
101
click to vote
SAC
2000
ACM
15 years 6 months ago
2000
ACM
We describe a language providing concepts for modeling autonomous entities (agents) and cooperating entities (groups). Agents are the execution units of a GroupLog program. Each a...
UM
2007
Springer
15 years 7 months ago
2007
Springer
ICLP
2003
Springer
15 years 6 months ago
2003
Springer
217
click to vote
POPL
2007
ACM
16 years 1 months ago
2007
ACM
We present a model of recursive and impredicatively quantified types with mutable references. We interpret in this model all of the type constructors needed for typed intermediate...