4386 search results - page 196 / 878 » A Tamper-Resistant Programming Language System |
114
click to vote
VL
2003
IEEE
15 years 7 months ago
2003
IEEE
JAN is a system for animated execution of Java programs. Its application area is program understanding rather than debugging. To this end, the animation can be customized, both by...
118
Voted
ERSHOV
2006
Springer
15 years 5 months ago
2006
Springer
We integrate a logic programming language into Meta-S, a flexible and extendable constraint solver cooperation system, by treating resolution as constraint solver. This new approac...
100
click to vote
ENTCS
2008
15 years 1 months ago
2008
Graphical notations are already popular for the design of software, as witnessed by the success of the Uniform Modeling Languages (UML). In this paper, we advocate the use of grap...
115
Voted
SAC
2009
ACM
15 years 8 months ago
2009
ACM
The notion of ThisType has been proposed to promote typesafe reuse of binary methods and recently extended to mutually recursive definitions. It is well-known, however, that This...
123
click to vote
VL
2006
IEEE
15 years 7 months ago
2006
IEEE
Many end user programming tools lack adequate support for domain-specific data. We will design a lightweight representation for categories of data, called “topes,” and develop...