Search Sciweavers | Sciweavers

4719 search results - page 100 / 944

» Newtonian program analysis

click to vote

PASTE
2005
ACM

107views Software Engineering» more PASTE 2005»

Making distributed systems secure with program analysis and transformation

14 years 3 months ago

Download groups.csail.mit.edu

Andrew C. Myers

claim paper

Read More »

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

14 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

14 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

14 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

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers