1445 search results - page 87 / 289 » Uniformly Hard Languages |
AGTIVE
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. The DRAGOS database eases the development of graphbased applications by providing a uniform graph-oriented data storage facility. In this paper, we extend the existing da...
COLING
1996
13 years 11 months ago
1996
This paper tbeuses on two disparate asI)e(:ts of German syntax from the perspeetive of paral]eJ grammar developmenl;. As part of a eOOl)erative project, we present an innovative a...
IANDC
2008
13 years 10 months ago
2008
In this paper, we study sixteen communication primitives, arising from the combination of four useful programming features: synchronism (synchronous vs asynchronous primitives), a...
CORR
2006
Springer
13 years 10 months ago
2006
Springer
Knowledge flow analysis offers a simple and flexible way to find flaws in security protocols. A protocol is described by a collection of rules constraining the propagation of know...
TCS
2008
13 years 10 months ago
2008
Type systems and program logics are often conceived to be at opposing ends of the spectrum of formal software analyses. In this paper we show that a flow-sensitive type system ensu...