54 search results - page 11 / 11 » Compositionality of Hennessy-Milner Logic through Structural... |
PEPM
2011
ACM
12 years 7 months ago
2011
ACM
Navigating through tree structures is a core operation in tree processing programs. Most notably, XML processing programs intensively use XPath, the path specification language t...
EFDBS
2003
13 years 6 months ago
2003
A definition of types in an information system is given from ld abstractions through data constructs, schema and definitions to physical data values. Category theory suggests tha...
POPL
2005
ACM
14 years 5 months ago
2005
ACM
We introduce transactors, a fault-tolerant programming model for composing loosely-coupled distributed components running in an unreliable environment such as the internet into sy...
SIGSOFT
2006
ACM
13 years 10 months ago
2006
ACM
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...