Search Results for Programming languages (Electronic computers) -- Semantics.

6 sonuç bulundu

Tümünü Seç

000000DEFAULTTR

Algebraic semantics of imperative programs

Yazar

Goguen, Joseph, author.

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267468

Format:

Electronic Resources

Alıntı:

Programming languages (Electronic computers) -- Semantics.

The formal semantics of programming languages : an introduction

Yazar

Winskel, G., (Glynn) author.

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826

Format:

Electronic Resources

Alıntı:

Programming languages (Electronic computers) -- Semantics.

Generating language-based environments

Yazar

Reps, Thomas W., (Thomas William) author.

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267325

Format:

Electronic Resources

Alıntı:

Programming languages (Electronic computers) -- Semantics.

Concrete Semantics With Isabelle/HOL

Yazar

Nipkow, Tobias. author.

http://dx.doi.org/10.1007/978-3-319-10542-0

Format:

Electronic Resources

Alıntı:

Programming languages (Electronic computers).

Programming Languages and Operational Semantics A Concise Overview

Yazar

Fernández, Maribel. author.

http://dx.doi.org/10.1007/978-1-4471-6368-8

Format:

Electronic Resources

Alıntı:

Programming languages (Electronic computers).

Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

Yazar

Probst, Christian W. editor.

http://dx.doi.org/10.1007/978-3-319-27810-0

Format:

Electronic Resources

Alıntı:

Programming languages (Electronic computers).

Tümünü Seç

6 sonuç bulundu

	{displayName}	{count}
{error}