4386 search results - page 646 / 878 » A Tamper-Resistant Programming Language System |
123
Voted
CSL
2004
Springer
15 years 7 months ago
2004
Springer
We consider a scenario where (functional) programs in pre-compiled form are exchanged among untrusted parties. Our contribution is a system of annotations for the code that can be ...
142
Voted
IWMM
2000
Springer
15 years 7 months ago
2000
Springer
We describe a novel approach to obtaining type-accurate information for garbage collection in a hardware and language independent way. Our approach uses a run-time analysis to pro...
163
Voted
AADEBUG
2005
Springer
15 years 5 months ago
2005
Springer
Increased reuse of software components has led to a software mishmash as existing packages are used as building blocks for new systems. Current debuggers cannot cope with the intr...
102
Voted
WSCG
2001
15 years 5 months ago
2001
Digital Teletext is one of the most important interactive services of emerging digital television. As an enhanced version of existing analogue Teletext service, it's a reside...
131
Voted
ENTCS
2008
15 years 3 months ago
2008
As an extension to Floyd-Hoare logic, separation logic has been used to facilitate reasoning about imperative programs manipulating shared mutable data structures. Recently, it ha...