4386 search results - page 213 / 878 » A Tamper-Resistant Programming Language System |
105
click to vote
ICFP
2004
ACM
16 years 1 months ago
2004
ACM
It is possible to extend the basic notion of "function call" to allow functions to have multiple return points. This turns out to be a surprisingly useful mechanism. Thi...
122
Voted
PADL
2005
Springer
15 years 7 months ago
2005
Springer
We present an application of functional programming in the domain of sound generation and processing. We use the lazy language Clean to define purely functional stream generators,...
115
click to vote
PADL
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. A lightweight approach to debugging functional logic programs by observations is presented, implemented for the language Curry. The Curry Object Observation System (COOSy...
124
Voted
OOPSLA
2005
Springer
15 years 7 months ago
2005
Springer
Instrumenting programs with code to monitor runtime behavior is a common technique for profiling and debugging. In practice, instrumentation is either inserted manually by progra...
121
click to vote
PET
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the prog...