Publication detail
Designing Algorithm-oriented Generic Library on .NET Framework
RYŠAVÝ, O. ŠČUGLÍK, F. ŠVÉDA, M.
Original Title
Designing Algorithm-oriented Generic Library on .NET Framework
English Title
Designing Algorithm-oriented Generic Library on .NET Framework
Type
conference paper
Language
en
Original Abstract
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 general and efficient algorithms. As the implementation environment does not enable us to exploit the advantages of static polymorphism provided by the C++ template parameterization we needed to adjust the approach for the use with the generics feature, which is the novel mechanism introduced with the second version of the .NET framework.
English abstract
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 general and efficient algorithms. As the implementation environment does not enable us to exploit the advantages of static polymorphism provided by the C++ template parameterization we needed to adjust the approach for the use with the generics feature, which is the novel mechanism introduced with the second version of the .NET framework.
Keywords
Generic programming, model-checking algorithm, .NET framework, generics feature
RIV year
2006
Released
30.03.2006
Publisher
IEEE Computer Society
Location
Los Alamitos, CA
ISBN
0-7695-2546-6
Book
Proceedings of the 13th IEEE International Symposium and Workshop on the Engineering of Computer-Based Systems ECBS 2006
Pages from
159
Pages to
163
Pages count
5
Documents
BibTex
@inproceedings{BUT22179,
author="Ondřej {Ryšavý} and František {Ščuglík} and Miroslav {Švéda}",
title="Designing Algorithm-oriented Generic Library on .NET Framework",
annote="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 general and
efficient algorithms. As the implementation environment does not enable us to
exploit the advantages of static polymorphism provided by the C++ template
parameterization we needed to adjust the approach for the use with the generics
feature, which is the novel mechanism introduced with the second version of the
.NET framework.
",
address="IEEE Computer Society",
booktitle="Proceedings of the 13th IEEE International Symposium and Workshop on the Engineering of Computer-Based Systems ECBS 2006",
chapter="22179",
institution="IEEE Computer Society",
year="2006",
month="march",
pages="159--163",
publisher="IEEE Computer Society",
type="conference paper"
}