F. Zappa Nardelli

Available identifiers

zbMath Open zappa-nardelli.francescoMaRDI QIDQ2566219

List of research outcomes

Publication	Date of Publication	Type
Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it	2016-09-29	Paper
Behavioral theory for mobile ambients	2015-12-04	Paper
Integrating typed and untyped code in a scripting language	2015-06-11	Paper
Acute	2015-01-06	Paper
Ott	2014-07-21	Paper
Relaxed-memory concurrency and verified compilation	2014-04-10	Paper
CompCertTSO	2014-02-17	Paper
Lem: A Lightweight Tool for Heavyweight Semantics	2011-08-17	Paper
Ott: Effective tool support for the working semanticist	2010-03-17	Paper
Oracle Semantics for Concurrent Separation Logic	2008-04-11	Paper
A Formal Implementation of Value Commitment	2008-04-11	Paper
Acute: High-level programming language design for distributed computation	2007-09-26	Paper
The seal calculus	2005-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q4673430	2005-04-29	Paper
https://portal.mardi4nfdi.de/entity/Q4673432	2005-04-29	Paper
https://portal.mardi4nfdi.de/entity/Q4449205	2004-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q4415246	2003-07-28	Paper
https://portal.mardi4nfdi.de/entity/Q4791831	2003-02-03	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: F. Zappa Nardelli