5451 search results - page 294 / 1091 » Typed Operational Semantics |
117
click to vote
ENTCS
2008
15 years 4 months ago
2008
abstraction and quantum computation Alessandra Di Pierro1 Dipartimento di Informatica University of Pisa Pisa, Italy Herbert Wiklicky2 Department of Computing Imperial College Lond...
145
click to vote
ENTCS
2006
15 years 4 months ago
2006
Web Services are software services that can be advertised by providers and invoked by customers using Web technologies. This concept is currently carried further to address the co...
140
click to vote
PPOPP
2009
ACM
16 years 5 months ago
2009
ACM
Researchers in transactional memory (TM) have proposed open nesting as a methodology for increasing the concurrency of transactional programs. The idea is to ignore "low-leve...
150
click to vote
LICS
2008
IEEE
15 years 11 months ago
2008
IEEE
Collapsible pushdown automata (CPDA) are a new kind of higher-order pushdown automata in which every symbol in the stack has a link to a stack situated somewhere below it. In addi...
132
click to vote
CICLING
2003
Springer
15 years 10 months ago
2003
Springer
In setting up a formal system to specify a grammar formalism, the conventional (mathematical) wisdom is to start with primitives (basic primitive structures) as simple as possible...