4386 search results - page 32 / 878 » A Tamper-Resistant Programming Language System |
CC
2003
Springer
15 years 6 months ago
2003
Springer
142
click to vote
TOOLS
1998
IEEE
15 years 5 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...
141
click to vote
ICFP
2012
ACM
13 years 3 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
15 years 5 months ago
2001
Springer
PROMAS
2007
Springer
15 years 7 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 ...