Susan Horwitz

MaRDI QIDQ671680zbMATH 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
Precise interprocedural dataflow analysis with applications to constant propagation TAPSOFT '95: Theory and Practice of Software Development	2022-08-18	Paper
Semantics-preserving procedure extraction Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2015-03-17	Paper
Using static analysis to reduce dynamic analysis overhead Formal Methods in System Design	2006-01-23	Paper
Static Analysis Lecture Notes in Computer Science	2005-08-24	Paper
scientific article; zbMATH DE number 2087544 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 2087514 (Why is no real title available?)	2004-08-11	Paper
On the non-approximability of points-to analysis Acta Informatica	2003-09-01	Paper
scientific article; zbMATH DE number 1832217 (Why is no real title available?)	2002-11-19	Paper
scientific article; zbMATH DE number 1693522 (Why is no real title available?)	2002-01-22	Paper
scientific article; zbMATH DE number 1692952 (Why is no real title available?)	2002-01-21	Paper
Precise interprocedural dataflow analysis with applications to constant propagation Theoretical Computer Science	1997-02-27	Paper
Efficient comparison of program slices Acta Informatica	1991-01-01	Paper
Adding relational query facilities to software development environments Theoretical Computer Science	1990-01-01	Paper
An efficient general iterative algorithm for dataflow analysis Acta Informatica	1987-01-01	Paper

Research outcomes over time

This page was built for person: Susan Horwitz