УДК 004.655
Поляков С.А.
РАСШИРЕНИЕ ПРОГРАММНОЙ АЛГЕБРЫ стандартных композиций операторОМ обработки исключительных ситуаций
Киевский национальный университет имени Тараса Шевченко
Киев, Владимирская 64, 01601
UDC 004.655
Polyakov S.A.
THE EXCTENTION OF THE COMPOSITIONAL PROGRAMING ALGEBRA BY EXCEPTION HANDLING STATEMENT
Taras Shevchenko National University of Kyiv,
64/13, Volodymyrska Street, City of Kyiv, Ukraine, 01601
В работе задается композиционная семантика оператора обработки исключительных ситуаций TRY/EXCEPT. Оператор вводится как расширение программной алгебры композиционного типа, состоящей из стандартных композиций последовательного выполнения, ветвления, циклирования и т.д.
Ключевые слова: оператор обработки исключительных ситуаций, семантика языков программирования, композиционная семантика, функциональная семантика
In this paper we describe the compositional semantics of the exception handling statement. The statement is introduced as extension of the compositional program algebra which consists of standard composition of the sequence execution, branching, cycling and so on.
Key words: exception handling statement, programing language semantics, compositional semantics, functional semantics.