project . 2016 - 2018 . Closed

InfTy

Infinitary Rewriting for Type Systems
Open Access mandate for Publications European Commission
  • Funder: European CommissionProject code: 704111 Call for proposal: H2020-MSCA-IF-2015
  • Funded under: H2020 | MSCA-IF-EF-ST Overall Budget: 200,195 EURFunder Contribution: 200,195 EUR
  • Status: Closed
  • Start Date
    01 Aug 2016
    End Date
    31 Jul 2018
  • Detailed project information (CORDIS)
  • Open Access mandate
    Research Data: No
Description
Infinite objects are ubiquitous in computer science, e.g., an interactive program may be modelled as taking for input a stream (an infinite list) of requests and producing a stream of responses. In theoretical computer science infinite objects play an important role e.g. in automata theory and exact real number arithmetic. Representing and reasoning about infinite computations is crucial in designing safe software systems. The objective of InfTy is to devise mathematical methods for reasoning about programs manipulating infinite objects, developing compositional typed formalisms and integrating them with infinitary rewriting techniques. Our methods will be compo...
Description
Infinite objects are ubiquitous in computer science, e.g., an interactive program may be modelled as taking for input a stream (an infinite list) of requests and producing a stream of responses. In theoretical computer science infinite objects play an important role e.g. in automata theory and exact real number arithmetic. Representing and reasoning about infinite computations is crucial in designing safe software systems. The objective of InfTy is to devise mathematical methods for reasoning about programs manipulating infinite objects, developing compositional typed formalisms and integrating them with infinitary rewriting techniques. Our methods will be compo...
Any information missing or wrong?Report an Issue