Search Results for Programming languages (Electronic computers) -- Semantics. - Narrowed by: English
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dProgramming$002blanguages$002b$002528Electronic$002bcomputers$002529$002b--$002bSemantics.$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026ic$003dtrue$0026ps$003d300?
2024-11-06T18:56:46Z
Generating language-based environments
ent://SD_ILS/0/SD_ILS:220159
2024-11-06T18:56:46Z
2024-11-06T18:56:46Z
Author Reps, Thomas W. (Thomas William)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267325">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267325</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical aspects of logic programming semantics
ent://SD_ILS/0/SD_ILS:285188
2024-11-06T18:56:46Z
2024-11-06T18:56:46Z
Author Hitzler, Pascal. Seda, Anthony.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439829622">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebraic semantics of imperative programs
ent://SD_ILS/0/SD_ILS:220125
2024-11-06T18:56:46Z
2024-11-06T18:56:46Z
Author Goguen, Joseph. Malcolm, Grant.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267468">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267468</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The formal semantics of programming languages an introduction
ent://SD_ILS/0/SD_ILS:220170
2024-11-06T18:56:46Z
2024-11-06T18:56:46Z
Author Winskel, G. (Glynn)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>