A relation-algebraic approach to the ``Hoare logic'' of functional dependencies
type: Item
instance of: scholarly article
title: A relation-algebraic approach to the ``Hoare logic'' of functional dependencies
zbMATH Open document ID: 1434.68144
published in: Journal of Logical and Algebraic Methods in Programming
publication date: 2014-09-08T00:00:00Z
Mathematics Subject Classification ID: 68P15
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03G15
Mathematics Subject Classification ID: 68N30
zbMATH DE Number: 6341215
zbMATH Keywords: relational mathematics
zbMATH Keywords: program calculi
zbMATH Keywords: data dependency theory
author: J. N. Oliveira
describes a project that uses: ESC/Java
describes a project that uses: RelView
MaRDI profile type: Publication
full work available at URL: j.jlap.2014.02.013
OpenAlex ID: W2053332285
cites work: Tarski's influence on computer science
cites work: Q4783298
cites work: Q3668890
cites work: Q4864249
cites work: Q4040000
cites work: Automated Reasoning in Kleene Algebra
cites work: An axiomatic basis for computer programming
cites work: Strongest invariant functions: Their use in the systematic analysis of while statements
cites work: Extended Static Checking by Calculation Using the Pointfree Transform
cites work: Q3995720
cites work: A calculational approach to mathematical induction
cites work: On Hoare logic and Kleene algebra with tests
cites work: Kleene algebra with domain
cites work: Graphical models of separation logic
cites work: The weakest prespecification
cites work: Q4331824
cites work: Q4381704
cites work: Q5287518
cites work: Q4362888
cites work: Informational representability for contexts in Dedekind categories
cites work: Towards a linear algebra of programming
cites work: Probabilistic Relational Hoare Logics for Computer-Aided Security Proofs
cites work: Computing and visualizing Banks sets of dominance relations using relation algebra and RelView
cites work: An Algebraic Calculus of Database Preferences
DOI: 10.1016/J.JLAP.2014.02.013
description: scientific article; zbMATH DE number 6341215