GOTOs - a study in the algebraic specification of programming languages

Goto Statement Considered Harmful – A Paper Review

Babayeva, Maryna

June 2015

In 1968 Edsger Dijkstra wrote a letter to the editor of Communications of the ACM (CACM) stating his...

The development of an interpreter by means of abstract algebraic software specifications

Klaeren, H.A.
Petzsch, H.
Technische Hochschule Aachen (Germany, F.R.). Lehrstuhl fuer Informatik 2

January 1980

SIGLETechnische Informationsbibliothek Hannover: RN 3147 (65) / FIZ - Fachinformationszzentrum Karls...

An Algebraic Development Technique for Information Systems

Martin Gogolla
Rudolf Herzig

January 1995

. This paper reports on successful application of algebraic ideas to the formal development of softw...

Program development in an algebraic setting

Pepper, P.
Bundesministerium fuer Forschung und Technologie (BMFT), Bonn (Germany)

January 1992

SIGLEAvailable from TIB Hannover: RN 2856(1992-41) / FIZ - Fachinformationszzentrum Karlsruhe / TIB ...

Algebraic specification of modules and modular software systems within the framework of specification logics

Ehrig, H.
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1989

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

Algebraic concepts applied to software development using parameterized specifications with requirements

Ehrig, H.
Fey, W.
Technische Univ. Berlin (Germany, F.R.). Fachbereich Informatik

January 1983

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

Some algebraic concepts of a Petri-net based specification language and their initial semantics

Schmidt, H.W. (Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn, St. Augustin (Germany, F.R.). Inst. fuer Systemtechnik)
Kreowski, H.J. (Bremen Univ. (Germany, F.R.). Fachbereich Mathematik und Informatik)
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn, St. Augustin (Germany, F.R.)

January 1983

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

Algebraic types as a framework for program transformation

Pepper, P.
Partsch, H.
Muenchen Technische Univ. (Germany). Inst. fuer Informatik

January 1984

SIGLETIB: RN 7878 (8408) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsb...

Algebraic specification concepts for modular systems

Boehm, P.
Ehrig, H.
Hasler, K.P. (Berlin Technische Univ. (Germany). Inst. fuer Software und Theoretische Informatik)
Weber, H. (Dortmund Univ. (Germany))
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1986

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

Algebraic specification of modules

Ehrig, H.
Weber, H.
Dortmund Univ. (Germany). Fachbereich Informatik

January 1985

To appear in Proc. Formal Models in Programming, Wien 1985TIB: RN 4237 (190) / FIZ - Fachinformation...

Applied program algebras

Zubenko, V.
Kiel Univ. (Germany). Inst. fuer Informatik und Praktische Mathematik

January 1985

SIGLETIB: RN 4855 (8504) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsb...

Toward formal development of programs from algebraic specifications: parameterisation revisited

Sannella, D. (Bremen Univ. (Germany). Fachbereich 3 - Mathematik/Informatik)
Sokolowski, S. (Polish Academy of Sciences, Gdansk (Poland). Inst. of Computer Science)
Tarlecki, A. (Polish Academy of Sciences, Warsaw (Poland). Inst. of Computer Science)
Bremen Univ. (Germany). Fachbereich 3 - Studiengang Mathematik/Informatik

January 1990

SIGLETIB: RO 802(1990,6) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsb...

Introduction to algebraic specification in ACT TWO

Fey, W.
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1986

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

Algebraic Model of Programming Languages

Cristina Ioana Brumar
Emil M. Popa
Florentina Laura Cacovean
Bogdan Alexandru Brumar

February 2015

Abstract:- This paper is an approach methodology of programming language, considerate like a tuple L...

Algebraische Spezifikation und Korrektheit von Compilern

Grude, U.
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1985

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

Goto Statement Considered Harmful – A Paper Review

Babayeva, Maryna

June 2015

In 1968 Edsger Dijkstra wrote a letter to the editor of Communications of the ACM (CACM) stating his...

The development of an interpreter by means of abstract algebraic software specifications

Klaeren, H.A.
Petzsch, H.
Technische Hochschule Aachen (Germany, F.R.). Lehrstuhl fuer Informatik 2

January 1980

SIGLETechnische Informationsbibliothek Hannover: RN 3147 (65) / FIZ - Fachinformationszzentrum Karls...

An Algebraic Development Technique for Information Systems

Martin Gogolla
Rudolf Herzig

January 1995

. This paper reports on successful application of algebraic ideas to the formal development of softw...

Program development in an algebraic setting

Pepper, P.
Bundesministerium fuer Forschung und Technologie (BMFT), Bonn (Germany)

January 1992

SIGLEAvailable from TIB Hannover: RN 2856(1992-41) / FIZ - Fachinformationszzentrum Karlsruhe / TIB ...

Algebraic specification of modules and modular software systems within the framework of specification logics

Ehrig, H.
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1989

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

Algebraic concepts applied to software development using parameterized specifications with requirements

Ehrig, H.
Fey, W.
Technische Univ. Berlin (Germany, F.R.). Fachbereich Informatik

January 1983

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

Some algebraic concepts of a Petri-net based specification language and their initial semantics

Schmidt, H.W. (Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn, St. Augustin (Germany, F.R.). Inst. fuer Systemtechnik)
Kreowski, H.J. (Bremen Univ. (Germany, F.R.). Fachbereich Mathematik und Informatik)
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn, St. Augustin (Germany, F.R.)

January 1983

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

Algebraic types as a framework for program transformation

Pepper, P.
Partsch, H.
Muenchen Technische Univ. (Germany). Inst. fuer Informatik

January 1984

SIGLETIB: RN 7878 (8408) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsb...

Algebraic specification concepts for modular systems

Boehm, P.
Ehrig, H.
Hasler, K.P. (Berlin Technische Univ. (Germany). Inst. fuer Software und Theoretische Informatik)
Weber, H. (Dortmund Univ. (Germany))
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1986

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

Algebraic specification of modules

Ehrig, H.
Weber, H.
Dortmund Univ. (Germany). Fachbereich Informatik

January 1985

To appear in Proc. Formal Models in Programming, Wien 1985TIB: RN 4237 (190) / FIZ - Fachinformation...

Applied program algebras

Zubenko, V.
Kiel Univ. (Germany). Inst. fuer Informatik und Praktische Mathematik

January 1985

SIGLETIB: RN 4855 (8504) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsb...

Toward formal development of programs from algebraic specifications: parameterisation revisited

Sannella, D. (Bremen Univ. (Germany). Fachbereich 3 - Mathematik/Informatik)
Sokolowski, S. (Polish Academy of Sciences, Gdansk (Poland). Inst. of Computer Science)
Tarlecki, A. (Polish Academy of Sciences, Warsaw (Poland). Inst. of Computer Science)
Bremen Univ. (Germany). Fachbereich 3 - Studiengang Mathematik/Informatik

January 1990

SIGLETIB: RO 802(1990,6) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsb...

Introduction to algebraic specification in ACT TWO

Fey, W.
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1986

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

Algebraic Model of Programming Languages

Cristina Ioana Brumar
Emil M. Popa
Florentina Laura Cacovean
Bogdan Alexandru Brumar

February 2015

Abstract:- This paper is an approach methodology of programming language, considerate like a tuple L...

Algebraische Spezifikation und Korrektheit von Compilern

Grude, U.
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1985

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

Goto Statement Considered Harmful – A Paper Review

Babayeva, Maryna

June 2015

In 1968 Edsger Dijkstra wrote a letter to the editor of Communications of the ACM (CACM) stating his...

The development of an interpreter by means of abstract algebraic software specifications

Klaeren, H.A.
Petzsch, H.
Technische Hochschule Aachen (Germany, F.R.). Lehrstuhl fuer Informatik 2

January 1980

SIGLETechnische Informationsbibliothek Hannover: RN 3147 (65) / FIZ - Fachinformationszzentrum Karls...

An Algebraic Development Technique for Information Systems

Martin Gogolla
Rudolf Herzig

January 1995

. This paper reports on successful application of algebraic ideas to the formal development of softw...

GOTOs - a study in the algebraic specification of programming languages

Abstract

Extracted data

GOTOs - a study in the algebraic specification of programming languages

Abstract

Extracted data

Related items

Related items