4386 search results - page 239 / 878 » A Tamper-Resistant Programming Language System |
GPCE
2004
Springer
15 years 7 months ago
2004
Springer
This paper describes Splice, a system for writing aspects that perform static program analyses to direct program modifications. The power of an inter-procedural data-flow analys...
168
click to vote
VL
1996
IEEE
15 years 6 months ago
1996
IEEE
In this paper, we show how visual programming can be used to teach binary tree algorithms. In our approach, the student implements a binary tree algorithm by manipulating tree fra...
110
click to vote
PPDP
2001
Springer
15 years 6 months ago
2001
Springer
We define a transformation from a left-linear constructor-based conditional rewrite system into an overlapping inductively sequential rewrite system. This transformation is sound...
111
click to vote
AVI
2000
15 years 3 months ago
2000
The Cognitive Dimensions framework outlined here is generalised broad-brush approach to usability evaluation for all types of information artifact, from programming languages thro...
107
click to vote
HOPL
2007
15 years 5 months ago
2007
This paper is a highly personal and subjective account of how the language of statecharts came into being. The main novelty of the language is in being a fully executable visual f...