Search Sciweavers | Sciweavers

940 search results - page 5 / 188

» Local rely-guarantee reasoning

click to vote

LOPSTR
2004
Springer

87views Automated Reasoning» more LOPSTR 2004»

Logical Mobility and Locality Types

14 years 3 months ago

Download www.cs.cmu.edu

Jonathan Moody

claim paper

Read More »

click to vote

CSL
2001
Springer

135views Automated Reasoning» more CSL 2001»

Local Reasoning about Programs that Alter Data Structures

14 years 2 months ago

Download www.cse.ohio-state.edu

Peter W. O'Hearn, John C. Reynolds, Hongseok Yang

claim paper

Read More »

click to vote

GIS
2008
ACM

98views Automated Reasoning» more GIS 2008»

Location approximation for local search services using natural language hints

13 years 9 months ago

Download users.ugent.be

Steven Schockaert, Martine De Cock, Etienne E. Ker...

claim paper

Read More »

click to vote

GIS
2010
ACM

102views Automated Reasoning» more GIS 2010»

Determining the spatial reader scopes of news sources using local lexicons

13 years 8 months ago

Download www.cs.umd.edu

Gianluca Quercini, Hanan Samet, Jagan Sankaranaray...

claim paper

Read More »

click to vote

POPL
2009
ACM

94views Programming Languages» more POPL 2009»

Local rely-guarantee reasoning

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers