APLAS
15 years 2 months ago
2006 ACM 
The static determination of approximated values of string expressions has many potential applications. For instance, approximated string values may be used to check the validity an...
APLAS
15 years 21 days ago
2006 ACM 
Abstract. Static analyses calculate abstract states, and their logics validate properties of the abstract states. We place into perspective the variety of forwards, backwards, func...
APLAS
15 years 2 months ago
2006 ACM 
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
APLAS
15 years 2 months ago
2006 ACM 
String expression analysis conservatively approximates the possible string values generated by a program. We consider the validation of a context-free grammar obtained by the analy...
APLAS
15 years 2 months ago
2006 ACM
Abstract. The Scheme language report advocates language design as the composition of a small set of orthogonal constructs, instead of a large accumulation of features. In this pape...
|
Programming Languages