Search Results for Programming Languages. - Narrowed by: Programming languages (Electronic computers) -- Semantics.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dProgramming$002bLanguages.$0026qf$003dSUBJECT$002509Subject$002509Programming$002blanguages$002b$002528Electronic$002bcomputers$002529$002b--$002bSemantics.$002509Programming$002blanguages$002b$002528Electronic$002bcomputers$002529$002b--$002bSemantics.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?
2024-09-10T02:51:18Z
The formal semantics of programming languages an introduction
ent://SD_ILS/0/SD_ILS:220170
2024-09-10T02:51:18Z
2024-09-10T02:51:18Z
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/>
Generating language-based environments
ent://SD_ILS/0/SD_ILS:220159
2024-09-10T02:51:18Z
2024-09-10T02:51:18Z
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-09-10T02:51:18Z
2024-09-10T02:51:18Z
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-09-10T02:51:18Z
2024-09-10T02:51:18Z
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/>