Search Sciweavers | Sciweavers

4725 search results - page 96 / 945

» Dependence-Based Program Analysis

101

Voted

PEPM
1995
ACM

98views Software Engineering» more PEPM 1995»

Semantic Foundations of Binding Time Analysis for Imperative Programs

15 years 6 months ago

Download www.cs.wisc.edu

Manuvir Das, Thomas W. Reps, Pascal Van Hentenryck

claim paper

Read More »

click to vote

APSEC
2006
IEEE

92views Software Engineering» more APSEC 2006»

Safety Analysis for Dynamic Update of Object Oriented Programs

15 years 4 months ago

Download www.cse.iitb.ac.in

Yogesh Murarka, Umesh Bellur, Rushikesh K. Joshi

claim paper

Read More »

Voted

FMCAD
2008
Springer

77views Formal Methods» more FMCAD 2008»

Symbolic Program Analysis Using Term Rewriting and Generalization

15 years 4 months ago

Download www.nec-labs.com

Nishant Sinha

claim paper

Read More »

click to vote

FMICS
2008
Springer

91views Formal Methods» more FMICS 2008»

Using Datalog and Boolean Equation Systems for Program Analysis

15 years 4 months ago

Download users.dsic.upv.es

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

claim paper

Read More »

123

Voted

RIVF
2003

106views Internet Technology» more RIVF 2003»

Analysis of program based on Synchronous Active Objects

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers