263 search results - page 10 / 53 » Dynamic Semantics for a Controlled Natural Language |
113
Voted
ER
2007
Springer
15 years 9 months ago
2007
Springer
This paper intends to classify, review, and compare the existing languages for the specification of spatial integrity constraints at the conceptual level. We classify these languag...
111
Voted
ICFP
2007
ACM
16 years 3 months ago
2007
ACM
Filinski showed that callcc and a single mutable reference cell are sufficient to express the delimited control operators shift and reset. However, this implementation interacts p...
128
Voted
COORDINATION
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Rebeca is an actor-based language which has been successfully applied to model concurrent and distributed systems. The semantics of Rebeca in labeled transition system is...
132
Voted
FOSSACS
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. We propose a denotational semantics for the two-level language of [GJ91, Gom92], and prove its correctness w.r.t. a standard denotational semantics. Other researchers (se...
142
click to vote
PLDI
2009
ACM
15 years 8 months ago
2009
ACM
Dynamic information flow policies, such as declassification, are essential for practically useful information flow control systems. However, most systems proposed to date that ...