Cyclone (Programmiersprache)
Programmiersprache
Cyclone ist ein Dialekt der Programmiersprache C.
| Cyclone | |
|---|---|
| Paradigmen: | imperativ, strukturiert |
| Erscheinungsjahr: | 2002 |
| Designer: | AT&T Labs |
| 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.thelanguage.org | |
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
Bearbeiten- 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
BearbeitenWiktionary: Cyclone – Bedeutungserklärungen, Wortherkunft, Synonyme, Übersetzungen
Einzelnachweise
Bearbeiten- ↑ a b c People. In: cyclone.thelanguage.org. Abgerufen am 6. März 2020 (englisch).
- ↑ Michael Hicks: Cyclone: A safe dialect of C, 2002
- ↑ 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).
- ↑ Cyclone is a safe dialect of C. In: cyclone.thelanguage.org. Abgerufen am 6. März 2020 (englisch).