1830 search results - page 254 / 366 » Centering in Dynamic Semantics |
110
click to vote
LOGCOM
2007
14 years 11 months ago
2007
We provide algebraic semantics together with a sound and complete sequent calculus for information update due to epistemic actions. This semantics is flexible enough to accommoda...
180
click to vote
POPL
2008
ACM
15 years 11 months ago
2008
ACM
The C language definition leaves the sizes and layouts of types partially unspecified. When a C program makes assumptions about type layout, its semantics is defined only on platf...
101
click to vote
EDBT
2010
ACM
15 years 6 months ago
2010
ACM
Schemas, and more generally metadata specifying structural and semantic constraints, are invaluable in data management. They facilitate conceptual design and enable checking of da...
129
click to vote
AOSD
2009
ACM
15 years 3 months ago
2009
ACM
Some security concerns are sensitive to flow of information in a program execution. The dataflow pointcut has been proposed by Masuhara and Kawauchi in order to easily implement s...
119
click to vote
FPCA
1995
15 years 3 months ago
1995
Game semantics is an unusual denotational semantics in that it captures the intensional (or algorithmic) and dynamical aspects of the computation. This makes it an ideal semantica...