Christian Haack

From MaRDI portal
Person:1887737

Available identifiers

zbMath Open haack.christianMaRDI QIDQ1887737

List of research outcomes





PublicationDate of PublicationType
Permission-based separation logic for multithreaded Java programs2015-03-11Paper
Separation Logic Contracts for a Java-Like Language with Fork/Join2009-01-27Paper
CONCUR 2005 – Concurrency Theory2006-11-01Paper
Pattern-matching spi-calculus2006-08-17Paper
Type error slicing in implicitly typed higher-order languages2004-11-22Paper
https://portal.mardi4nfdi.de/entity/Q47383502004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44179002003-07-30Paper
ICIAM/GAMM 95 Applied sciences, especially Mechanics Minisymposia Contributions1999-11-07Paper
https://portal.mardi4nfdi.de/entity/Q43709951998-01-07Paper
https://portal.mardi4nfdi.de/entity/Q56884851997-03-11Paper
A decomposition theorem for domains1996-03-27Paper
https://portal.mardi4nfdi.de/entity/Q43067901995-10-29Paper
https://portal.mardi4nfdi.de/entity/Q40108131992-09-27Paper

Research outcomes over time

This page was built for person: Christian Haack

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1887737&oldid=6508855"
Powered by MediaWiki