Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
Firobe
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
4 ms
·
1.
▲
by
Firobe
6y ago
ACSL is indeed a FSL. Making a standard FSL is a nigh impossible since it should encompass every programming language and its specific features. For example, ACSL has built-in ways to talk about the side effects in C, labels, the validity o