4386 search results - page 55 / 878 » A Tamper-Resistant Programming Language System |
222
click to vote
PLDI
2009
ACM
16 years 2 months ago
2009
ACM
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
In this paper we present Mob, a service-oriented scripting language for programming mobile agents in distributed systems. The main feature of the language is the integration of th...
101
click to vote
ENTCS
2006
15 years 1 months ago
2006
We address the problem of applying resource-bounded functional programming languages in practice on object-oriented virtual machines which include calls to native methods coded in...
138
click to vote
CORR
1998
Springer
15 years 1 months ago
1998
Springer
In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with a least Herbrand model approach to Horn programs. We demonstrate ...
118
click to vote
DSL
2009
14 years 11 months ago
2009
Abstract. We present the Operator Language (OL), a framework to automatically generate fast numerical kernels. OL provides the structure to extend the program generation system Spi...