Sciweavers

3688 search results - page 68 / 738

» Static analysis of aspects

114

Voted

PASTE
2005
ACM

74views Software Engineering» more PASTE 2005»

Link-time static analysis for efficient separate compilation of object-oriented languages

15 years 10 months ago

Link-time static analysis for efficient separate compilation of object-oriented languages

Download groups.csail.mit.edu

Jean Privat, Roland Ducournau

claim paper

Read More »

103

Voted

XIMEP
2005
ACM

104views Database» more XIMEP 2005»

Adding Updates to XQuery: Semantics, Optimization, and Static Analysis

15 years 10 months ago

Adding Updates to XQuery: Semantics, Optimization, and Static Analysis

Download www.ximeco.org

Michael Benedikt, Angela Bonifati, Sergio Flesca, ...

claim paper

Read More »

110

ATVA
2005
Springer

93views Hardware» more ATVA 2005»

A Static Analysis Using Tree Automata for XML Access Control

15 years 10 months ago

A Static Analysis Using Tree Automata for XML Access Control

Download unit.aist.go.jp

Isao Yagi, Yoshiaki Takata, Hiroyuki Seki

claim paper

Read More »

115

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

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

Download www.di.ens.fr

Julien Bertrane

claim paper

Read More »

131

CAV
2004
Springer

159views Hardware» more CAV 2004»

Static Program Analysis via 3-Valued Logic

15 years 10 months ago

Static Program Analysis via 3-Valued Logic

Download www.cs.wisc.edu

This paper reviews the principles behind the paradigm of “abstract interpretation via § -valued logic,” discusses recent work to extend the approach, and summarizes ongoing re...

Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm

claim paper

Read More »

« Prev « First page 68 / 738 Last » Next »