Author:
Oliveira Jose N.,Ferreira Miguel A.
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Compiling quantamorphisms for the IBM Q Experience;IEEE Transactions on Software Engineering;2021
2. Logic, Algebra, and Geometry at the Foundation of Computer Science;Formal Methods Teaching;2019
3. Programming from metaphorisms;Journal of Logical and Algebraic Methods in Programming;2018-01
4. Metaphorisms in Programming;Relational and Algebraic Methods in Computer Science;2015
5. A relation-algebraic approach to the “Hoare logic” of functional dependencies;Journal of Logical and Algebraic Methods in Programming;2014-03