yosh on Nostr: Okay so like, structured programming [1] is a hyperproperty [2] — am I getting that ...
Okay so like, structured programming [1] is a hyperproperty [2] — am I getting that right?
[1]: https://en.wikipedia.org/wiki/Structured_programming
[2]: https://www.cs.cornell.edu/fbs/publications/Hyperproperties.pdf
[1]: https://en.wikipedia.org/wiki/Structured_programming
[2]: https://www.cs.cornell.edu/fbs/publications/Hyperproperties.pdf