Ando Saabas

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A compositional natural semantics and Hoare logic for low-level languages	2013-10-07	Paper
Proof optimization for partial redundancy elimination The Journal of Logic and Algebraic Programming	2009-09-29	Paper
On Bounded Reachability of Programs with Set Comprehensions Logic for Programming, Artificial Intelligence, and Reasoning	2009-01-27	Paper
Program and proof optimizations with type systems The Journal of Logic and Algebraic Programming	2008-11-06	Paper
A compositional natural semantics and Hoare logic for low-level languages Theoretical Computer Science	2007-04-19	Paper

Research outcomes over time

This page was built for person: Ando Saabas