19798 search results - page 292 / 3960 » Is Structural Subtyping Useful |
115
click to vote
RULEML
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We present the Tom language that extends Java with the purpose of providing high level constructs inspired by the rewriting community. Tom bridges thus the gap between a ...
112
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
— In this paper an approach to reduce nonlinear non-observable and non-strongly accessible port-Hamiltonian systems to an observable and strongly accessible portHamiltonian syste...
138
click to vote
PDP
2007
IEEE
15 years 9 months ago
2007
IEEE
We present an algorithm to compute the cycle structure of large directed graphs where each node has exactly one outgoing edge. Such graphs appear as state diagrams of finite stat...
123
click to vote
CAV
2007
Springer
15 years 9 months ago
2007
Springer
Bounded context switch reachability analysis is a useful and efficient approach for detecting bugs in multithreaded programs. In this paper, we address the application of this app...
122
click to vote
IJCNN
2006
IEEE
15 years 9 months ago
2006
IEEE
—We present a structured model of context that supports an integrated approach to language acquisition and use. The model extends an existing formal notation, Embodied Constructi...