7. TPHOLs 1994: Valletta, Malta

Thomas F. Melham, Juanito Camilleri (Eds.): Higher Order Logic Theorem Proving and Its Applications, 7th International Workshop, Valletta, Malta, September 19-22, 1994, Proceedings. Lecture Notes in Computer Science 859 Springer 1994, ISBN 3-540-58450-1 BibTeX

@proceedings{DBLP:conf/tphol/1994,
  editor    = {Thomas F. Melham and
               Juanito Camilleri},
  title     = {Higher Order Logic Theorem Proving and Its Applications, 7th
               International Workshop, Valletta, Malta, September 19-22, 1994,
               Proceedings},
  booktitle = {TPHOLs},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {859},
  year      = {1994},
  isbn      = {3-540-58450-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Sten Agerholm: LCF Examples in HOL. 1-16 BibTeX
Flemming Andersen, Kim Dam Petersen, Jimmi S. Pettersson: A Graphical Tool for Proving Unity Progress. 17-32 BibTeX
Catia M. Angelo, Luc J. M. Claesen, Hugo De Man: Reasoning About a Class of Linear Systems of Equations in HOL. 33-48 BibTeX
Jean-Paul Bodeveix, Mamoun Filali, P. Roche: Towards a HOL Theory and Memory. 49-64 BibTeX
Stephen H. Brackin: Providing Tractable Security Analysis in HOL. 65-80 BibTeX
N. G. de Bruijn: Highlighting the Lambda-free Fragment of Automath. 81-96 BibTeX
Holger Busch: First-Order Automation for Higher-Order-Logic Theorem Proving. 97-112 BibTeX
Juanito Camilleri, Vincent Zammit: Symbolic Animation as a Proof Tool. 113-127 BibTeX
Nick Chapman, Simon Finn, Michael P. Fourman: Datatypes in L2. 128-143 BibTeX
Ching-Tsun Chou: A Formal Theory of Undirected Graphs in Higher-Order Logic. 144-157 BibTeX
Ching-Tsun Chou: Mechanical Verification of Distributed Algorithms in Higher-Order Logic. 158-176 BibTeX
Paul Curzon: Tracking Design Changes with Formal Verification. 177-192 BibTeX
Thomas Forster: Weak Systems of Set Theory Related to HOL. 193-204 BibTeX
David A. Fura, Arun K. Somani: Interval-Semantic Component Models and the Efficient Verification of Transaction-Level Circiut Behavior. 205-220 BibTeX
Brian T. Graham: An Interpretation of NODEN in HOL. 221-234 BibTeX
Keith Hanna: Reasoning about Real Circuits. 235-253 BibTeX
John Harrison: Binary Decision Diagrams as a HOL Derived Rule. 254-268 BibTeX
Peter V. Homeier, David F. Martin: Trustworthy Tools for Trustworthy Programs: A Verified Verification Condition Generator. 269-284 BibTeX
Jeffrey J. Joyce, Nancy A. Day, Michael R. Donat: S: A Machine Readable Specification Notation based on Higher Order Logic. 285-299 BibTeX
Mats Larsson: An Engineering Approach to Formal Digital System Design. 300-315 BibTeX
Juin-Yeu Lu, Shiu-Kai Chin: Generating Designs Using an Algorithmic Register Transfer Language with Formal Semantics. 316-331 BibTeX
Thomas Långbacka: A HOL Formalisation of the Temporal Logic of Actions. 332-345 BibTeX
Savi Maharaj, Elsa L. Gunter: Studying the ML Module System in Hol. 346-361 BibTeX
I. S. W. B. Prasetya: Towards a Mechanically Supported and Compositional Calculus to Design Destributed Algorithms. 362-377 BibTeX
Ralf Reetz, Thomas Kropf: Simplifying Deep Embedding: A Formalised Code Generator. 378-390 BibTeX
Klaus Schneider, Ramayya Kumar, Thomas Kropf: Automating Verification by Functional Abstraction at the System Level. 391-406 BibTeX
Konrad Slind: A Parameterized Proof Manager. 407-423 BibTeX
Sofiène Tahar, Ramayya Kumar: Implementational Issues for Verifying RISC-Pipeline Conflicts in HOL. 424-439 BibTeX
Phillip J. Windley: Specifying Instruction-Set Architectures in HOL: A Primer. 440-455 BibTeX
Joakim von Wright: Representing Higher-Order Logic Proofs in HOL. 456-470 BibTeX