Matematyczne metody definiowania języków programowania P. DEMBIŃSKI J.MAŁUSZYŃSKI
Producent: [226]
Cena: 25,00 zł
WNT 1981, 1981, str 200 stan db.
W książce podano podstawowe pojęcia związane z opisem i definiowaniem języków programowania. Przedstawiono formalizmy opisu składni — gramatyki bezkontekstowe i gramatyki dwupoziomowe — a następnie metody formalizacji opisu semantyki — od metod związanych z maszyną, poprzez semantykę denotacyjną w ujęciu Scotta-Stracheya do metody aksjomatycznej. Następnie pokazano powiązania formalizmu opisu składni z formalizmem opisu semantyki języków programowania. Podstawą wykładu jest przykładowy język programowania PJP. Metody definiowania języków programowania zostały ujęte jednolicie, co umożliwia ich porównanie; pozwala to m. in. zorientować się w zakresie ich zastosowań.
Książka jest przeznaczona dla programistów, projektantów systemów przetwarzania informacji, projektantów oprogramowania, pracowników nauki zajmujących się informatyką oraz dla studentów kierunków informatycznych.
W książce podano podstawowe pojęcia związane z opisem i definiowaniem języków programowania. Przedstawiono formalizmy opisu składni — gramatyki bezkontekstowe i gramatyki dwupoziomowe — a następnie metody formalizacji opisu semantyki — od metod związanych z maszyną, poprzez semantykę denotacyjną w ujęciu Scotta-Stracheya do metody aksjomatycznej. Następnie pokazano powiązania formalizmu opisu składni z formalizmem opisu semantyki języków programowania. Podstawą wykładu jest przykładowy język programowania PJP. Metody definiowania języków programowania zostały ujęte jednolicie, co umożliwia ich porównanie; pozwala to m. in. zorientować się w zakresie ich zastosowań.
Książka jest przeznaczona dla programistów, projektantów systemów przetwarzania informacji, projektantów oprogramowania, pracowników nauki zajmujących się informatyką oraz dla studentów kierunków informatycznych.