4386 search results - page 310 / 878 » A Tamper-Resistant Programming Language System |
107
Voted
ECOOP
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We present F(Eml), a language that combines classes, extensible functions, symmetric multiple dispatching, and a practical system for parameterized modules. Parameterized...
231
click to vote
AGP
2010
IEEE
15 years 8 months ago
2010
IEEE
Constraint Logic Programming (CLP) is one of the most successful branches of Logic Programming; it attracts the interest of theoreticians and practitioners, and it is currently use...
116
click to vote
PADL
2010
Springer
16 years 12 days ago
2010
Springer
Abstract. A Prolog implementation of an In-lined Reference Monitoring system prototype for Adobe ActionScript Bytecode programs is presented. Prolog provides an elegant framework f...
164
Voted
FMCO
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
124
Voted
VL
2003
IEEE
15 years 8 months ago
2003
IEEE
The educationally disadvantaged people in contextaware computing are those without any programming experience, and are unable to build context-aware applications with the current ...