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

15 years 7 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

15 years 6 months ago

Download www.cse.ohio-state.edu

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

claim paper

Read More »

103

Voted

GIS
2008
ACM

98views Automated Reasoning» more GIS 2008»

Location approximation for local search services using natural language hints

15 years 1 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

15 years 12 days ago

Download www.cs.umd.edu

Gianluca Quercini, Hanan Samet, Jagan Sankaranaray...

claim paper

Read More »

194

Voted

POPL
2009
ACM

94views Programming Languages» more POPL 2009»

Local rely-guarantee reasoning

16 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers