Сокращение (вычисления)
Сокращение — это метод, связанный с формальными методами , который был введен для устранения некоторых предполагаемых ограничений формального, основанного на модели уточнения, для ситуаций, в которых уточнение можно было бы рассматривать как желательное в принципе, но оказалось непригодным или почти непригодным для использования в упражняться. Первоначально он был разработан в Школе компьютерных наук Манчестерского университета . [ нужна ссылка ] Самая актуальная точка зрения представлена в статье ACM TOSEM ниже.
Внешние ссылки
[ редактировать ]- Домашняя страница сокращения расходов
- Р. Банах, Градуированное уточнение, сокращение и моделирование, ACM Trans. Мягкий. англ. Мет., 32, 1-69 (2023)
 | Эта по информатике статья незавершена . Вы можете помочь Википедии, расширив ее . |