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

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"
}