Quasi-boolean encodings and conditionals in algebraic specification

Abstract

We develop a general study of the algebraic specification practice, originating from the OBJ tradition, which encodes atomic sentences in logical specification languages as Boolean terms. This practice originally motivated by operational aspects, but also leading to significant increase in expressivity power, has recently become important within the context… (More)
DOI: 10.1016/j.jlap.2009.09.001

Topics

Cite this paper

@article{Diaconescu2010QuasibooleanEA, title={Quasi-boolean encodings and conditionals in algebraic specification}, author={Razvan Diaconescu}, journal={J. Log. Algebr. Program.}, year={2010}, volume={79}, pages={174-188} }