subjectheading:[Programming languages (Electronic computers) -- Semantics.] - Search Results - University of Southern Indiana

login

Home > Search Results: subjectheading:[Programming languages (Electronic computers) -- Semantics.]

Search:

Search Tips :: Advanced Search :: Browse Resources (beta)

Sort by

ascending
descending

Display

Collections

Select collection

Format

Select output format

1.	Concepts and semantics of programming languages. 1, A semantical approach with OCaml and Python / Therese Hardin [and three others]. Hardin, Therese, author. London ; Hoboken, NJ : ISTE Ltd : John Wiley and Sons Inc., 2021. QA76.7 .H37 2021 \| View e-resource \| Available Online \| Detailed record - Similar records
2.	Nominal sets [electronic resource] : names and symmetry in computer science / Andrew M. Pitts. Pitts, A. M. (Andrew M.) Cambridge : Cambridge University Press, 2013. Q172.5.S95 P58 2013 \| View e-resource \| Available Online \| Detailed record - Similar records
3.	Concepts and semantics of programming languages 2 : modular and object-oriented constructs with Ocaml, Python, C++, Ada and Java / Therese Hardin[...] Hardin, Therese, author. Hoboken : ISTE Ltd / John Wiley and Sons Inc, [2021] ©2021 QA76.7 .H37 2021 \| View e-resource \| Available Online \| Detailed record - Similar records
4.	Algebraic semantics of imperative programs / Joseph A. Goguen and Grant Malcolm. Goguen, Joseph.; Malcolm, Grant. Cambridge, Mass. : MIT Press, ©1996. QA76.7 .G62 1996eb \| View e-resource \| Available Online \| Detailed record - Similar records
5.	The formal semantics of programming languages : an introduction / Glynn Winskel. Winskel, G. (Glynn) Cambridge, Mass. : MIT Press, ©1993. QA76.7 .W555 1993eb \| View e-resource \| Available Online \| Detailed record - Similar records
6.	Generating language-based environments / Thomas W. Reps. Reps, Thomas W. (Thomas William) Cambridge, Mass. ; London : MIT Press, [2012?], ©1984. QA76.6 \| View e-resource \| Available Online \| Detailed record - Similar records
7.	Programming languages and operational semantics [electronic resource] : a concise overview / Maribel Fernández. Fernández, Maribel, author. Berlin : Springer, [2014]. ©2014 QA76.7 \| View e-resource \| Available Online \| Detailed record - Similar records
8.	Cognitive modeling and verbal semantics [electronic resource] : a representational framework based on UML / by Andrea C. Schalley. Schalley, Andrea C., 1972- Berlin : Mouton de Gruyter, 2004. P325.5.M36 S33 2004eb \| View e-resource \| Available Online \| Detailed record - Similar records
9.	Introduction to the theory of programming languages / Gilles Dowek, Jean-Jacques Lévy. Dowek, Gilles.; Lévy, Jean-Jacques, 1947- London ; New York : Springer, c2011. QA76.7 .D6713 2011 \| Map It \| Detailed record - Similar records

Interested in being notified about new results for this query?
Set up a personal email alert or subscribe to the RSS feed.