Cyclone (programming language)

from Wikipedia, the free encyclopedia
This article or section needs to be revised. Details should be given on the talk page. Please help to improve it , and then remove this flag.

Cyclone
Paradigms : imperative , structured
Publishing year: 2002
Designer: AT&T Labs
Developer: Dan Grossman, Mike Hicks, Trevor Jim, Greg Morrisett, Nikhil SwamyYanling Wang
Current  version : 1.0   (2006-05-08)
Influenced by: C.
Affected: Rust
cyclone.thelanguage.org

Cyclone is a dialect of the C programming language .

Cyclone has various security mechanisms with which the occurrence of buffer overflow and format string vulnerabilities can largely be prevented. At the same time, Cyclone retains the appearance of C.

This was developed in a collaboration between AT&T Labs Research and Cornell University . Development started in 2001 and ended in 2006 in favor of other projects. At the end of the project, the University of Maryland, College Park , Harvard University and the University of Washington were also involved in the development. The concepts of Cyclon were carried over into other programming languages ​​such as the Rust programming language .

literature

  • 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 . June 2002, p. 275–288 (English, usenix.org [accessed March 6, 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 , pp. 282-293 , doi : 10.1145 / 512529.512563 (English).
  • 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 , pp. 73-84 , doi : 10.1145 / 1029873.1029883 (English).
  • Dan Grossman: Type-safe multithreading in cyclone . In: ACM SIGPLAN Notices . tape 38 , no. 3 . Association for Computing Machinery, New York March 2003, p. 13–25 , doi : 10.1145 / 640136.604177 (English, washington.edu [PDF; accessed March 6, 2020]).
  • Dan Grossman, Michael Hicks, Jim Trevor, Greg Morrisett: Cyclone: a type-safe Dialect of C . In: C / C ++ Users Journal . tape 23 , no. January 3 , 2005 (English).
  • Nikhil Swamy, Michael Hicks, Greg Morrisett, Dan Grossman, Trevor Jim: Safe manual memory management in Cyclone . In: Science of Computer Programming . tape 62 , no. 2 , 2006, ISBN 978-1-58113-945-7 , pp. 122–124 , doi : 10.1016 / j.scico.2006.02.003 (English).

Web links

Wiktionary: Cyclone  - explanations of meanings, word origins, synonyms, translations

Individual evidence

  1. ↑ a b c People. In: cyclone.thelanguage.org. Retrieved March 6, 2020 .
  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 . tape 62 , no. 2 , 2006, ISBN 978-1-58113-945-7 , pp. 122–124 , doi : 10.1016 / j.scico.2006.02.003 (English).
  4. ^ Cyclone is a safe dialect of C. In: cyclone.thelanguage.org. Retrieved March 6, 2020 .