Opis: 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.
|
randki |
CyberCiekawostki |
darmowe aliasy |
darmowe forum |
promocje |
opinie, testy, oceny
darmowa toplsta | reklama internetowa
darmowa toplsta | reklama internetowa