Towards advanced programming environments based on algebraic concepts

Manfred Broy, Alfons Geser, Heinrich Hussmann

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


As the formal basis for a methodology of software development an algebraic approach is proposed that can be supported by powerful programming environments. Algebraic specifications are formulated with equations, based on first order partial logic. The paper contains a short description of the Passau RAP system for prototyping algebraically specified abstract data types. It outlines the position of the RAP system within a future software environment and explains the environment concept that is currently studied within the ESPRIT project 432 METEOR at the University of Passau.

Original languageEnglish
Title of host publicationAdvanced Programming Environments - Proceedings of an International Workshop
EditorsDag H. Wanvik, Reidar Conradi, Tor M. Didriksen
PublisherSpringer Verlag
Number of pages17
ISBN (Print)9783540171898
StatePublished - 1986
Externally publishedYes
EventInternational Workshop on Advanced Programming Environments, 1986 - Trondheim, Norway
Duration: 16 Jun 198618 Jun 1986

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume244 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


ConferenceInternational Workshop on Advanced Programming Environments, 1986


Dive into the research topics of 'Towards advanced programming environments based on algebraic concepts'. Together they form a unique fingerprint.

Cite this