6502
/
SixtyPical
mirror of https://github.com/catseye/SixtyPical.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Fix link in README.

This commit is contained in:
Chris Pressey 2024-03-16 11:53:54 +00:00
parent 2bddea270f
commit df610e639c
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
README.md
View File

@ -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