1
Засіб програмування мови семантики програмування
Чи є який-небудь інструмент для прототипування семантики мови та системи типу програмування, який також дозволяє перевірити типові моделі стандартних властивостей, наприклад, міцність типу? Я запитую це, тому що я читаю книгу про Alloy, і вона забезпечує точний функціонал, який я хочу, але для моделей, виражених за допомогою реляційної логіки. Я …