Search results for "Semantics of programming languages" | NDL Search

Search results 22

Group by title

プログラミング言語の形式的意味論入門

Paper図書

G.ウィンスケル著, 末永幸平監訳, 勝股審也 [ほか] 訳丸善出版2023.1<M159-M1057>

National Diet LibraryOther Libraries in Japan

Note (General)原タイトル: THE FORMAL SEMANTICS OF PROGRAMMING LANGUAGES AN INTRODUCTION
Additional TitleTHE FORMAL SEMANTICS OF PROGRAMMING LANGUAGES AN INTRODUCTION

プログラミング言語の意味論入門 (Information & computing ; 76)

PaperDigital図書

M.ヘネシー著, 荒木啓二郎, 程京徳訳サイエンス社1993.12<M159-E2969>

National Diet LibraryOther Libraries in Japan

Note (General)原タイトル: The semantics of programming languages
Additional TitleThe semantics of programming languages

Concepts and semantics of programming languages 2 : modular and object-oriented constructs with Ocaml, Python, C++, Ada and Java

Paper図書

Thérèse Hardin ... [et al.]ISTE Ltd2021

Other Libraries in Japan

Semantics of programming languages : hard : pbk

Paper図書

R.D. TennentPrentice Hall International1991

Other Libraries in Japan

Comparative metric semantics of programming languages : nondeterminism and recursion :us [hard]

Paper図書

Franck van BreugelBirkhauser Bostonc1998

Other Libraries in Japan

The formal semantics of programming languages : an introduction : pbk

Paper図書

Glynn WinskelMIT Pressc1993

Other Libraries in Japan

Formal syntax and semantics of programming languages : a laboratory based approach

Paper図書

Kenneth Slonneger, Barry L. KurtzAddison-Wesley Pub. Co.c1995

Other Libraries in Japan

Semantics of programming languages and model theory

Paper図書

edited by Manfred Droste and Yuri GurevichGordon and Breach Science Publishersc1993

Other Libraries in Japan

The formal semantics of programming languages : an introduction

Paper図書

Glynn WinskelMIT Pressc1993

Other Libraries in Japan

Semantics of programming languages : structures and techniques

Paper図書

Carl A. GunterMIT Pressc1992

Other Libraries in Japan

The semantics of programming languages : an elementary introduction using structural operational semantics

Paper図書

Matthew HennessyWileyc1990

Other Libraries in Japan

Algorithmically definable functions : a contribution towards the semantics of programming languages

Paper図書

Andrzej BliklePaństwowe Wydawn. Naukowe1971

Other Libraries in Japan

Formal semantics of programming languages : Courant Computer Science Symposium 2, September 14-16, 1970

Paper図書

edited by Randall RustinPrentice-Hallc1972

Other Libraries in Japan

System development and Ada / CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, proceedings ; A.N. Habermann, U. Montanari, eds. (Lecture notes in computer science)

Paper図書

Springer-Verlagc1987.<M15-A3663>

National Diet Library

Contents... to the formal semantics of programming languages / Egidio Astesiano, Gianna Re...

Semantics of programming languages

Paper図書

J. W. de BakkerIn-house reproduction

Other Libraries in Japan

Prentice-Hall International series in computer science

Paper図書

Prentice-Hall International

Other Libraries in Japan

Related Material...ram structures Semantics of programming languages Productive Prolog programming...

Computer engineering series

Paper図書

series editor, Jean-Charles PomerolISTE

Other Libraries in Japan

Related Material...y Concepts and semantics of programming languages 2 : modular and object-orient...

MIT Press series in the foundations of computing

Paper図書

MIT Press

Other Libraries in Japan

Related Material...ams The formal semantics of programming languages : an introduct......formation flow Semantics of programming languages : structures and techniques C...

Algebra, logic and applications series

Paper図書

Gordon and Breach Science Publishers

Other Libraries in Japan

Related MaterialLinear algebra and geometry Semantics of programming languages and model theory Models for c...

Progress in theoretical computer science

Paper図書

Birkhäuser

Other Libraries in Japan

Related Material...arative metric semantics of programming languages : nondeterminism and recursio...

RSS