Search Sciweavers | Sciweavers

15885 search results - page 304 / 3177

» The Modest Software Engineer

click to vote

SCAM
2009
IEEE

152views Software Engineering» more SCAM 2009»

Towards Comparing and Combining Points-to Analyses

15 years 11 months ago

Download www.dcs.kcl.ac.uk

Tobias Gutzmann, Antonina Khairova, Jonas Lundberg...

claim paper

Read More »

117

Voted

SEFM
2009
IEEE

151views Software Engineering» more SEFM 2009»

Completeness of Pointer Program Verification by Separation Logic

15 years 11 months ago

Download research.nii.ac.jp

Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al ...

claim paper

Read More »

Voted

ICSM
2009
IEEE

166views Software Engineering» more ICSM 2009»

Abstracting the template instantiation relation in C++

15 years 11 months ago

Download www.cs.kent.edu

Andrew Sutton, Ryan Holeman, Jonathan I. Maletic

claim paper

Read More »

113

Voted

ICSM
2009
IEEE

147views Software Engineering» more ICSM 2009»

Criteria for the evaluation of implemented architectures

15 years 11 months ago

Download homepages.cwi.nl

Eric Bouwers, Joost Visser, Arie van Deursen

claim paper

Read More »

Voted

ICSM
2009
IEEE

154views Software Engineering» more ICSM 2009»

Interactive views for analyzing problem reports

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers