4386 search results - page 32 / 878 » A Tamper-Resistant Programming Language System |
CC
2003
Springer
14 years 28 days ago
2003
Springer
TOOLS
1998
IEEE
13 years 12 months ago
1998
IEEE
There are a number of programmable macro systems such as Lisp's. While they can handle complex program transformation, they still have difficulty in handling some kinds of tr...
ICFP
2012
ACM
11 years 10 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
LCPC
2001
Springer
14 years 4 days ago
2001
Springer
PROMAS
2007
Springer
14 years 1 months ago
2007
Springer
This paper discusses the need for an effective and practical BDI-based agentoriented programming language. It proposes an alternative by presenting the syntax and semantics of a ...