Search Sciweavers | Sciweavers

3776 search results - page 11 / 756

» Partition-Based Logical Reasoning

click to vote

CONCUR
2004
Springer

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

Resources, Concurrency and Local Reasoning

14 years 1 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 »

click to vote

CADE
2006
Springer

117views Logical Reasoning» more CADE 2006»

Representing and Reasoning with Operational Semantics

14 years 8 months ago

Download www.easychair.org

Dale Miller

claim paper

Read More »

click to vote

CADE
2004
Springer

90views Logical Reasoning» more CADE 2004»

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

14 years 8 months ago

Download sunsite.informatik.rwth-aachen.de

Lei Li

claim paper

Read More »

click to vote

CADE
2004
Springer

91views Logical Reasoning» more CADE 2004»

Reasoning Support for OWL-E

14 years 8 months ago

Download sunsite.informatik.rwth-aachen.de

Jeff Z. Pan

claim paper

Read More »

click to vote

CADE
2005
Springer

126views Logical Reasoning» more CADE 2005»

Hierarchic Reasoning in Local Theory Extensions

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers