Детальное изложение курса основ программной инженерии, касающихся разработки и реализации как императивных, так и функциональных языков программирования. Особая роль отводится разработке денотационной семантики, позволяющей извлечь преимущества объектно-ориентированного подхода, что, в конечном счете, позволяет построить результирующую вычислительную модель чисто функционального типа. Эта модель основана на формализме лямбда-исчисления, который рассматривается не только как теоретическая основа семантики, но полностью соответствует результирующему коду - машинным инструкциям. Большое число детально разработанных и прокомментированных примеров, помогающих уяснить реализацию императивных языков, в частности, PASCAL, и функциональных языков, в частности, ML. Учтены требования, предъявляемые к аналогичным курсам в зарубежных университетах, а также рекомендации ESPRIT.
В продаже
Хочу купить
сейчас этого издания книги в продаже нет
попробуйте поискать другие издания этого произведения при помощи ссылок ниже
или оставьте объявление о покупке или продаже