Research Explorer

Your browser does not support JavaScript or JavaScript is not enabled. Without JavaScript some functions of this webapplication may be disabled or cause error messages. To enable JavaScript, please consult the manual of your browser or contact your system administrator.

Project

Reasoning about Co-Routines

Outputs and Outcomes

Code

3G088414

Duration

01 January 2014 → 31 December 2019

Funding

Research Foundation - Flanders (FWO)

Promotor

Tom Schrijvers

Research disciplines

Natural sciences
- Applied mathematics in specific fields

Keywords

side-ways information passing Coroutine program analysis

Project description

Coroutine-like features and side-ways information passing are ubiquitous in modern programming languages, where they present many programming advantages. Yet, program analyses are ill-equipped to deal with them. As a consequence, programmers get uselessly weak analysis feedback and no compiler optimizations. To remedy the situation this project develops reasoning techniques for coroutine-like programming language constructs.

English

Dutch

English

Cookie settings

In addition to functional cookies which are necessary for the website to function, Ghent University uses non-functional cookies such as statistical cookies and social media cookies. These non-functional cookies can also be placed by third parties, for example to measure the use of the site or to share content on social media. Certain media are only available if you accept the cookies. You can set and modify your cookie preferences yourself. Find out what cookies we use and why in the Cookie Statement.

Analytics

AnalyticsWe'll collect information about your visit to our site. It helps us understand how the site is used – what's working, what might be broken and what we should improve.

Powered by