Semantics-Directed Program Analysis: A Tool-Maker's Perspective
Abstract elided by the publisher.
Related papers
- Functional programming for compiling and decompiling computer-aided design ICFP 2018
- A New Cognitive Perspective on Simplicity in System and Product Design Onward! 2024
- Computation semantics of the functional scientific workflow language Cuneiform JFP 2017
- Perspectives on formal verification (invited talk) CPP 2016
- Linearity and PCF: a semantic insight! ICFP 2011
- ViewPoint-Oriented Software Development: Tool Support for Integrating Multiple Perspectives by Distributed Graph Transformation TACAS 2000
- Parallel binary code analysis PPoPP 2021
- Fixed Points and Frontiers: A New Perspective JFP 1991