Complementary Definitions of Programming Language Semantics [electronic resource] / by James E. Donahue.
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
Contents:
In:
Springer eBooks
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.
![](/opac-tmpl/bootstrap/itemtypeimg/bridge/e_book.png)
Current library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
IMSc Library | IMSc Library | Link to resource | Available | EBK4459 |
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.
There are no comments on this title.