Browse by Divisions by year

[up] Up a level
Group by: Document type | Year of publication | Authors | No Grouping
Jump to: Articles in a Scientific Journal - peer-reviewed | Conference papers | Theses - published by a publisher | Reports - other reports
Number of items: 5.

Articles in a Scientific Journal - peer-reviewed

[thumbnail of IFuE94.pdf]

Hasselbring, W. (1994) Formale Spezifikation und Prototyping im Sprachentwurf: Eine Fallstudie . Informatik Forschung und Entwicklung, 9 (3). pp. 132-140.

Conference papers

[thumbnail of ZUM1994.pdf]

Hasselbring, W. (1994) Animation of Object-Z specifications with a set-oriented prototyping language . [Paper] In: Proceedings Eighth Z User Meeting. , 29–30 June 1994, Cambridge, UK . Proceedings Eighth Z User Meeting. ; pp. 337-356 .

[thumbnail of BadHonnef1994.pdf]

Hasselbring, W. (1994) Vom Matching zur Unifikation im Tupelraum. [Paper] In: Alternative Konzepte für Sprachen und Rechner (Proceedings of Workshop Deklarative Programmierung und Spezifikation). , 9.--11. Mai 1994, Bad Honnef, Germany ; pp. 60-63 .

Theses - published by a publisher

[thumbnail of PhDHasselbring1994.pdf]

Hasselbring, W. (1994) Prototyping Parallel Algorithms in a Set-Oriented Language . (PhD/ Doctoral thesis), University of Dortmund, Dortmund, 205 pp.

Reports - other reports

[thumbnail of DAI1994.pdf]

Hasselbring, W. and Fisher, R. (1994) Investigating Parallel Interpretation-Tree Model Matching Algorithms with ProSet-Linda. . DAI Research Paper , No. 722 . Department of Artificial Intelligence, 41 pp.

This list was generated on Mon Dec 23 01:08:16 2024 CET.