Quasi-boolean encodings and conditionals in algebraic specification


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


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} }