Designing algorithm-oriented generic library on .NET framework

In this paper, we describe the use of generic programming approach to design and implementation of a collection of basic model-checking algorithms on the .NET framework. The mentioned methodology separates algorithms and data structures similarly to Standard Template Library that allows delivering g...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Rysavy, O., Scuglik, F., Sveda, M.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Algorithm design and analysis Application software Computer languages Operating systems Rotors Runtime Software libraries Software standards Standards development Utility programs
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!