• Publications
  • Influence
Parc++: A parallel C++
TLDR
PARC++ is a system that supports object‐oriented parallel programming in C++. Expand
  • 7
  • 3
VCR: A VDM-based software component retrieval tool
TLDR
We present a tool which allows implicit VDM speciications to be used as search keys for the retrieval of software components. Expand
  • 28
  • 2
  • PDF
ALADIN: A scanner generator for incremental programming environments
TLDR
We present the ALADIN system, which is able to deliver more than a single token if required. Expand
  • 7
  • PDF
VCR : A VDM-based software componentretrieval
We present a tool which allows implicit VDM speciications to be used as search keys for the retrieval of software components. A preprocessing phase utilizes signature matching to lter promisingExpand
  • 1
An Algorithm for Verifying Equations of Morphisms in a Category
TLDR
In category theory one often has the problem to verify that a certain sequence (that is a composition) of morphisms or natural transformations is equal to another such sequence. Expand
  • 3
Halbgruppen und Monoide
Die in Kap. 3 eingefuhrten Mengen von Zahlen sind bezuglich der Addition abgeschlossen. Zum Beispiel ist die Addition zweier naturlicher Zahlen wieder eine naturliche Zahl. Diese Eigenschaft machtExpand
Ringe und Körper
Nachdem wir im vorangegangenen Kapitel Gruppen betrachtet haben, also spezielle algebraische Strukturen mit einer Verknupfung, untersuchen wir in diesem Kapitel Ringe und Korper, die algebraischeExpand
Mengen, Relationen und Funktionen
In der Mathematik werden sowohl einzelne Objekte als auch Zusammenfassungen von Objekten zu groseren Einheiten betrachtet. Beispielsweise reden wir uber eine konkrete naturliche Zahl, wenn wir sagen,Expand