PKK Library Search for 'su:{Programming languages Electronic computers--Semantics}'

Algebraic approaches to program semantics

By Manes, Ernest G.. New York Springer-Verlag 1986 . xiii, 351p

Place Hold on Algebraic approaches to program semantics

PRACTICAL INTRODUCTION TO DENOTATIONAL SEMANTICS

By Allison, Lloyd. Cambridge Cambridge Univ. Pr. 1986 . xii,132

Place Hold on PRACTICAL INTRODUCTION TO DENOTATIONAL SEMANTICS

FORMAL SPECIFICATION OF PROGRAMMING LANGUAGES

By Pagan, Frank G.. Englewood Cliffs Prentice-Hall 1981 . x,245 , Bibliography : P. 235-239

Place Hold on FORMAL SPECIFICATION OF PROGRAMMING LANGUAGES

FULL ABSTRACTION AND SEMANTIC EQUIVALENCE

By Mulmuley, Ketan. Cambridge Mit Pr. 1987 . 198 , Thesis (Ph. D.) -- Carnegie-Mellon Univ., 1985

Place Hold on FULL ABSTRACTION AND SEMANTIC EQUIVALENCE

FOUNDATIONS OF LOGIC PROGRAMMING

By Lloyd, J.W.. Berlin Springer-Verlag 1984 . x,124

Place Hold on FOUNDATIONS OF LOGIC PROGRAMMING

FOUNDATIONS OF LOGIC PROGRAMMING

By Lloyd, J.W.. Berlin Springer-Verlag 1984 . 317

Place Hold on FOUNDATIONS OF LOGIC PROGRAMMING

FAIRNESS

By Francez, Nissim. New York Springer Verlag 1986 . xiii,295

Place Hold on FAIRNESS

AADIKAND

By Bandyopadhyay. Cambridge Mit Press 1984 . 138 , Bibliography : P. 129 | Thesis (Ph.D.) -- Cornell University, 1983

Place Hold on AADIKAND

Algebraic methods in semantics

By Nivat, Maurice. Cambridge Cambridge University Press 1985 . xv, 634p. 0521267935

Place Hold on Algebraic methods in semantics

INITIAL COMPUTABILITY, ALGEBRAIC SPECIFICATIONS, AND PARTIAL ALGEBRAS

By Reichel, Horst. Oxford Clarendon Pr. 1987 . 221

Place Hold on INITIAL COMPUTABILITY, ALGEBRAIC SPECIFICATIONS, AND PARTIAL ALGEBRAS

SEMANTICS OF PROGRAMMING LANGUAGES

By Gunter,Carl A.. Mit Press, Cambridge 1992 . xviii,419 , Includes Bibliographical References And Index. 0262071436

Place Hold on SEMANTICS OF PROGRAMMING LANGUAGES

THE FORMAL SEMANTICS OF PROGRAMMING LANGUAGES

By Winskel,Glynn. Mit Press, Cambridge 1993 . xviii,361 , Includes Bibliographical References And Index. 0262231697

Place Hold on THE FORMAL SEMANTICS OF PROGRAMMING LANGUAGES

FORMAL SYNTAX AND SEMANTICS OF PROGRAMMING LANGUAGES

By Slonneger,Kenneth. Addison-Wesley, Reading,Mass. 1995 . xviii,637 0201656973

Place Hold on FORMAL SYNTAX AND SEMANTICS OF PROGRAMMING LANGUAGES

Programming logics

By Gumb, Raymond D.. New York John Wiley 1989 . xvii, 334p 0471605395

Place Hold on Programming logics

ALGEBRAIC THEORY OF PROCESSES

By Hannesay, Matthew. Cambridge Mit Press 1988 . vi,273 0262081717

Place Hold on ALGEBRAIC THEORY OF PROCESSES

SEMANTICS WITH APPLICATIONS

By Nielson,Hanne Riis. Springer-Verlag, London 2007 . xii,274 1846286913

Place Hold on SEMANTICS WITH APPLICATIONS

Fully abstract models of programming languages

By Stoughton, Allen. London Pitman Publishing 1988 . 123p. 0470210419

Place Hold on Fully abstract models of programming languages