7681 search results - page 92 / 1537 » Typed Membrane Systems |
151
click to vote
ESOP
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Linear type systems allow destructive operations such as object deallocation and imperative updates of functional data structures. These operations and others, such as th...
112
click to vote
FOSSACS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. System L is a linear λ-calculus with numbers and an iterator, which, although imposing linearity restrictions on terms, has all the computational power of G¨odel’s Sy...
166
click to vote
CONCUR
2008
Springer
15 years 7 months ago
2008
Springer
We present a framework that combines ideas from spatial logics and Igarashi and Kobayashi's behavioural type systems, drawing benefits from both. In our approach, type systems...
164
click to vote
IFIP
2010
Springer
15 years 8 days ago
2010
Springer
Abstract. We introduce a calculus with mobile names, distributed principals and primitives for secure remote communication, without any reference to explicit cryptography. The calc...
148
click to vote
AMTA
2004
Springer
15 years 10 months ago
2004
Springer
TransType2 is a novel kind of interactive MT in which the system and the user collaborate in drafting a target text, the system’s contribution taking the form of predictions that...