@inproceedings{e5a25b25c2c240b4abc561b24375db40,
title = "Towards advanced programming environments based on algebraic concepts",
abstract = "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.",
author = "Manfred Broy and Alfons Geser and Heinrich Hussmann",
note = "Publisher Copyright: {\textcopyright} 1986, Springer-Verlag.; International Workshop on Advanced Programming Environments, 1986 ; Conference date: 16-06-1986 Through 18-06-1986",
year = "1986",
doi = "10.1007/3-540-17189-4_113",
language = "English",
isbn = "9783540171898",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "454--470",
editor = "Wanvik, {Dag H.} and Reidar Conradi and Didriksen, {Tor M.}",
booktitle = "Advanced Programming Environments - Proceedings of an International Workshop",
}