Search Sciweavers | Sciweavers

3776 search results - page 11 / 756

» Partition-Based Logical Reasoning

144

click to vote

CONCUR
2004
Springer

112views Distributed And Parallel Com...» more CONCUR 2004»

Resources, Concurrency and Local Reasoning

15 years 10 months ago

Download www.eecs.qmul.ac.uk

In this paper we show how a resource-oriented logic, separation logic, can be used to reason about the usage of resources in concurrent programs.

Peter W. O'Hearn

claim paper

Read More »

121

click to vote

CADE
2006
Springer

117views Logical Reasoning» more CADE 2006»

Representing and Reasoning with Operational Semantics

16 years 5 months ago

Download www.easychair.org

Dale Miller

claim paper

Read More »

113

click to vote

CADE
2004
Springer

90views Logical Reasoning» more CADE 2004»

Reasoning with large numbers of individuals moves on: extending the instance store

16 years 5 months ago

Download sunsite.informatik.rwth-aachen.de

Lei Li

claim paper

Read More »

101

click to vote

CADE
2004
Springer

91views Logical Reasoning» more CADE 2004»

Reasoning Support for OWL-E

16 years 5 months ago

Download sunsite.informatik.rwth-aachen.de

Jeff Z. Pan

claim paper

Read More »

153

click to vote

CADE
2005
Springer

126views Logical Reasoning» more CADE 2005»

Hierarchic Reasoning in Local Theory Extensions

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers