From df610e639c4a16855258c51e857b0376d42566a9 Mon Sep 17 00:00:00 2001 From: Chris Pressey Date: Sat, 16 Mar 2024 11:53:54 +0000 Subject: [PATCH] Fix link in README. --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 84c4561..547db93 100644 --- a/README.md +++ b/README.md @@ -84,7 +84,7 @@ inclusion in the language is primarily to make programs easier to analyze. ### Static analysis The SixtyPical language defines an [effect system][], and the reference -compiler [symbolically executes][] the input program in the manner of +compiler [abstractly interprets][] the input program in the manner of [flow typing][] to confirm that it does not violate it. This can detect common mistakes such as @@ -148,7 +148,7 @@ Documentation [6502]: https://en.wikipedia.org/wiki/MOS_Technology_6502 [MOS Technology 6502]: https://en.wikipedia.org/wiki/MOS_Technology_6502 [effect system]: https://en.wikipedia.org/wiki/Effect_system -[symbolically executes]: https://en.wikipedia.org/wiki/Symbolic_execution +[abstractly interprets]: https://en.wikipedia.org/wiki/Abstract_interpretation [flow typing]: https://en.wikipedia.org/wiki/Flow-sensitive_typing [calling conventions]: https://en.wikipedia.org/wiki/Calling_convention [register allocation]: https://en.wikipedia.org/wiki/Register_allocation