Search Sciweavers | Sciweavers

4725 search results - page 96 / 945

» Dependence-Based Program Analysis

144

click to vote

PEPM
1995
ACM

98views Software Engineering» more PEPM 1995»

Semantic Foundations of Binding Time Analysis for Imperative Programs

15 years 10 months ago

Download www.cs.wisc.edu

Manuvir Das, Thomas W. Reps, Pascal Van Hentenryck

claim paper

Read More »

147

click to vote

APSEC
2006
IEEE

92views Software Engineering» more APSEC 2006»

Safety Analysis for Dynamic Update of Object Oriented Programs

15 years 8 months ago

Download www.cse.iitb.ac.in

Yogesh Murarka, Umesh Bellur, Rushikesh K. Joshi

claim paper

Read More »

144

click to vote

FMCAD
2008
Springer

77views Formal Methods» more FMCAD 2008»

Symbolic Program Analysis Using Term Rewriting and Generalization

15 years 8 months ago

Download www.nec-labs.com

Nishant Sinha

claim paper

Read More »

131

click to vote

FMICS
2008
Springer

91views Formal Methods» more FMICS 2008»

Using Datalog and Boolean Equation Systems for Program Analysis

15 years 8 months ago

Download users.dsic.upv.es

María Alpuente, Marco A. Feliú, Chri...

claim paper

Read More »

163

click to vote

RIVF
2003

106views Internet Technology» more RIVF 2003»

Analysis of program based on Synchronous Active Objects

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers