Search Sciweavers | Sciweavers

1880 search results - page 50 / 376

» A Static Analysis for Beta-Binders

210

click to vote

SAS
1992
Springer

171views Formal Methods» more SAS 1992»

Static Analysis of CLP Programs over Numeric Domains

15 years 10 months ago

Download www.cs.unipr.it

Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...

Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi

claim paper

Read More »

139

click to vote

WWW
2008
ACM

93views Internet Technology» more WWW 2008»

Protecting web services from remote exploit code: a static analysis approach

16 years 6 months ago

Download www2008.org

We propose STILL, a signature-free remote exploit binary code injection attack blocker to protect web servers and web applications. STILL is robust to almost all anti-signature, a...

Xinran Wang, Yoon-chan Jhi, Sencun Zhu, Peng Liu

claim paper

Read More »

148

click to vote

PODS
2008
ACM

110views Database» more PODS 2008»

Static analysis of active XML systems

16 years 6 months ago

Download db.ucsd.edu

Active XML is a high-level specification language tailored to dataintensive, distributed, dynamic Web services. Active XML is based on XML documents with embedded function calls. ...

Serge Abiteboul, Luc Segoufin, Victor Vianu

claim paper

Read More »

148

click to vote

ICFP
2004
ACM

114views Programming Languages» more ICFP 2004»

Improving the static analysis of embedded languages via partial evaluation

16 years 5 months ago

Download www.ccs.neu.edu

David Herman, Philippe Meunier

claim paper