7555 search results - page 51 / 1511 » The Type System of DBPL |
JSAC
2006
13 years 8 months ago
2006
In an ultra wideband (UWB) impulse radio (IR) system, a number of pulses, each transmitted in an interval called a
POPL
2003
ACM
14 years 9 months ago
2003
ACM
We introduce a new framework of algebraic pure type systems in which we consider rewrite rules as lambda terms with patterns and rewrite rule application as abstraction applicatio...
TACS
1997
Springer
14 years 11 days ago
1997
Springer
Abstract. Flexibility of programming and efficiency of program execution are two important features of a programming language. Unfortunately, however, there is an inherent conflict...
IFIP
2009
Springer
14 years 3 months ago
2009
Springer
Security API analysis typically only considers a subset of an API’s functions, with results bounded by the number of function calls. Furthermore, attacks involving partial leakag...
CASSIS
2004
Springer
14 years 2 months ago
2004
Springer
A Java Card applet is, in general, not allowed to access fields and methods of other applets on the same smart card. This applet isolation property is enforced by dynamic checks i...