Julia L. Lawall

From MaRDI portal
Person:192364

Available identifiers

zbMath Open lawall.julia-lDBLPl/JuliaLLawallWikidataQ102267545 ScholiaQ102267545MaRDI QIDQ192364

List of research outcomes





PublicationDate of PublicationType
On global dynamics of optimal graph reduction2017-08-21Paper
Optimality and inefficiency: what isn't a cost model of the lambda calculus?2016-09-01Paper
From Sets to Bits in Coq2016-04-04Paper
A foundation for flow-based program matching2015-07-03Paper
Automatic Verification of Bossa Scheduler Properties2015-03-18Paper
Specialization scenarios: a pragmatic approach to declaring program specialization2005-03-15Paper
A tour of tempo: a program specializer for the C language2004-11-22Paper
https://portal.mardi4nfdi.de/entity/Q45475482002-08-21Paper
https://portal.mardi4nfdi.de/entity/Q45297742002-05-06Paper
Static and dynamic program compilation by interpreter specialization2001-10-01Paper
https://portal.mardi4nfdi.de/entity/Q45188842000-12-03Paper
https://portal.mardi4nfdi.de/entity/Q43643871997-11-17Paper

Research outcomes over time

This page was built for person: Julia L. Lawall

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