HOPS Documentation and Papers
Probably the most accessible overview is the following:
- Wolfram Kahl:
The Term Graph Programming System HOPS,
in
Rudolf Berghammer, Yassine Lakhnech (eds.)
Tool Support for System Specification, Development and Verification, Advances in Computing Science, Springer-Verlag Vienna,
ISBN 3-211-83282-3, pp. 136-149 March 1999.
A publication about the declarative attribution mechanism of HOPS:
Some publications about the theoretical background of HOPS:
- Wolfram Kahl:
Internally Typed Second-Order Term Graphs,
in
Graph Theoretic Concepts in Computer Science,
24th International Workshop, WG '98, Proceedings, pp. 149-163, LNCS 1517, Springer-Verlag
- Wolfram Kahl:
Relational Treatment of Term Graphs with Bound Variables,
Logic Journal of the IGPL,
vol. 6, issue 2, pp. 259-303, 1998.
- Wolfram Kahl, Claudia Hattensperger:
Second-Order Syntax in HOPS and in RALF,
in Bettina Buth, Rudolf Berghammer, Jan Peleska (eds.):
Program Systems for Computer-Aided System Development and Verification,
pp. 140-164,
Vol. 1 of BISS Monographs, Shaker Verlag Aachen, 1998,
ISBN: 3-8265-3806-4
- Wolfram Kahl:
A Fibred Approach to Rewriting - How the Duality between Adding and Deleting Cooperates with the Difference between Matching and Rewriting,
Technical Report Nr. 9702, Fakultät für Informatik,
Universität der Bundeswehr München, May 1997, 26 pages
- Wolfram Kahl:
Algebraische Termgraphersetzung mit gebundenen Variablen,
Herbert Utz Verlag, München, Reihe Informatik, ISBN 3-931327-60-4, 1996,
also PhD dissertation at Fakultät für Informatik,
Universität der Bundeswehr München, 1995
- Wolfram Kahl:
Kategorien von Termgraphen mit gebundenen Variablen,
Technical Report Nr. 9503, Fakultät für Informatik,
Universität der Bundeswehr München, September 1995, 191 pages
(contains most of the proofs for
[Kahl-1996])
The current system derives much of its motivation from work on the
HOPS project started in the mid-eighties of the twentieth century
in a group lead by Gunther Schmidt.
Older publications referring to earlier implementations include:
- Arne Bayer,
Bernd Grobauer,
Wolfram Kahl,
Peter Kempf,
Franz Schmalhofer,
Gunther Schmidt,
Michael Winter: The Higher Object Programming System HOPS,
Internal Report,
Department of Computing Science,
University of the Federal Armed Forces Munich,
1996
- Wolfram Kahl:
Can Functional Programming Be Liberated from the Applicative Style?,
pp. 330-335 in Bjørn Pehrson, Imre Simon (eds):
Technology and Foundations, Information Processing '94,
Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September 1994, Volume I
, IFIP Transactions A-51,
North-Holland, 1994
- Hans Zierer, Gunther Schmidt, Rudolf Berghammer:
An Interactive Graphical Manipulation System for Higher Objects Based on Relational Algebra,
in
Proc. 12th International Workshop on Graph Theoretic Concepts in Computer Science, WG '86, pp. 68-81, LNCS 246, Springer-Verlag
Wolfram Kahl