Search Sciweavers | Sciweavers

6960 search results - page 167 / 1392

» Continuity Analysis of Programs

147

click to vote

ADAEUROPE
2000
Springer

75views Software Engineering» more ADAEUROPE 2000»

Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs

15 years 10 months ago

Download fabrice.kordon.free.fr

Johann Blieberger, Bernd Burgstaller, Bernhard Sch...

claim paper

Read More »

199

click to vote

AGP
2010
IEEE

284views Artificial Intelligence» more AGP 2010»

Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming

15 years 10 months ago

Download www.math.unipd.it

Giorgio Delzanno, Roberto Giacobazzi, Francesco Ra...

claim paper

Read More »

189

click to vote

ACPC
1999
Springer

263views Distributed And Parallel Com...» more ACPC 1999»

Inter-procedural Analysis for Parallelization of Java Programs

15 years 10 months ago

Download lab.iisec.ac.jp

Antonio Magnaghi, Shuichi Sakai, Hidehiko Tanaka

claim paper

Read More »

143

click to vote

ECOOPW
1999
Springer

104views Distributed And Parallel Com...» more ECOOPW 1999»

PAOLA - Program Analysis of Object-Oriented Languages

15 years 10 months ago

Download www.isys.uni-klu.ac.at

Wolfram Amme, Markus Schordan, László...

claim paper

Read More »

141

click to vote

LICS
1999
IEEE

82views Automated Reasoning» more LICS 1999»

Non-Deterministic Games and Program Analysis: An Application to Security

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers