Search Sciweavers | Sciweavers

940 search results - page 5 / 188

» Local rely-guarantee reasoning

150

Voted

LOPSTR
2004
Springer

87views Automated Reasoning» more LOPSTR 2004»

Logical Mobility and Locality Types

16 years 23 days ago

Download www.cs.cmu.edu

Jonathan Moody

claim paper

Read More »

166

click to vote

CSL
2001
Springer

135views Automated Reasoning» more CSL 2001»

Local Reasoning about Programs that Alter Data Structures

15 years 12 months ago

Download www.cse.ohio-state.edu

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

claim paper

Read More »

174

click to vote

GIS
2008
ACM

98views Automated Reasoning» more GIS 2008»

Location approximation for local search services using natural language hints

15 years 7 months ago

Download users.ugent.be

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

claim paper

Read More »

112

Voted

GIS
2010
ACM

102views Automated Reasoning» more GIS 2010»

Determining the spatial reader scopes of news sources using local lexicons

15 years 6 months ago

Download www.cs.umd.edu

Gianluca Quercini, Hanan Samet, Jagan Sankaranaray...

claim paper

Read More »

265

Voted

POPL
2009
ACM

94views Programming Languages» more POPL 2009»

Local rely-guarantee reasoning

16 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers