Search Sciweavers | Sciweavers

4719 search results - page 44 / 944

» Newtonian program analysis

click to vote

BIRTHDAY
2010
Springer

192views Applied Computing» more BIRTHDAY 2010»

Counterexample Guided Path Reduction for Static Program Analysis

13 years 8 months ago

Download www.cse.unsw.edu.au

Abstract. In this work we introduce counterexample guided path reduction based on interval constraint solving for static program analysis. The aim of this technique is to reduce th...

Ansgar Fehnker, Ralf Huuck, Sean Seefried

claim paper

Read More »

click to vote

CSMR
2005
IEEE

96views Software Engineering» more CSMR 2005»

An XML-Based Framework for Language Neutral Program Representation and Generic Analysis

14 years 1 months ago

Download swag.uwaterloo.ca

XML applications are becoming increasingly popular to define structured or semi-structured constrained data in XML for special application areas. In pursuit there is a growing mom...

Raihan Al-Ekram, Kostas Kontogiannis

claim paper

Read More »

click to vote

IWPC
1997
IEEE

129views Software Engineering» more IWPC 1997»

A Case Study of Domain-based Program Understanding

13 years 11 months ago

Download www.ece.gatech.edu

Program understanding relates a computer program to the goals and requirements it is designed to accomplish. Understanding techniques that rely only on source code analysis are li...

Richard Clayton, Spencer Rugaber, Lyman Taylor, Li...

claim paper

Read More »

click to vote

ICALP
2009
Springer

127views Programming Languages» more ICALP 2009»

Competitive Analysis of Aggregate Max in Windowed Streaming

14 years 2 months ago

Download cgi.di.uoa.gr

Luca Becchetti, Elias Koutsoupias

claim paper

Read More »