History and literature review.- Basic elements of the lattice-theoretic approach.- Complementary definitions of a PASCAL subset.- Consistency of the PASCAL subset definitions.- Extensions to the PASCAL subset language.- Conclusions and directions of future research.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.