4386 search results - page 650 / 878 » A Tamper-Resistant Programming Language System |
148
click to vote
AGTIVE
1999
Springer
15 years 8 months ago
1999
Springer
We discuss geometric positioning, highlighting of visited nodes and user defined highlighting that form the algorithm animation facilities in the Grrr graph rewriting programming l...
123
Voted
CODES
1994
IEEE
15 years 7 months ago
1994
IEEE
We present an experimental framework for mapping declarative programs, written in a language known as Ruby, into various combinations of hardware and software. Strategies for para...
128
click to vote
ACSC
2004
IEEE
15 years 7 months ago
2004
IEEE
Types are fundamental for enforcing levels of abstraction in modern high-level programming languages and their lower-level representations. However, some type-related features suc...
126
Voted
AMAST
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Declarative debugging has been applied to many declarative programming paradigms; in this paper, a declarative debugger for rewriting logic specifications, embodied in th...
138
Voted
FLOPS
2008
Springer
15 years 5 months ago
2008
Springer
Dependent types are useful for statically checking detailed specifications of programs and detecting pattern match or array bounds errors. We propose a novel approach to applicatio...