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...
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Tagungsbericht |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 163 |
|---|---|
| container_issue | |
| container_start_page | 5 pp. |
| container_title | |
| container_volume | |
| creator | Rysavy, O. Scuglik, F. Sveda, M. |
| description | 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 |
| doi_str_mv | 10.1109/ECBS.2006.36 |
| format | Conference Proceeding |
| fullrecord | <record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_1607365</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>1607365</ieee_id><sourcerecordid>1607365</sourcerecordid><originalsourceid>FETCH-ieee_primary_16073653</originalsourceid><addsrcrecordid>eNp9i70OgjAYAJsYE__Y3Fz6AtSW0hIWBxHj5CI7qfpRq1DMVxPj28vg7C03XI6QpeBMCJ6vy2J7Ygnnmkk9IjOe6VwlKtV6QqIQ7nxA5mkq1JRsdhCc9c5balrbo3vdungQ-BdcqQUP6C60dWc0-KG9p-xYVrRB08G7x8eCjBvTBoh-npPVvqyKQ-wAoH6i64atFppnUiv5v34Bbcg26g</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Designing algorithm-oriented generic library on .NET framework</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Rysavy, O. ; Scuglik, F. ; Sveda, M.</creator><creatorcontrib>Rysavy, O. ; Scuglik, F. ; Sveda, M.</creatorcontrib><description>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</description><identifier>ISBN: 0769525466</identifier><identifier>ISBN: 9780769525464</identifier><identifier>DOI: 10.1109/ECBS.2006.36</identifier><language>eng</language><publisher>IEEE</publisher><subject>Algorithm design and analysis ; Application software ; Computer languages ; Operating systems ; Rotors ; Runtime ; Software libraries ; Software standards ; Standards development ; Utility programs</subject><ispartof>13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06), 2006, p.5 pp.-163</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/1607365$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,780,784,789,790,2056,4048,4049,27924,54919</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/1607365$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Rysavy, O.</creatorcontrib><creatorcontrib>Scuglik, F.</creatorcontrib><creatorcontrib>Sveda, M.</creatorcontrib><title>Designing algorithm-oriented generic library on .NET framework</title><title>13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06)</title><addtitle>ECBS</addtitle><description>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</description><subject>Algorithm design and analysis</subject><subject>Application software</subject><subject>Computer languages</subject><subject>Operating systems</subject><subject>Rotors</subject><subject>Runtime</subject><subject>Software libraries</subject><subject>Software standards</subject><subject>Standards development</subject><subject>Utility programs</subject><isbn>0769525466</isbn><isbn>9780769525464</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2006</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNp9i70OgjAYAJsYE__Y3Fz6AtSW0hIWBxHj5CI7qfpRq1DMVxPj28vg7C03XI6QpeBMCJ6vy2J7Ygnnmkk9IjOe6VwlKtV6QqIQ7nxA5mkq1JRsdhCc9c5balrbo3vdungQ-BdcqQUP6C60dWc0-KG9p-xYVrRB08G7x8eCjBvTBoh-npPVvqyKQ-wAoH6i64atFppnUiv5v34Bbcg26g</recordid><startdate>2006</startdate><enddate>2006</enddate><creator>Rysavy, O.</creator><creator>Scuglik, F.</creator><creator>Sveda, M.</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>2006</creationdate><title>Designing algorithm-oriented generic library on .NET framework</title><author>Rysavy, O. ; Scuglik, F. ; Sveda, M.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-ieee_primary_16073653</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2006</creationdate><topic>Algorithm design and analysis</topic><topic>Application software</topic><topic>Computer languages</topic><topic>Operating systems</topic><topic>Rotors</topic><topic>Runtime</topic><topic>Software libraries</topic><topic>Software standards</topic><topic>Standards development</topic><topic>Utility programs</topic><toplevel>online_resources</toplevel><creatorcontrib>Rysavy, O.</creatorcontrib><creatorcontrib>Scuglik, F.</creatorcontrib><creatorcontrib>Sveda, M.</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE Electronic Library (IEL)</collection><collection>IEEE Proceedings Order Plans (POP All) 1998-Present</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Rysavy, O.</au><au>Scuglik, F.</au><au>Sveda, M.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Designing algorithm-oriented generic library on .NET framework</atitle><btitle>13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06)</btitle><stitle>ECBS</stitle><date>2006</date><risdate>2006</risdate><spage>5 pp.</spage><epage>163</epage><pages>5 pp.-163</pages><isbn>0769525466</isbn><isbn>9780769525464</isbn><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</abstract><pub>IEEE</pub><doi>10.1109/ECBS.2006.36</doi></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISBN: 0769525466 |
| ispartof | 13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06), 2006, p.5 pp.-163 |
| issn | |
| language | eng |
| recordid | cdi_ieee_primary_1607365 |
| source | IEEE Electronic Library (IEL) Conference Proceedings |
| subjects | Algorithm design and analysis Application software Computer languages Operating systems Rotors Runtime Software libraries Software standards Standards development Utility programs |
| title | Designing algorithm-oriented generic library on .NET framework |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-11T10%3A04%3A19IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-ieee_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Designing%20algorithm-oriented%20generic%20library%20on%20.NET%20framework&rft.btitle=13th%20Annual%20IEEE%20International%20Symposium%20and%20Workshop%20on%20Engineering%20of%20Computer-Based%20Systems%20(ECBS'06)&rft.au=Rysavy,%20O.&rft.date=2006&rft.spage=5%20pp.&rft.epage=163&rft.pages=5%20pp.-163&rft.isbn=0769525466&rft.isbn_list=9780769525464&rft_id=info:doi/10.1109/ECBS.2006.36&rft_dat=%3Cieee_6IE%3E1607365%3C/ieee_6IE%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=1607365&rfr_iscdi=true |