Julia L. Lawall

MaRDI QIDQ192364zbMATH OpenDBLPWikidataFDO

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
On global dynamics of optimal graph reduction Proceedings of the second ACM SIGPLAN international conference on Functional programming	2017-08-21	Paper
Optimality and inefficiency: what isn't a cost model of the lambda calculus? Proceedings of the first ACM SIGPLAN international conference on Functional programming - ICFP '96	2016-09-01	Paper
From Sets to Bits in Coq Functional and Logic Programming	2016-04-04	Paper
A foundation for flow-based program matching: using temporal logic and model checking Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2015-07-03	Paper
Automatic Verification of Bossa Scheduler Properties Electronic Notes in Theoretical Computer Science	2015-03-18	Paper
Specialization scenarios: a pragmatic approach to declaring program specialization Higher-Order and Symbolic Computation	2005-03-15	Paper
A tour of tempo: a program specializer for the C language Science of Computer Programming	2004-11-22	Paper
scientific article; zbMATH DE number 1786226 (Why is no real title available?)	2002-08-21	Paper
scientific article; zbMATH DE number 1738292 (Why is no real title available?)	2002-05-06	Paper
Static and dynamic program compilation by interpreter specialization Higher-Order and Symbolic Computation	2001-10-01	Paper
scientific article; zbMATH DE number 1538029 (Why is no real title available?)	2000-12-03	Paper
scientific article; zbMATH DE number 1088039 (Why is no real title available?)	1997-11-17	Paper

Research outcomes over time

This page was built for person: Julia L. Lawall