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
Daniel Brand, Tsutomu Sasao
IEEE TC
Daniel Brand
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Paper
Verification of HDLC
Daniel Brand, William H. Joyner
IEEE Transactions on Communications