Search Sciweavers | Sciweavers

4716 search results - page 84 / 944

» Iterative-free program analysis

click to vote

CONCUR
2005
Springer

83views Distributed And Parallel Com...» more CONCUR 2005»

A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs

15 years 3 months ago

Download iml.univ-mrs.fr

Abstract. In this paper we show how to compress eﬃciently the statespace of a concurrent system (here applied to a simple shared memory model, but this is no way limited to that ...

Eric Goubault, Emmanuel Haucourt

claim paper

Read More »

click to vote

VMCAI
2005
Springer

71views Software Engineering» more VMCAI 2005»

Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs

15 years 3 months ago

Download www.di.ens.fr

Julien Bertrane

claim paper

Read More »

click to vote

VMCAI
2005
Springer

65views Software Engineering» more VMCAI 2005»

Scalable Analysis of Linear Systems Using Mathematical Programming

15 years 3 months ago

Download ropas.snu.ac.kr

Sriram Sankaranarayanan, Henny B. Sipma, Zohar Man...

claim paper

Read More »

click to vote

VSTTE
2005
Springer

75views Software Engineering» more VSTTE 2005»

Computational Logical Frameworks and Generic Program Analysis Technologies

15 years 3 months ago

Download vstte.ethz.ch

José Meseguer, Grigore Rosu

claim paper

Read More »

click to vote

CASES
2004
ACM

115views System Software» more CASES 2004»

Causality analysis of synchronous programs with delayed actions

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers