31 search results - page 1 / 7 » Extending and interpreting Post's programme |
APAL
2010
13 years 5 months ago
2010
Computability theory concerns information with a causal
LOGCOM
2007
13 years 5 months ago
2007
This paper extends Post’s programme to finite levels of the Ershov hierarchy of ∆2 sets. Our initial characterisation, in the spirit of Post [27], of the degrees of the immune...
FPGA
2001
ACM
13 years 9 months ago
2001
ACM
A prototype platform has been developed that allows processing of packets at the edge of a multi-gigabit-per-second network switch. This system, the Field Programmable Port Extend...
ACSAC
2000
IEEE
13 years 9 months ago
2000
IEEE
This paper describes an extension of the Java language that provides “programmable security.” The approach augments the Java syntax with constructs for specifying various acce...
OOPSLA
1998
Springer
13 years 9 months ago
1998
Springer
This paper explores the interpretation of specifications in the context of an object-oriented programming language with subclassing and method overrides. In particular, the paper ...