Sciweavers

1880 search results - page 54 / 376

» A Static Analysis for Beta-Binders

68

XIMEP
2005
ACM

104views Database» more XIMEP 2005»

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

15 years 5 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 »

65

ATVA
2005
Springer

93views Hardware» more ATVA 2005»

A Static Analysis Using Tree Automata for XML Access Control

15 years 5 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 »

69

VMCAI
2005
Springer

71views Software Engineering» more VMCAI 2005»

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

15 years 5 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 »

85

CAV
2004
Springer

159views Hardware» more CAV 2004»

Static Program Analysis via 3-Valued Logic

15 years 5 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 »

79

VMCAI
2004
Springer

84views Software Engineering» more VMCAI 2004»

Static Analysis versus Software Model Checking for Bug Finding

15 years 5 months ago

Static Analysis versus Software Model Checking for Bug Finding

Download se.inf.ethz.ch

Dawson R. Engler, Madanlal Musuvathi

claim paper

Read More »

« Prev « First page 54 / 376 Last » Next »