Search Sciweavers | Sciweavers

940 search results - page 5 / 188

» Local rely-guarantee reasoning

100

click to vote

LOPSTR
2004
Springer

87views Automated Reasoning» more LOPSTR 2004»

Logical Mobility and Locality Types

15 years 9 months ago

Download www.cs.cmu.edu

Jonathan Moody

claim paper

Read More »

112

Voted

CSL
2001
Springer

135views Automated Reasoning» more CSL 2001»

Local Reasoning about Programs that Alter Data Structures

15 years 8 months ago

Download www.cse.ohio-state.edu

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

claim paper

Read More »

120

click to vote

GIS
2008
ACM

98views Automated Reasoning» more GIS 2008»

Location approximation for local search services using natural language hints

15 years 3 months ago

Download users.ugent.be

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

claim paper

Read More »

Voted

GIS
2010
ACM

102views Automated Reasoning» more GIS 2010»

Determining the spatial reader scopes of news sources using local lexicons

15 years 2 months ago

Download www.cs.umd.edu

Gianluca Quercini, Hanan Samet, Jagan Sankaranaray...

claim paper

Read More »

214

Voted

POPL
2009
ACM

94views Programming Languages» more POPL 2009»

Local rely-guarantee reasoning

16 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers