Proving pointer programs in higher-order logic

Saved in:
Bibliographic Details
Main Authors: MEHTA, Farhad, NIPKOW, Tobias
Format: Conference Proceeding
Language:English
Subjects:
Algorithmics. Computability. Computer arithmetics
Applied sciences
Computer science
control theory
systems
Exact sciences and technology
General logic
Logic and foundations
Mathematical logic, foundations, set theory
Mathematics
Programming theory
Sciences and techniques of general use
Theoretical computing
Citations: Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:
ISSN:0890-5401
1090-2651
DOI:10.1007/978-3-540-45085-6_10