Research programming language for concurrent ownership
Research programming language for concurrent ownership
Project Verona is a research programming language to explore the concept of concurrent ownership. We are providing a new concurrency model that seamlessly integrates ownership.
This research project is at an early stage and is open sourced to facilitate academic collaborations. We are keen to engage in research collaborations on this project, please do reach out to discuss this.
The project is not ready to be used outside of research, and is under going a massive refactoring.
The previous version can be found in the old_version branch.
Write Concurrency section of Language Spec
Any elaboration of how multiple objects are handled at once?
Looping in validtypeargs pass
Write Lexical Elements section of Language Spec
Write language specification
Write Expression Structure section of Language Spec
Write Region section of Language Spec
Write Type Inference and Checking section of Language Spec
Write Types section of Language Spec
Write Region Model section of Language Spec