603 search results - page 92 / 121 » A Formal Operational Semantics for SOFL |
117
Voted
ICDE
2007
IEEE
15 years 8 months ago
2007
IEEE
We present a replication-based approach that enables both fast and reliable stream processing over wide area networks. Our approach replicates stream processing operators in a man...
117
Voted
VLDB
1995
ACM
15 years 5 months ago
1995
ACM
We follow the stack-baaed approach to query languages which is a new formal and intellectual paradigm for integrating querying and programming for object-oriented databases. Queri...
127
click to vote
TABLEAUX
2009
Springer
15 years 8 months ago
2009
Springer
Memory logics are modal logics whose semantics is specified in terms of relational models enriched with additional data structure to represent memory. The logical language is then...
207
click to vote
POPL
2007
ACM
16 years 2 months ago
2007
ACM
It is well recognized that JavaScript can be exploited to launch browser-based security attacks. We propose to battle such attacks using program instrumentation. Untrusted JavaScr...
216
Voted
POPL
2007
ACM
16 years 2 months ago
2007
ACM
This paper is concerned with a programming language construct for typed name binding that enforces -equivalence. It proves a new result about what operations on names can co-exist...