% Proceedings of the 7th International Workshop on
% Higher Order Logic Theorem Proving and its Applications
%
% The entry for the full proceedings is at the end of the file.

@InProceedings{HUG94:Ager,
   author = {S. Agerholm},
   title = {{LCF} Examples in {HOL}},
   pages = {1--16},
   crossref = {HUG94}}

@InProceedings{HUG94:AnPP,
   author = {F. Andersen and K. D. Petersen and J. S. Pettersson},
   title = {A Graphical Tool for Proving {UNITY} Progress},
   pages = {17--32},
   crossref = {HUG94}}

@InProceedings{HUG94:AnCD,
   author = {C. M. Angelo and L. Claesen and De Man, H.},
   title = {Reasoning About a Class of Linear Systems of Equations in {HOL}},
   pages = {33--48},
   crossref = {HUG94}}

@InProceedings{HUG94:BoFR,
   author = {J.-P. Bodeveix and M. Filali and P. Roche},
   title = {Towards a {HOL} Theory of Memory},
   pages = {49--64},
   crossref = {HUG94}}

@InProceedings{HUG94:Brac,
   author = {S. H. Brackin},
   title = {Providing Tractable Security Analyses in {HOL}},
   pages = {65--80},
   crossref = {HUG94}}

@InProceedings{HUG94:deBr,
   author = {N. G. de Bruijn},
   title = {Highlighting the Lambda-free Fragment of {Automath}},
   pages = {81--96},
   crossref = {HUG94}}

@InProceedings{HUG94:Busc,
   author = {H. Busch},
   title = {First-Order Automation for Higher-Order-Logic Theorem Proving},
   pages = {97--112},
   crossref = {HUG94}}

@InProceedings{HUG94:CaZa,
   author = {J. Camilleri and V. Zammit},
   title = {Symbolic Animation as a Proof Tool},
   pages = {113--127},
   crossref = {HUG94}}

@InProceedings{HUG94:ChFF,
   author = {N. Chapman and S. Finn and M. P. Fourman},
   title = {Datatypes in {L2}},
   pages = {128--143},
   crossref = {HUG94}}

@InProceedings{HUG94:Chou1,
   author = {C.-T. Chou},
   title = {A Formal Theory of Undirected Graphs in Higher-Order Logic},
   pages = {144--157},
   crossref = {HUG94}}

@InProceedings{HUG94:Chou2,
   author = {C.-T. Chou},
   title = {Mechanical Verification of Distributed Algorithms in Higher-Order
            Logic},
   pages = {158--176},
   crossref = {HUG94}}

@InProceedings{HUG94:Curz,
   author = {P. Curzon},
   title = {Tracking Design Changes with Formal Verification},
   pages = {177--192},
   crossref = {HUG94}}

@InProceedings{HUG94:Fors,
   author = {T. Forster},
   title = {Weak Systems of Set Theory Related to {HOL}},
   pages = {193--204},
   crossref = {HUG94}}

@InProceedings{HUG94:FuSo,
   author = {D. A. Fura and A. K. Somani},
   title = {Interval-Semantic Component Models and the Efficient Verification
            of Transaction-Level Circuit Behaviour},
   pages = {205--220},
   crossref = {HUG94}}

@InProceedings{HUG94:Grah,
   author = {B. T. Graham},
   title = {An Interpretation of {NODEN} in {HOL}},
   pages = {221--234},
   crossref = {HUG94}}

@InProceedings{HUG94:Hann,
   author = {K. Hanna},
   title = {Reasoning about Real Circuits},
   pages = {235--253},
   crossref = {HUG94}}

@InProceedings{HUG94:Harr,
   author = {J. Harrison},
   title = {Binary Decision Diagrams as a {HOL} Derived Rule},
   pages = {254--268},
   crossref = {HUG94}}

@InProceedings{HUG94:HoMa,
   author = {P. V. Homeier and D. F. Martin},
   title = {Trustworthy Tools for Trustworthy Programs:
            A Verified Verification Condition Generator},
   pages = {269--284},
   crossref = {HUG94}}

@InProceedings{HUG94:JoDD,
   author = {J. Joyce and N. Day and M. Donat},
   title = {{S}: A Machine Readable Specification Notation Based on Higher
            Order Logic},
   pages = {285--299},
   crossref = {HUG94}}

@InProceedings{HUG94:Lars,
   author = {M. Larsson},
   title = {An Engineering Approach to Formal Digital System Design},
   pages = {300--315},
   crossref = {HUG94}}

@InProceedings{HUG94:LuCh,
   author = {J.-Y. Lu and S.-K. Chin},
   title = {Generating Designs Using an Algorithmic Register Transfer Language
            with Formal Semantics},
   pages = {316--331},
   crossref = {HUG94}}

@InProceedings{HUG94:Lang,
   author = {T. L{\aa}ngbacka},
   title = {A {HOL} Formalisation of the Temporal Logic of Actions},
   pages = {332--345},
   crossref = {HUG94}}

@InProceedings{HUG94:MaGu,
   author = {S. Maharaj and E. Gunter},
   title = {Studying the {ML} Module System in {HOL}},
   pages = {346--361},
   crossref = {HUG94}}

@InProceedings{HUG94:Pras,
   author = {I. S. W. B. Prasetya},
   title = {Towards a Mechanically Supported and Compositional Calculus to
            Design Distributed Algorithms},
   pages = {362--377},
   crossref = {HUG94}}

@InProceedings{HUG94:ReKr,
   author = {R. Reetz and T. Kropf},
   title = {Simplifying Deep Embedding: A Formalised Code Generator},
   pages = {378--390},
   crossref = {HUG94}}

@InProceedings{HUG94:ScKK,
   author = {K. Schneider and R. Kumar and T. Kropf},
   title = {Automating Verification by Functional Abstraction at the System
            Level},
   pages = {391--406},
   crossref = {HUG94}}

@InProceedings{HUG94:Slin,
   author = {K. Slind},
   title = {A Parameterized Proof Manager},
   pages = {407--423},
   crossref = {HUG94}}

@InProceedings{HUG94:TaKu,
   author = {S. Tahar and R. Kumar},
   title = {Implementational Issues for Verifying {RISC}-Pipeline Conflicts
            in {HOL}},
   pages = {424--439},
   crossref = {HUG94}}

@InProceedings{HUG94:Wind,
   author = {P. J. Windley},
   title = {Specifying Instruction-Set Architectures in {HOL}: A Primer},
   pages = {440--455},
   crossref = {HUG94}}

@InProceedings{HUG94:vonW,
   author = {J. von Wright},
   title = {Representing Higher-Order Logic Proofs in {HOL}},
   pages = {456--470},
   crossref = {HUG94}}

@Proceedings{HUG94,
   title = {Proceedings of the 7th International Workshop on Higher Order
            Logic Theorem Proving and Its Applications},
   booktitle = {Proceedings of the 7th International Workshop on Higher Order
                Logic Theorem Proving and Its Applications},
   year = {1994},
   series = {Lecture Notes in Computer Science},
   volume = {859},
   editor = {T. F. Melham and J. Camilleri},
   publisher = {Springer-Verlag},
   address = {Valletta, Malta},
   month = {September}}