Search results for "Higher-order-logic"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Alexander Krauss 0001	Automating recursive definitions and termination proofs in higher-order logic. (PDF / PS)		2009	RDF
15	Scott Owens, Konrad Slind	Adapting functional programs to higher order logic.	High. Order Symb. Comput.	2008	DBLP DOI BibTeX RDF
15	Christoph Benzmüller, Florian Rabe 0001, Carsten Schürmann, Geoff Sutcliffe	Evaluation of Systems for Higher-order Logic (ESHOL).	PAAR/ESHOL	2008	DBLP BibTeX RDF
15	Tjark Weber	SAT-based finite model generation for higher-order logic. (PDF / PS)		2008	RDF
15	James H. Andrews	An untyped higher order logic with Y combinator.	J. Symb. Log.	2007	DBLP DOI BibTeX RDF
15	Ignacio Jané	Higher-order Logic Reconsidered.	The Oxford Handbook of Philosophy of Mathematics and Logic	2007	DBLP BibTeX RDF
15	Stewart Shapiro	Higher-order Logic.	The Oxford Handbook of Philosophy of Mathematics and Logic	2007	DBLP BibTeX RDF
15	Mikolás Janota, Joseph Kiniry	Reasoning about Feature Models in Higher-Order Logic.	SPLC	2007	DBLP DOI BibTeX RDF
15	Christoph Benzmüller, John Harrison 0001, Carsten Schürmann	LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL)	CoRR	2006	DBLP BibTeX RDF
15	Mike Gordon, Juliano Iyoda, Scott Owens, Konrad Slind	Automatic Formal Synthesis of Hardware from Higher Order Logic.	AVoCS	2005	DBLP DOI BibTeX RDF
15	Farhad Mehta, Tobias Nipkow	Proving pointer programs in higher-order logic.	Inf. Comput.	2005	DBLP DOI BibTeX RDF
15	Brigitte Pientka	Tabling for Higher-Order Logic Programming.	CADE	2005	DBLP DOI BibTeX RDF
15	James Higginbotham	On Higher-Order Logic and Natural Language.	Studies in the philosophy of logic and knowledge	2004	DBLP BibTeX RDF
15	David Bostock	On Motivating Higher-Order Logic.	Studies in the philosophy of logic and knowledge	2004	DBLP BibTeX RDF
15	Jørgen Villadsen	A Paraconsistent Higher Order Logic.	AISC	2004	DBLP DOI BibTeX RDF
15	Thumrongsak Kosiyatrakul, Susan Older, Polar Humenn, Shiu-Kai Chin	Implementing a Calculus for Distributed Access Control in Higher Order Logic and HOL.	MMM-ACNS	2003	DBLP DOI BibTeX RDF
15	Stefan Berghofer	Proofs, programs and executable specifications in higher order logic.		2003	RDF
15	Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel 0001	Isabelle/HOL - A Proof Assistant for Higher-Order Logic		2002	DOI RDF
15	Stefan Berghofer	Program Extraction in Simply-Typed Higher Order Logic.	TYPES	2002	DBLP DOI BibTeX RDF
15	Jørgen Villadsen	A Paraconsistent Higher Order Logic.	Paraconsistent Computational Logic	2002	DBLP BibTeX RDF
15	Robert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper	Refinement of Higher-Order Logic Programs.	LOPSTR	2002	DBLP DOI BibTeX RDF
15	Marieke Huisman	Reasoning about Java programs in higher order logic using PVS and Isabelle.		2001	RDF
15	Javier Leach, Susana Nieva	A Higher-Order Logic Programming Language with Constraints.	FLOPS	2001	DBLP DOI BibTeX RDF
15	Steven Awodey, Carsten Butz	Topological Completeness for Higher-Order Logic.	J. Symb. Log.	2000	DBLP DOI BibTeX RDF
15	John W. Lloyd	Predicate Construction in Higher-order Logic.	Electron. Trans. Artif. Intell.	2000	DBLP BibTeX RDF
15	Wolfgang Degen, Jan Johannsen	Cumulative Higher-Order Logic as a Foundation for Set Theory.	Math. Log. Q.	2000	DBLP DOI BibTeX RDF
15	François Puitg, Jean-François Dufourd	Formalizing mathematics in higher-order logic: A case study in geometric modelling.	Theor. Comput. Sci.	2000	DBLP DOI BibTeX RDF
15	Linas Laibinis, Joakim von Wright	Functional Procedures in Higher-Order Logic.	TPHOLs	2000	DBLP DOI BibTeX RDF
15	Stefan Berghofer, Tobias Nipkow	Executing Higher Order Logic.	TYPES	2000	DBLP DOI BibTeX RDF
15	Tomasz Borzyszkowski	Higher-Order Logic and Theorem Proving for Structured Specifications.	WADT	1999	DBLP DOI BibTeX RDF
15	Julian Richardson, Alan Smaill, Ian Green	System Description: Proof Planning in Higher-Order Logic with Lambda-Clam.	CADE	1998	DBLP DOI BibTeX RDF
15	James F. Peters III	Mechanization of Real-Time Linear CSP with Higher Order Logic.	Fundam. Informaticae	1997	DBLP DOI BibTeX RDF
15	Lawrence C. Paulson	Mechanizing Coinduction and Corecursion in Higher-order Logic	CoRR	1997	DBLP BibTeX RDF
15	Lawrence C. Paulson	Mechanizing Coinduction and Corecursion in Higher-Order Logic.	J. Log. Comput.	1997	DBLP DOI BibTeX RDF
15	Monica Nesi	Formalising process calculi in higher order logic.		1997	RDF
15	Markus Wenzel 0001	Type Classes and Overloading in Higher-Order Logic.	TPHOLs	1997	DBLP DOI BibTeX RDF
15	Victor Carreno	Transition assertions: a higher-order logic based method for the specification and verification of real-time systems		1997	RDF
15	Weidong Chen 0005, David Scott Warren	Predicate Abstractions in Higher-Order Logic Programming.	New Gener. Comput.	1996	DBLP DOI BibTeX RDF
15	Martin Hofmann 0001, Donald Sannella	On Behavioural Abstraction and Behavioural Satisfaction in Higher-Order Logic.	Theor. Comput. Sci.	1996	DBLP DOI BibTeX RDF
15	Linas Laibinis	Using Lattice Theory in Higher Order Logic.	TPHOLs	1996	DBLP DOI BibTeX RDF
15	Michael J. C. Gordon	Set Theory, Higher Order Logic or Both?	TPHOLs	1996	DBLP DOI BibTeX RDF
15	Konrad Slind	Function Definition in Higher-Order Logic.	TPHOLs	1996	DBLP DOI BibTeX RDF
15	Ekkehard Rohwedder, Frank Pfenning	Mode and Termination Checking for Higher-Order Logic Programs.	ESOP	1996	DBLP DOI BibTeX RDF
15	Dan Zhou, Shiu-Kai Chin	Verifying privacy enhanced mail functions with higher order logic.	Network Threats	1996	DBLP DOI BibTeX RDF
15	Seth Kulick	Using Higher-Order Logic Programming for Semantic Interpretation of Coordinate Constructs	CoRR	1995	DBLP BibTeX RDF
15	Ching-Tsun Chou	Mechanical Verification of Distributed Algorithms in Higher-Order Logic.	Comput. J.	1995	DBLP DOI BibTeX RDF
15	Joakim von Wright	Representing Higher-Order Logic Proofs in HOL.	Comput. J.	1995	DBLP DOI BibTeX RDF
15	E. Thomas Schubert, Phillip J. Windley, Jim Alves-Foss (eds.)	Higher Order Logic Theorem Proving and Its Applications, 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings	TPHOLs	1995	DBLP DOI BibTeX RDF
15	Weidong Chen 0005, Michael Kifer	Sorted HiLog: Sorts in Higher-Order Logic Data Languages.	ICDT	1995	DBLP DOI BibTeX RDF
15	Seth Kulick	Using Higher-Order Logic Programming for Semantic Interpretation of Coordinate Constructs.	ACL	1995	DBLP BibTeX RDF
15	Graham Collins, Don Syme	A Theory of Finite Maps.	TPHOLs	1995	DBLP DOI BibTeX RDF
15	Elsa L. Gunter, Leonid Libkin	Interfacing HOL90 with a Functional Database Query Language.	TPHOLs	1995	DBLP DOI BibTeX RDF
15	Ralf Reetz	Deep Embedding VHDL.	TPHOLs	1995	DBLP DOI BibTeX RDF
15	Don Syme	A New Interface for HOL - Ideas, Issues and Implementation.	TPHOLs	1995	DBLP DOI BibTeX RDF
15	Thomas Långbacka, Rimvydas Ruksenas, Joakim von Wright	TkWinHOL: A Tool for Window Inference in HOL.	TPHOLs	1995	DBLP DOI BibTeX RDF
15	Otmane Aït Mohamed	Mechanizing a pi-Calculus Equivalence in HOL.	TPHOLs	1995	DBLP DOI BibTeX RDF
15	Jean-Paul Bodeveix, Mamoun Filali	On the Refinement of symmetric memory protocols.	TPHOLs	1995	DBLP DOI BibTeX RDF
15	Wai Wong	Recording and Checking HOL Proofs.	TPHOLs	1995	DBLP DOI BibTeX RDF
15	Paul E. Black, Phillip J. Windley	Autotically Synthesized Term Denotation Predicates: A Proof Aid.	TPHOLs	1995	DBLP DOI BibTeX RDF
15	Cui Zhang, Brian R. Becker, Mark R. Heckman, Karl N. Levitt, Ronald A. Olsson	A Hierarchical Method for Reasoning about Distributed Programming Languages.	TPHOLs	1995	DBLP DOI BibTeX RDF
15	Morten Welinder	Very Efficient Conversions.	TPHOLs	1995	DBLP DOI BibTeX RDF
15	John Harrison 0001	Floating Point Verification in HOL.	TPHOLs	1995	DBLP DOI BibTeX RDF
15	E. Thomas Schubert, Sarah Mocas	A Mechanized Logic for Secure Key Escrow Protocol Verification.	TPHOLs	1995	DBLP DOI BibTeX RDF
15	Mitsuharu Yamamoto, Shin-ya Nishizaki, Masami Hagiya, Yozo Toda	Formalization of Planar Graphs.	TPHOLs	1995	DBLP DOI BibTeX RDF
15	Stephen H. Brackin	Deciding Cryptographic Protocol Adequacy with HOL.	TPHOLs	1995	DBLP DOI BibTeX RDF
15	Richard J. Boulton	Combining Decision Procedures in the HOL System.	TPHOLs	1995	DBLP DOI BibTeX RDF
15	Paul Curzon	Virtual Theories.	TPHOLs	1995	DBLP DOI BibTeX RDF
15	Jang Dae Kim, Shiu-Kai Chin	Formal Verification of Serial Pipeline Multipliers.	TPHOLs	1995	DBLP DOI BibTeX RDF
15	John Harrison 0001	Inductive Definitions: Automation and Application.	TPHOLs	1995	DBLP DOI BibTeX RDF
15	Dirk Eisenbiegler, Ramayya Kumar	An Automata Theory Dedicated towards Formal Circuit Synthesis.	TPHOLs	1995	DBLP DOI BibTeX RDF
15	Sara Kalvala	A Formulation of TLA in Isabelle.	TPHOLs	1995	DBLP DOI BibTeX RDF
15	Graham Hutton	Book Review: Introduction to HOL: A Theorem Proving Environment for Higher Order Logic by Mike Gordon and Tom Melham (eds.), Cambridge University Press, 1993, ISBN 0-521-44189-7.	J. Funct. Program.	1994	DBLP DOI BibTeX RDF
15	Daniel Leivant	Higher order logic.	Handbook of Logic in Artificial Intelligence and Logic Programming (2)	1994	DBLP BibTeX RDF
15	Francesca Arcelli Fontana, Ferrante Formato, Giulio Iannello	On the parallel implementation of the higher order logic language lambda Prolog.	GULP-PRODE (2)	1994	DBLP BibTeX RDF
15	Jeffrey J. Joyce, Carl-Johan H. Seger (eds.)	Higher Order Logic Theorem Proving and its Applications, 6th International Workshop, HUG '93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings	HUG	1994	DBLP DOI BibTeX RDF
15	Thomas F. Melham, Juanito Camilleri (eds.)	Higher Order Logic Theorem Proving and Its Applications, 7th International Workshop, Valletta, Malta, September 19-22, 1994, Proceedings	TPHOLs	1994	DBLP DOI BibTeX RDF
15	Michael Kohlhase	A mechanization of sorted higher-order logic based on the resolution principle.		1994	RDF
15	Catia M. Angelo, Luc J. M. Claesen, Hugo De Man	Reasoning About a Class of Linear Systems of Equations in HOL.	TPHOLs	1994	DBLP DOI BibTeX RDF
15	Flemming Andersen, Kim Dam Petersen, Jimmi S. Pettersson	A Graphical Tool for Proving Unity Progress.	TPHOLs	1994	DBLP DOI BibTeX RDF
15	Thomas Forster	Weak Systems of Set Theory Related to HOL.	TPHOLs	1994	DBLP DOI BibTeX RDF
15	Stephen H. Brackin	Providing Tractable Security Analysis in HOL.	TPHOLs	1994	DBLP DOI BibTeX RDF
15	David A. Fura, Arun K. Somani	Interval-Semantic Component Models and the Efficient Verification of Transaction-Level Circiut Behavior.	TPHOLs	1994	DBLP DOI BibTeX RDF
15	Paul Curzon	Tracking Design Changes with Formal Verification.	TPHOLs	1994	DBLP DOI BibTeX RDF
15	Keith Hanna	Reasoning about Real Circuits.	TPHOLs	1994	DBLP DOI BibTeX RDF
15	Sofiène Tahar, Ramayya Kumar	Implementational Issues for Verifying RISC-Pipeline Conflicts in HOL.	TPHOLs	1994	DBLP DOI BibTeX RDF
15	Savi Maharaj, Elsa L. Gunter	Studying the ML Module System in Hol.	TPHOLs	1994	DBLP DOI BibTeX RDF
15	N. G. de Bruijn	Highlighting the Lambda-free Fragment of Automath.	TPHOLs	1994	DBLP DOI BibTeX RDF
15	Mats Larsson	An Engineering Approach to Formal Digital System Design.	TPHOLs	1994	DBLP DOI BibTeX RDF
15	Jean-Paul Bodeveix, Mamoun Filali, P. Roche	Towards a HOL Theory and Memory.	TPHOLs	1994	DBLP DOI BibTeX RDF
15	Nick Chapman, Simon Finn, Michael P. Fourman	Datatypes in L2.	TPHOLs	1994	DBLP DOI BibTeX RDF
15	Juanito Camilleri, Vincent Zammit	Symbolic Animation as a Proof Tool.	TPHOLs	1994	DBLP DOI BibTeX RDF
15	Klaus Schneider 0001, Ramayya Kumar, Thomas Kropf	Automating Verification by Functional Abstraction at the System Level.	TPHOLs	1994	DBLP DOI BibTeX RDF
15	Konrad Slind	A Parameterized Proof Manager.	TPHOLs	1994	DBLP DOI BibTeX RDF
15	John Harrison 0001	Binary Decision Diagrams as a HOL Derived Rule.	TPHOLs	1994	DBLP DOI BibTeX RDF
15	Brian T. Graham	An Interpretation of NODEN in HOL.	TPHOLs	1994	DBLP DOI BibTeX RDF
15	Peter V. Homeier, David F. Martin	Trustworthy Tools for Trustworthy Programs: A Verified Verification Condition Generator.	TPHOLs	1994	DBLP DOI BibTeX RDF
15	Ralf Reetz, Thomas Kropf	Simplifying Deep Embedding: A Formalised Code Generator.	TPHOLs	1994	DBLP DOI BibTeX RDF
15	Sten Agerholm	LCF Examples in HOL.	TPHOLs	1994	DBLP DOI BibTeX RDF
15	Phillip J. Windley	Specifying Instruction-Set Architectures in HOL: A Primer.	TPHOLs	1994	DBLP DOI BibTeX RDF
15	I. S. W. B. Prasetya	Towards a Mechanically Supported and Compositional Calculus to Design Destributed Algorithms.	TPHOLs	1994	DBLP DOI BibTeX RDF