Iman Poernomo

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
Proofs-as-imperative-programs: application to synthesis of contracts Lecture Notes in Computer Science	2010-01-05	Paper
Synthesis of Data Views for Communicating Processes Logic-Based Program Synthesis and Transformation	2009-01-22	Paper
Adapting Proofs-as-Programs Monographs in Computer Science	2005-09-28	Paper
scientific article; zbMATH DE number 2089419 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 2087150 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 2079677 (Why is no real title available?)	2004-07-30	Paper
scientific article; zbMATH DE number 2063228 (Why is no real title available?)	2004-03-29	Paper
scientific article; zbMATH DE number 2063221 (Why is no real title available?)	2004-03-29	Paper
scientific article; zbMATH DE number 1973215 (Why is no real title available?)	2003-09-01	Paper
scientific article; zbMATH DE number 1617311 (Why is no real title available?)	2001-07-11	Paper
Fred: An approach to generating real, correct, reusable programs from proofs Journal of Universal Computer Science	2001-05-13	Paper

Research outcomes over time

This page was built for person: Iman Poernomo