7555 search results - page 51 / 1511 » The Type System of DBPL |
108
Voted
JSAC
2006
15 years 3 months ago
2006
In an ultra wideband (UWB) impulse radio (IR) system, a number of pulses, each transmitted in an interval called a
241
Voted
POPL
2003
ACM
16 years 3 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...
129
Voted
TACS
1997
Springer
15 years 7 months 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...
113
Voted
IFIP
2009
Springer
15 years 10 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...
119
Voted
CASSIS
2004
Springer
15 years 9 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...