s
а что не так с ISO 9899?
Да всё так, просто это стандарт, а не формальная спека. Но стандарт достаточно подробный, чтобы спеку можно было написать.
Size: a a a
2021 March 05
s
Формальное описание же даёт вещи вроде строгих доказательств каких-либо свойств семантики или верифицированного компилятора или интерпретатора.
s
Причём второе может быть использовано для модельного тестирования реальных компиляторов.
r
У ады
"Towards a Formal Semantics for Ada 9X Final Report" 1995-го года? Это неполная спецификация. Но - да, больше чем ничего.
SP
>иметь машиннозависимый инт
>спека
>спека
s
>иметь машиннозависимый инт
>спека
>спека
Проблемы?
ΑZ
ΑZ
ΑZ
ΑZ
Переслано от Αλεχ Zhukovsky
пытаешься найти в какой момент экспрешн по пизде пошел
С
Монга - зло
ΑZ
ну откровенно говоря это веселе чем круды пердолить. Мб когда-нибудь буду компилятор писать для какого-нибудь модного япа
ΑZ
пойду в мс ресерч балду пинать
NK
Монга - зло
рейвен лучше?)
С
рейвен лучше?)
Что?
NK
ravendb
NK
С
ravendb
Я не знаю, зачем им монга. Полагаю, что от деда досталась
b
Монга - зло
почему зло? монга это отличный маркер долбоеба
ΑZ
А вот и спонсор моих приключений