5451 search results - page 87 / 1091 » Typed Operational Semantics |
200
Voted
POPL
2002
ACM
16 years 2 months ago
2002
ACM
An adaptive computation maintains the relationship between its input and output as the input changes. Although various techniques for adaptive computing have been proposed, they r...
128
Voted
ADAEUROPE
2003
Springer
15 years 7 months ago
2003
Springer
ontainer. In particular, an iterator abstracts away differences in specific container types, allowing you to view the collection simply as a sequence of items. A generic algorith...
155
Voted
CONCUR
2003
Springer
15 years 7 months ago
2003
Springer
We present a process-algebraic language for Probabilistic I/O Automata (PIOA). To ensure that PIOA specifications given in our language satisfy the “input-enabled” property, w...
127
Voted
TLCA
2007
Springer
15 years 8 months ago
2007
Springer
Initial algebra semantics is a cornerstone of the theory of modern functional programming languages. For each inductive data type, it provides a fold combinator encapsulating struc...
119
Voted
TCS
2008
15 years 2 months ago
2008
We develop a notion of spatial-behavioral typing suitable to discipline concurrent interactions and resource usage in distributed object systems. Our type structure reflects a res...