Search Sciweavers | Sciweavers

1350 search results - page 3 / 270

» Reasoning about Staged Computation

click to vote

SAC
2009
ACM

78views Applied Computing» more SAC 2009»

Reasoning about comprehensions with first-order SMT solvers

15 years 11 months ago

Download www.cs.nuim.ie

K. Rustan M. Leino, Rosemary Monahan

claim paper

Read More »

100

click to vote

TLCA
1997
Springer

89views Theoretical Computer Science» more TLCA 1997»

Names, Equations, Relations: Practical Ways to Reason about new

15 years 8 months ago

Download www.brics.dk

Ian Stark

claim paper

Read More »

106

click to vote

NSDI
2008

98views Computer Networks» more NSDI 2008»

A Framework for Reasoning About the Human in the Loop

15 years 6 months ago

Download www.usenix.org

Lorrie Faith Cranor

claim paper

Read More »

112

click to vote

CONCUR
2009
Springer

187views Distributed And Parallel Com...» more CONCUR 2009»

A Logic-Based Framework for Reasoning about Composite Data Structures

15 years 10 months ago

Download www.memics.cz

Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, M...

claim paper

Read More »

120

click to vote

ICNP
1998
IEEE

81views Computer Networks» more ICNP 1998»

Reasoning About Active Network Protocols

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers