Institutional Repository

Browsing South African Computer Journal 1997(19) by Author "aff3c5b8-1554-4d68-a1b6-0f5bc68b6da4"

Browsing South African Computer Journal 1997(19) by Author "aff3c5b8-1554-4d68-a1b6-0f5bc68b6da4"

Sort by: Order: Results:

  • McIver, AK; Morgan, C; Sanders, JW (South African Computer Society (SAICSIT), 1997)
    This paper abridges lecture notes from WOFACS 96. It provides semantic models for a variety of programming and development formalisms, showing how different models for the same formalism are related by Galois connections. ...

Search UnisaIR


Browse

My Account