546 search results - page 95 / 110 » Substructural Operational Semantics as Ordered Logic Program... |
85
Voted
CONCUR
2007
Springer
15 years 6 months ago
2007
Springer
The notion of innocent strategy was introduced by Hyland and Ong in order to capture the interactive behaviour of λ-terms and PCF programs. An innocent strategy is defined as an ...
126
Voted
ICFP
2005
ACM
16 years 15 days ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
185
click to vote
POPL
2006
ACM
16 years 26 days ago
2006
ACM
Virtual classes are class-valued attributes of objects. Like virtual methods, virtual classes are defined in an object's class and may be redefined within subclasses. They re...
104
Voted
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
A replay tool aiming to reproduce a program's execution interposes itself at an appropriate replay interface between the program and the environment. During recording, it log...
119
Voted
AIL
2007
15 years 20 days ago
2007
In order to improve the management of copyright in the Internet, known as Digital Rights Management, there is the need for a shared language for copyright representation. Current a...