Search Sciweavers | Sciweavers

4719 search results - page 109 / 944

» Newtonian program analysis

108

Voted

CORR
2006
Springer

57views Education» more CORR 2006»

Program Spectra Analysis in Embedded Software: A Case Study

15 years 3 months ago

Download www.esi.nl

Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund

claim paper

Read More »

click to vote

ECEASST
2006

62views more ECEASST 2006»

Automation of Java Code Analysis for Programming Exercises

15 years 3 months ago

Download zfh.uni-duisburg-essen.de

Carsten Köllmann, Michael Goedicke

claim paper

Read More »

124

Voted

CORR
2007
Springer

117views Education» more CORR 2007»

Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling

15 years 3 months ago

Download www.clip.dia.fi.upm.es

Edison Mera, Pedro López-García, Ger...

claim paper

Read More »

click to vote

CORR
2007
Springer

84views Education» more CORR 2007»

Collection analysis for Horn clause programs

15 years 3 months ago

Download www.lix.polytechnique.fr

Dale Miller

claim paper

Read More »

click to vote

JOT
2008

57views more JOT 2008»

A Static Analysis to Detect Re-Entrancy in Object Oriented Programs

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers