Output details
11 - Computer Science and Informatics
Swansea University
Article title
From coinductive proofs to exact real arithmetic: theory and applications
Type
D - Journal article
Title of journal
Logical Methods in Computer Science
Article number
-
Volume number
7
Issue number
1
First page of article
8
ISSN of journal
1860-5974
Year of publication
2011
URL
-
Number of additional authors
0
Additional information
<11> This paper introduces a new style of exact numerical computation based on coinduction and opens up new areas of application for lazy programming languages. Already the earlier version in the 18th International Conference on Computer Science Logic (Coimbra, Portugal, 2009) led to the successful collaborative EU research grant application COMPUTAL (Computable Analysis - Theoretical and Applied Aspects, FP7 - Marie Curie Actions - PIRSES-GA-2011-294962, 2012-2015).
Interdisciplinary
-
Cross-referral requested
-
Research group
A - Theoretical Computer Science
Citation count
5
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
