Notes on operational semantics of abstract data types and programming languages

PROGRAMMING LANGUAGES AS ABSTRACT DATA TYPES: DEFINITION AND IMPLEMENTATION

FASEL, JOSEPH HENRY

January 1980

We demonstrate that a uniformity of approach to both the definition and implementation of programmin...

Operational semantics: concepts and their expression

Cliff B. Jones

January 2003

This paper was presented at the 2003 ETAPS-WMT event in Warsaw. It has been submitted to IPL and all...

The origins of structural operational semantics

Plotkin, Gordon D

December 2004

AbstractWe review the origins of structural operational semantics. The main publication `A Structura...

Semantics and Typing

Craig Chambers
Gary T. Leavens
Craig Chambers
Gary T. Leavens

January 1996

[Programming Languages] Language Constructs and Features — abstract data types, control structures, ...

Operational methods in semantics

Amadio, Roberto,

December 2016

MasterThe focus of these lecture notes is on abstract models and basic ideasand results that relate ...

Modular compiler descriptions based on abstract semantic data types

Ganzinger, H.
Dortmund Univ. (Germany). Abt. Informatik

January 1982

SIGLETIB: RN 4237 (146) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbi...

Abstracts of the 4. workshop on specification of abstract data types

Drosten, K.
Gogolla, M.
Lipeck, U.
Ehrich, H.D.
Braunschweig Technische Univ. (Germany). Abt. fuer Datenbanken und Informationssysteme

January 1986

SIGLETIB: RN 6403 (86-09)+a / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informatio...

3. Workshop on theory and application of abstract data types

Kreowski, H.J.
Wilharm, A.
Bremen Univ. (Germany). Fachbereich 3 - Studiengang Mathematik/Informatik

January 1984

SIGLETIB Hannover: RO 802(1984,9) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Info...

Key extensions of abstract data types, final algebras, and database semantics

Ehrich, H.D.
Braunschweig Technische Univ. (Germany)

January 1986

SIGLETIB Hannover: RN 6403 (86-01) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Inf...

Implementation specifications

Beierle, C.
Voss, A.
Kaiserslautern Univ. (Germany). Fachbereich Informatik

January 1985

To appear in: Proc. of the 3rd Workshop on Theory and Applications of Abstract Data Types, Informati...

GDP Festschrift ENTCS, to appear

Rob Van Glabbeek A
B Matthew Hennessy C

February 2008

1 Introduction Operational semantics has played a useful role in computer science since the very inc...

Semantics of programming languages. Third Edition

PETTOROSSI, ALBERTO

January 2016

In these lecture notes we present a few basic approaches to the definition of the semantics of progr...

A new class concept supporting abstract data types

Roessig, S.
Krause, M.
Kiel Univ. (Germany). Inst. fuer Informatik und Praktische Mathematik

January 1986

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Initial versus terminal algebra semantics for partially defined abstract types

Broy, M.
Wirsing, M.
Technische Univ. Muenchen (Germany, F.R.). Inst. fuer Informatik
Technische Univ. Muenchen (Germany, F.R.). Sonderforschungsbereich 49 - Programmiertechnik
Deutsche Forschungsgemeinschaft, Bonn (Germany, F.R.)

January 1980

SIGLETechnische Informationsbibliothek Hannover: RN 7878 (8018)+a / FIZ - Fachinformationszzentrum K...

Specification and implementation problems of programming languages proper for hierarchical data types

Krause, M
Langmaak, H. (Kiel Univ. (Germany, F.R.). Inst. fuer Informatik und Praktische Mathematik)
Kreczmar, A.
Salwicki, A. (Warsaw Univ. (Poland). Inst. of Informatics)
Kiel Univ. (Germany, F.R.). Inst. fuer Informatik und Praktische Mathematik

January 1984

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

PROGRAMMING LANGUAGES AS ABSTRACT DATA TYPES: DEFINITION AND IMPLEMENTATION

FASEL, JOSEPH HENRY

January 1980

We demonstrate that a uniformity of approach to both the definition and implementation of programmin...

Operational semantics: concepts and their expression

Cliff B. Jones

January 2003

This paper was presented at the 2003 ETAPS-WMT event in Warsaw. It has been submitted to IPL and all...

The origins of structural operational semantics

Plotkin, Gordon D

December 2004

AbstractWe review the origins of structural operational semantics. The main publication `A Structura...

Semantics and Typing

Craig Chambers
Gary T. Leavens
Craig Chambers
Gary T. Leavens

January 1996

[Programming Languages] Language Constructs and Features — abstract data types, control structures, ...

Operational methods in semantics

Amadio, Roberto,

December 2016

MasterThe focus of these lecture notes is on abstract models and basic ideasand results that relate ...

Modular compiler descriptions based on abstract semantic data types

Ganzinger, H.
Dortmund Univ. (Germany). Abt. Informatik

January 1982

SIGLETIB: RN 4237 (146) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbi...

Abstracts of the 4. workshop on specification of abstract data types

Drosten, K.
Gogolla, M.
Lipeck, U.
Ehrich, H.D.
Braunschweig Technische Univ. (Germany). Abt. fuer Datenbanken und Informationssysteme

January 1986

SIGLETIB: RN 6403 (86-09)+a / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informatio...

3. Workshop on theory and application of abstract data types

Kreowski, H.J.
Wilharm, A.
Bremen Univ. (Germany). Fachbereich 3 - Studiengang Mathematik/Informatik

January 1984

SIGLETIB Hannover: RO 802(1984,9) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Info...

Key extensions of abstract data types, final algebras, and database semantics

Ehrich, H.D.
Braunschweig Technische Univ. (Germany)

January 1986

SIGLETIB Hannover: RN 6403 (86-01) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Inf...

Implementation specifications

Beierle, C.
Voss, A.
Kaiserslautern Univ. (Germany). Fachbereich Informatik

January 1985

To appear in: Proc. of the 3rd Workshop on Theory and Applications of Abstract Data Types, Informati...

GDP Festschrift ENTCS, to appear

Rob Van Glabbeek A
B Matthew Hennessy C

February 2008

1 Introduction Operational semantics has played a useful role in computer science since the very inc...

Semantics of programming languages. Third Edition

PETTOROSSI, ALBERTO

January 2016

In these lecture notes we present a few basic approaches to the definition of the semantics of progr...

A new class concept supporting abstract data types

Roessig, S.
Krause, M.
Kiel Univ. (Germany). Inst. fuer Informatik und Praktische Mathematik

January 1986

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Initial versus terminal algebra semantics for partially defined abstract types

Broy, M.
Wirsing, M.
Technische Univ. Muenchen (Germany, F.R.). Inst. fuer Informatik
Technische Univ. Muenchen (Germany, F.R.). Sonderforschungsbereich 49 - Programmiertechnik
Deutsche Forschungsgemeinschaft, Bonn (Germany, F.R.)

January 1980

SIGLETechnische Informationsbibliothek Hannover: RN 7878 (8018)+a / FIZ - Fachinformationszzentrum K...

Specification and implementation problems of programming languages proper for hierarchical data types

Krause, M
Langmaak, H. (Kiel Univ. (Germany, F.R.). Inst. fuer Informatik und Praktische Mathematik)
Kreczmar, A.
Salwicki, A. (Warsaw Univ. (Poland). Inst. of Informatics)
Kiel Univ. (Germany, F.R.). Inst. fuer Informatik und Praktische Mathematik

January 1984

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

PROGRAMMING LANGUAGES AS ABSTRACT DATA TYPES: DEFINITION AND IMPLEMENTATION

FASEL, JOSEPH HENRY

January 1980

We demonstrate that a uniformity of approach to both the definition and implementation of programmin...

Operational semantics: concepts and their expression

Cliff B. Jones

January 2003

This paper was presented at the 2003 ETAPS-WMT event in Warsaw. It has been submitted to IPL and all...

The origins of structural operational semantics

Plotkin, Gordon D

December 2004

AbstractWe review the origins of structural operational semantics. The main publication `A Structura...

Notes on operational semantics of abstract data types and programming languages

Abstract

Extracted data

Notes on operational semantics of abstract data types and programming languages

Abstract

Extracted data

Related items

Related items