F. Zappa Nardelli

From MaRDI portal
Revision as of 08:51, 7 October 2023 by Import231006081045 (talk | contribs) (Created automatically from import231006081045)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:2566219

Available identifiers

zbMath Open zappa-nardelli.francescoMaRDI QIDQ2566219

List of research outcomes





PublicationDate of PublicationType
Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it2016-09-29Paper
Behavioral theory for mobile ambients2015-12-04Paper
Integrating typed and untyped code in a scripting language2015-06-11Paper
Acute2015-01-06Paper
Ott2014-07-21Paper
Relaxed-memory concurrency and verified compilation2014-04-10Paper
CompCertTSO2014-02-17Paper
Lem: A Lightweight Tool for Heavyweight Semantics2011-08-17Paper
Ott: Effective tool support for the working semanticist2010-03-17Paper
Oracle Semantics for Concurrent Separation Logic2008-04-11Paper
A Formal Implementation of Value Commitment2008-04-11Paper
Acute: High-level programming language design for distributed computation2007-09-26Paper
The seal calculus2005-09-22Paper
https://portal.mardi4nfdi.de/entity/Q46734302005-04-29Paper
https://portal.mardi4nfdi.de/entity/Q46734322005-04-29Paper
https://portal.mardi4nfdi.de/entity/Q44492052004-02-08Paper
https://portal.mardi4nfdi.de/entity/Q44152462003-07-28Paper
https://portal.mardi4nfdi.de/entity/Q47918312003-02-03Paper

Research outcomes over time

This page was built for person: F. Zappa Nardelli

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