Name: Partial-predicate logic in computer science
Creator: Albert Hoogewijs
Keywords: program verification, Specification and verification (program logics, model checking, etc.), Many-valued logic, 4. Education, 3-valued logic, correctness of programs, 0102 computer and information sciences, 0101 mathematics, 01 natural sciences

descriptionPublicationkeyboard_double_arrow_right Article 01 Aug 1987 English Publisher:Springer Science and Business Media LLCJournal:Acta Informatica, volume 24, pages 381-393 (issn: 0001-5903, eissn: 1432-0525,

Authors: Albert Hoogewijs;

doi: 10.1007/bf00292109

Partial-predicate logic in computer science

- Summary
- Subjects
- Metrics

Abstract

In [Acta Inf. 21, 251-269 (1984; Zbl 0534.68024)] \textit{H. Barringer}, \textit{J. H. Cheng} and \textit{C. B. Jones} present a 3-valued logic designed for program verification and computer science applications in general. This paper adds some theoretical background to their arguments for the need for such a system.

Related Organizations

Ghent University
Belgium

Keywords

program verification, Specification and verification (program logics, model checking, etc.), Many-valued logic, 3-valued logic, correctness of programs

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	20
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Top 10%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Top 10%