Search Sciweavers | Sciweavers

8132 search results - page 81 / 1627

» Dependability, Abstraction, and Programming

click to vote

ATVA
2009
Springer

125views Hardware» more ATVA 2009»

Automated Analysis of Data-Dependent Programs with Dynamic Memory

15 years 4 months ago

Download www.cse.chalmers.se

We present a new approach for automatic veriﬁcation of data-dependent programs manipulating dynamic heaps. A heap is encoded by a graph where the nodes represent the cells, and t...

Parosh Aziz Abdulla, Muhsin Atto, Jonathan Cederbe...

claim paper

Read More »

click to vote

CSMR
2008
IEEE

139views Software Engineering» more CSMR 2008»

Understanding the Impact of Distribution in Object-Oriented Distributed Systems Using Structural Program Dependencies

14 years 11 months ago

Download loose.upt.ro.

The software industry is increasingly facing the issues of understanding and maintaining a particular type of software systems, namely distributed systems. While these systems are...

Dan C. Cosma, Radu Marinescu

claim paper

Read More »

click to vote

TACAS
2007
Springer

125views Algorithms» more TACAS 2007»

Type-Dependence Analysis and Program Transformation for Symbolic Execution

15 years 4 months ago

Download www.cc.gatech.edu

Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...

Saswat Anand, Alessandro Orso, Mary Jean Harrold

claim paper

Read More »

click to vote

AFP
2008
Springer

252views Formal Methods» more AFP 2008»

Dependently Typed Programming in Agda

15 years 4 months ago