Search Sciweavers | Sciweavers

4722 search results - page 107 / 945

» Representation-independent program analysis

click to vote

ICCAD
1997
IEEE

96views Hardware» more ICCAD 1997»

Embedded program timing analysis based on path clustering and architecture classification

14 years 20 days ago

Download www.cs.york.ac.uk

Rolf Ernst, Wei Ye

claim paper

Read More »

click to vote

PEPM
1995
ACM

98views Software Engineering» more PEPM 1995»

Semantic Foundations of Binding Time Analysis for Imperative Programs

14 years 20 days 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

13 years 11 months ago

Download www.cse.iitb.ac.in

Yogesh Murarka, Umesh Bellur, Rushikesh K. Joshi

claim paper

Read More »

click to vote

FMCAD
2008
Springer

77views Formal Methods» more FMCAD 2008»

Symbolic Program Analysis Using Term Rewriting and Generalization

13 years 10 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

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers