| Developers: | Microsoft |
| Date of the premiere of the system: | January, 2020 |
| Branches: | Information technologies |
| Technology: | Development tools of applications |
Content |
Main articles:
- Logical programming
- Evidential programming
- Programming methodology
- Technology of programming
- Programmer
Project Verona — the programming language developed by Microsoft based on Rust. It is intended for creating applications, not subject to the most widespread vulnerabilities and security concerns.
Code safety increases due to automatic control of memory which will save developers from need of manipulation of pointers and will protect from the problems arising because of low-level work with memory such as appeal to area of memory after its release, dereferencing of null pointers and an exit for buffer borders. The difference of language from Rust consists in application of the concept of ownership not of single objects, but object groups.
2020: Disclosure of source codes
In January, 2020 Microsoft opened source codes of the Project Verona programming language. They are laid out on the GitHub portal.
On the page of a repository it is specified that Project Verona is not a ready-made product and also has no relation to the continuing use of Microsoft of languages C ++, C# and Rust.
The C and C languages ++ within decades are everywhere used as the building tool of the system software and assign a task of management of RAM to the programmer that an exit for buffer borders inevitably leads to emergence of errors, such as appeal to memory section after its release or, for example. According to Matt Miller (Matt Miller), the specialist of Microsoft in security, about 70% of all vulnerabilities detected in software products of corporation for the last 12 years are connected with memory management errors.
Project Verona offers the ready performed environment and also the interpreter and a control facility of types.
Microsoft emphasizes that earlier when writing the system software the C and C languages ++, initially not intending for defensive programming were widely used.[1][2]
Programming languages
Notes
| The site content is translated by machine translation software powered by PROMT. The machine-translated articles are not always perfect and may contain errors in vocabulary, syntax or grammar. Read original article If you find inaccuracies or errors in the results of machine translation, please write to editor@tadviser.ru. We will make every effort to correct them as soon as possible. |