Search Sciweavers | Sciweavers

15777 search results - page 281 / 3156

» The Reformulation-Optimization Software Engine

click to vote

SCAM
2009
IEEE

152views Software Engineering» more SCAM 2009»

Towards Comparing and Combining Points-to Analyses

15 years 10 months ago

Download www.dcs.kcl.ac.uk

Tobias Gutzmann, Antonina Khairova, Jonas Lundberg...

claim paper

Read More »

108

Voted

SEFM
2009
IEEE

151views Software Engineering» more SEFM 2009»

Completeness of Pointer Program Verification by Separation Logic

15 years 10 months ago

Download research.nii.ac.jp

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

claim paper

Read More »

click to vote

ICSM
2009
IEEE

166views Software Engineering» more ICSM 2009»

Abstracting the template instantiation relation in C++

15 years 10 months ago

Download www.cs.kent.edu

Andrew Sutton, Ryan Holeman, Jonathan I. Maletic

claim paper

Read More »

103

click to vote

ICSM
2009
IEEE

147views Software Engineering» more ICSM 2009»

Criteria for the evaluation of implemented architectures

15 years 10 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 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers