4386 search results - page 56 / 878 » A Tamper-Resistant Programming Language System |
TCS
2002
13 years 9 months ago
2002
This paper discusses a mathematical concept of language that models both artificial and natural languages and thus provides a framework for a unified language processing methodolo...
OOPSLA
1993
Springer
14 years 2 months ago
1993
Springer
A key mechanism of a persistent programming language is its ability to detect and handle references to non-resident objects. Ideally, this mechanism should be hidden from the prog...
TIC
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. The CIL compiler for core Standard ML compiles whole programs using a novel typed intermediate language (TIL) with intersection and union types and flow labels on both te...
CC
2002
Springer
13 years 10 months ago
2002
Springer
Abstract. This paper describes the C Intermediate Language: a highlevel representation along with a set of tools that permit easy analysis and source-to-source transformation of C ...
PPDP
2009
Springer
14 years 4 months ago
2009
Springer
We propose a novel approach to encapsulate non-deterministic computations in functional logic programs. Our approach is based on set functions that return the set of all the resul...