This article describes CCured, a program transformation system that adds type safety guarantees to existing C programs. CCured attempts to verify stat...
We propose regular expression types as a foundation for statically typed XML processing languages. Regular expression types, like most schema language...
Read-only fields are useful in object calculi, pi calculi, and statically typed intermediate languages because they admit covariant subtyping, unlike...
This paper proposes a framework for the handling of spatio-temporal queries with inexact matches, using the concept of relation similarity. We initial...
We introduce and create a framework for deriving probabilistic models of Information Retrieval. The models are nonparametric models of IR obtained in...
