704 search results - page 96 / 141 » A Note on Typing Feature Structures |
134
Voted
JCSC
1998
15 years 1 months ago
1998
For many years, Petri nets have been used for modeling the behavior of various types of concurrent systems. While these net models are especially well suited to capture the behavi...
112
click to vote
LISP
2002
15 years 1 months ago
2002
Security-typed languages enforce secrecy or integrity policies by type-checking. This paper investigates continuation-passing style (CPS) as a means of proving that such languages...
105
click to vote
ICFP
2004
ACM
16 years 1 months ago
2004
ACM
It is possible to extend the basic notion of "function call" to allow functions to have multiple return points. This turns out to be a surprisingly useful mechanism. Thi...
104
click to vote
ARITH
2007
IEEE
15 years 8 months ago
2007
IEEE
An emerging nanotechnology, quantum-dot cellular automata (QCA), has the potential for attractive features such as faster speed, smaller size, and lower power consumption than tra...
102
click to vote
XIMEP
2006
ACM
15 years 8 months ago
2006
ACM
This paper proposes an extension to the XQuery language to solve the problem of positional grouping: that is, problems in which it is necessary to convert a flat sequence into a h...