Cyclone (Programmiersprache)

aus Wikipedia, der freien Enzyklopädie
Cyclone
Paradigmen: imperativ, strukturiert
Erscheinungsjahr: 2002
Entwickler: Dan Grossman, Mike Hicks, Trevor Jim, Greg Morrisett, Nikhil SwamyYanling Wang[1]
Aktuelle Version: 1.0  (2006-05-08)
Beeinflusst von: C
Beeinflusste: Rust

Cyclone ist ein Dialekt der Programmiersprache C.

Cyclone besitzt verschiedene Sicherheitsmechanismen, mit denen sich das Auftreten von Pufferüberlauf- und Format-String-Schwachstellen weitgehend unterbinden lässt. Cyclone behält dabei gleichzeitig das Erscheinungsbild von C bei.[2]

Dieser wurde in einer Zusammenarbeit der AT&T Labs Research und der Cornell University entwickelt.[1] Die Entwicklung begann im Jahre 2001[1] und wurde 2006 zugunsten anderer Projekte beendet. Zum Ende des Projekts waren zusätzlich die University of Maryland, College Park, Harvard University und die University of Washington an der Entwicklung beteiligt.[3] Die Konzepte von Cyclone wurden in andere Programmiersprachen wie z.Bsp. Rust übernommen.[4]

Literatur

  • Trevor Jim, Greg Morrisett, Dan Grossman, Michael Hicks, James Cheney, Yanling Wang: Cyclone: A safe dialect of C. In: Proceedings of the General Track: 2002 USENIX Annual Technical Conference. Juni 2002, S. 275–288 (englisch, usenix.org [abgerufen am 6. März 2020]).
  • Dan Grossman, Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, James Cheney: Region-based memory management in cyclone. In: Proceedings of the ACM SIGPLAN 2002 conference on Programming language design and implementation. Association for Computing Machinery, New York 2002, ISBN 978-1-58113-463-6, S. 282–293, doi:10.1145/512529.512563 (englisch).
  • Michael W. Hicks, J. Gregory Morrisett, Dan Grossman, Trevor Jim: Region-based memory management in cyclone. In: Proceedings of the 4th international symposium on Memory management. Association for Computing Machinery, New York 2002, ISBN 978-1-58113-945-7, S. 73–84, doi:10.1145/1029873.1029883 (englisch).
  • Dan Grossman: Type-safe multithreading in cyclone. In: ACM SIGPLAN Notices. Band 38, Nr. 3. Association for Computing Machinery, New York März 2003, S. 13–25, doi:10.1145/640136.604177 (englisch, washington.edu [PDF; abgerufen am 6. März 2020]).
  • Dan Grossman, Michael Hicks, Trevor Jim, Greg Morrisett: Cyclone: a Type-safe Dialect of C. In: C/C++ Users Journal. Band 23, Nr. 3, Januar 2005 (englisch).
  • Nikhil Swamy, Michael Hicks, Greg Morrisett, Dan Grossman, Trevor Jim: Safe manual memory management in Cyclone. In: Science of Computer Programming. Band 62, Nr. 2, 2006, ISBN 978-1-58113-945-7, S. 122–124, doi:10.1016/j.scico.2006.02.003 (englisch).

Weblinks

Wiktionary: Cyclone – Bedeutungserklärungen, Wortherkunft, Synonyme, Übersetzungen

Einzelnachweise

  1. a b c People. In: cyclone.thelanguage.org. Abgerufen am 6. März 2020 (englisch).
  2. Michael Hicks: Cyclone: A safe dialect of C, 2002
  3. Nikhil Swamy, Michael Hicks, Greg Morrisett, Dan Grossman, Trevor Jim: Safe manual memory management in Cyclone. In: Science of Computer Programming. Band 62, Nr. 2, 2006, ISBN 978-1-58113-945-7, S. 122–124, doi:10.1016/j.scico.2006.02.003 (englisch).
  4. Cyclone is a safe dialect of C. In: cyclone.thelanguage.org. Abgerufen am 6. März 2020 (englisch).