Search Sciweavers | Sciweavers

4725 search results - page 30 / 945

» Dependence-Based Program Analysis

click to vote

ASPLOS
2010
ACM

287views Programming Languages» more ASPLOS 2010»

Butterfly analysis: adapting dataflow analysis to dynamic parallel monitoring

13 years 11 months ago

Download www.cs.cmu.edu

Online program monitoring is an effective technique for detecting bugs and security attacks in running applications. Extending these tools to monitor parallel programs is challeng...

Michelle L. Goodstein, Evangelos Vlachos, Shimin C...

claim paper

Read More »

click to vote

ICLP
2007
Springer

90views Automated Reasoning» more ICLP 2007»

Visual Logic Programming Method Based on Structural Analysis and Design Technique

14 years 2 months ago

Download www.cplire.ru

Alexei A. Morozov

claim paper

Read More »

click to vote

APLAS
2005
ACM

91views Programming Languages» more APLAS 2005»

Termination Analysis of Higher-Order Functional Programs

14 years 2 months ago

Download metacomp.comlab.ox.ac.uk

Damien Sereni, Neil D. Jones

claim paper

Read More »

click to vote

ICLP
2005
Springer

147views Automated Reasoning» more ICLP 2005»

Analysis and Optimization of CHR Programs

14 years 1 months ago

Download people.cs.kuleuven.be

Jon Sneyers

claim paper

Read More »

click to vote

CC
2003
Springer

104views System Software» more CC 2003»

Dimensions of Precision in Reference Analysis of Object-Oriented Programming Languages

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers