Search
Now showing items 1-7 of 7
Memory Usage Inference for Object-Oriented Programs
(2005-01)
We present a type-based approach to statically derive symbolic closed-form formulae that characterize the bounds of heap memory usages of programs written in object-oriented languages. Given a program with size and alias ...
Incremental Verification of Timing Constraints for Real-Time Systems
(2005-01)
Testing constraints for real-time systems are usually verified through the satisfiability of propositional formulae. In this paper, we propose an alternative where the verification of timing constraints can be done by ...
A New Constructive Method for the One-Letter Context-Free Grammars
(2004-01)
Constructive methods for obtaining the regular grammar counterparts for some sub-classes of the context free grammars (cfg) have been investigated by many researchers. An important class of grammars for which this is always ...
Solving a Class of Higher-Order Equations over a Group Structure
(2003-01)
In recent years, symbolic and constraint-solving techniques have been making major advances and are continually being deployed in new business and engineering applications. A major push behind this trend has been the ...
Towards An Automated Approach to Hardware/Software Decomposition
(2003-01)
We propose in this paper an algebraic approach to hard-ware/software partitioning in Verilog Hardware Description Language (HDL). We explore a collection of algebraic laws for Verilog programs, from which we design a set ...
Region Type Checking for Core-Java
(2004-01)
Region-based memory management offers several important advantages over garbage-collected heap, including real-time performance, better data locality and efficient use of limited memory. The concept of regions was first ...
Automated Verification of Shape and Size
(2007-01)
Despite their popularity and importance, pointer based programs remain a major challenge for program verification. In this paper, we propose an automated verification system that is concise, precise and expressive for ...