Selectors make set-based analysis too hard

DOI10.1007/s10990-005-4876-5zbMath1083.68016OpenAlexW2098491453MaRDI QIDQ812081

Mitchell Wand, Robert Bruce Findler, Philippe Meunier, Paul Steckler

Publication date: 23 January 2006

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10990-005-4876-5

zbMATH Keywords

program analysisSchemeset-based analysisstatic debugging

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Uses Software

• DrScheme

Cites Work

• Introduction to set constraint-based program analysis
• DrScheme: a programming environment for Scheme
• On the complexity of set-based analysis
• Unnamed Item
• Unnamed Item
• Unnamed Item