Conference paper
Flexible pointer analysis using Assign-Fetch Graphs
Marcio Buss, Daniel Brand, et al.
SAC 2008
Paper
On typing in prolog
Abstract
Frequently a domain of discourse can be described as a hierarchical structure. Then instead of using one place predicates to describe the type of a term one can associate types directly, and let the unification procedure take advantage of it. This prunes the search space without the use of the Cut operator. © 1986, ACM. All rights reserved.
Related
Conference paper
Symbolic simulation for correct machine design
William C. Carter, William H. Joyner, et al.
DAC 1979
Marcio Buss, Daniel Brand, et al.
Science of Computer Programming
Daniel Brand, Reinaldo A. Bergamaschi, et al.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems