Search Sciweavers | Sciweavers

4722 search results - page 101 / 945

» Representation-independent program analysis

128

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 10 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 »

110

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 10 months ago

Download www.di.ens.fr

Julien Bertrane

claim paper

Read More »

117

click to vote

VMCAI
2005
Springer

65views Software Engineering» more VMCAI 2005»

Scalable Analysis of Linear Systems Using Mathematical Programming

15 years 10 months ago

Download ropas.snu.ac.kr

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

claim paper

Read More »

110

click to vote

VSTTE
2005
Springer

75views Software Engineering» more VSTTE 2005»

Computational Logical Frameworks and Generic Program Analysis Technologies

15 years 10 months ago

Download vstte.ethz.ch

José Meseguer, Grigore Rosu

claim paper

Read More »

106

click to vote

CASES
2004
ACM

115views System Software» more CASES 2004»

Causality analysis of synchronous programs with delayed actions

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers