Year: 1996
Type: conference-abstract
Abstract: a general theory for approximating the semantics of discrete dynamic systems, for example, computations of programs.In particular, program analysis algorithms can be constructively derived from these abstract semantics.
Source: ACM Computing Surveys
Author: Patrick Cousot
Institution: École Normale Supérieure - PSL
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze
OpenAlex ID: W2295244175