On the need for a popular formal semantics

Authors:
David A. Schmidt
Affiliations:
Kansas State University
Venue:
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Year:
1996

Strategic directions in research on programming languages

ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Program analysis: the abstract interpretation perspective

ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A Discipline of Programming

A Discipline of Programming

Applying theorem discovery to automatically find and check usability heuristics

Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems

Hi-index	0.01