1350 search results - page 94 / 270 » Reasoning about Staged Computation |
137
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
Abstract. Inductive definitions and rule inductions are two fundamental reasoning tools in logic and computer science. When inductive definitions involve binders, then Barendregt&#...
192
click to vote
KR
2010
Springer
15 years 10 months ago
2010
Springer
While type causality helps us to understand general relationships such as the etiology of a disease (smoking causing lung cancer), token causality aims to explain causal connectio...
139
click to vote
BIRTHDAY
2005
Springer
15 years 11 months ago
2005
Springer
This paper proposes a Compiled Labelled Deductive System, called ACCLDS, for reasoning about role-based access control in distributed systems, which builds upon Massacci’s tablea...
126
click to vote
DAC
2003
ACM
15 years 10 months ago
2003
ACM
Conventional register transfer level (RTL) debugging is based on overlaying simulation results on structural connectivity information of the Hardware Description Language (HDL) so...
156
click to vote
IPPS
1999
IEEE
15 years 9 months ago
1999
IEEE
Parallel programming continues to be difficult, despite substantial and ongoing research aimed at making it tractable. Especially dismaying is the gulf between theory and the pract...