Local variable scoping and Kleene algebra with tests
type: Item
instance of: scholarly article
title: Local variable scoping and Kleene algebra with tests
zbMATH Open document ID: 1148.68033
author: Kamal Aboul-Hosn
author: Dexter Kozen
published in: The Journal of Logic and Algebraic Programming
publication date: 2008-06-19T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 5290916
zbMATH Keywords: Kleene algebra
zbMATH Keywords: Kleene algebra with tests
zbMATH Keywords: program verification
zbMATH Keywords: variable scoping
zbMATH Keywords: programming with state
describes a project that uses: KAT-ML
MaRDI profile type: Publication
full work available at URL: j.jlap.2007.10.007
OpenAlex ID: W2038553844
Wikidata QID: Q114851555
cites work: KAT-ML: an interactive theorem prover for Kleene algebra with tests
cites work: Relational Semantics for Higher-Order Programs
cites work: Q4222822
cites work: Q4218919
cites work: Q5639639
cites work: Propositional dynamic logic of regular programs
cites work: Q4250362
cites work: Unifying theories for logic programming
cites work: A completeness theorem for Kleene algebras and the algebra of regular events
cites work: Q4362921
cites work: On Hoare logic and Kleene algebra with tests
cites work: Substructural logic and partial correctness
cites work: Foundations of Software Science and Computation Structures
cites work: Q5753940
cites work: Equivalence in functional languages with effects
cites work: Q3996918
cites work: Q3138545
cites work: A simple calculus for program transformation (inclusive of induction)
cites work: Q4225152
cites work: Operational reasoning for functions with local state
cites work: Q3969890
DOI: 10.1016/J.JLAP.2007.10.007
Recommended article: Local Variable Scoping and Kleene Algebra with Tests
Recommended article: Local completeness logic on Kleene algebra with tests
Recommended article: Kleene Algebra with Tests and Coq Tools for while Programs
Recommended article: Some variations on the notion of locally testable language
Recommended article: Q3138545
Recommended article: From regular to strictly locally testable languages
Recommended article: Concurrent Kleene Algebra with Tests
Recommended article: Q4501670
Recommended article: Q3711737
description: scientific article; zbMATH DE number 5290916