Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Telford, Alastair J."'
Autor:
Telford, Alastair J.
Martin-Lof's intuitionistic type theory has been under investigation in recent years as a potential source for future functional programming languages. This is due to its properties which greatly aid the derivation of provably correct programs. These
Externí odkaz:
https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.309745
Autor:
Telford, Alastair J.
Martin-Löf's intuitionistic type theory has been under investigation in recent years as a potential source for future functional programming languages. This is due to its properties which greatly aid the derivation of provably correct programs. The
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e187a06cec63b3b8ba5d8358aa03cac2
Autor:
Telford, Alastair J., Turner, David A.
In previous papers we have proposed an elementary discipline of strong functional programming (ESFP), in which all computations terminate. A key feature of the discipline is that we introduce a type distinction between data which is known to be finit
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=core_ac_uk__::d3c1b18e8aed63b746fc0265fb590986
https://kar.kent.ac.uk/22050/1/A_Hierarchy_of_Languages_with_Strong_Termination_Properties
https://kar.kent.ac.uk/22050/1/A_Hierarchy_of_Languages_with_Strong_Termination_Properties
Autor:
Telford, Alastair J., Turner, David A.
It is our aim to produce an elementary strong functional programming (ESFP) system. To be useful, ESFP should include structures such as streams which can be computationally unwound infinitely often. We describe a syntactic analysis to ensure that in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=core_ac_uk__::d1af4ef4729b89aa98c5725825726d90
https://kar.kent.ac.uk/21461/1/Ensuring_the_Productivity_of_Infinite_Structures.gz
https://kar.kent.ac.uk/21461/1/Ensuring_the_Productivity_of_Infinite_Structures.gz
Autor:
Telford, Alastair J., Thompson, Simon
Constructive type theories, such as that of Martin-Lof, allow program construction and verification to take place within a single system: proofs may be read as programs and propositions as types. However, parts of proofs may be seen to be irrelevant
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=core_ac_uk__::0da92c51378d806f5bc7fa6cdd36d323
https://kar.kent.ac.uk/21326/1/AbstractTelford.pdf
https://kar.kent.ac.uk/21326/1/AbstractTelford.pdf
Accident reports are typically divided into chapters which reflect the different perspectives of various specialists. It is sometimes the case that these alternative viewpoints lead to inconsistencies and omissions where an incident covered at length
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=core_ac_uk__::f71406ff1fdbc2eb6e93527f8932fc03
https://kar.kent.ac.uk/21351/1/ViewpointsTR.pdf
https://kar.kent.ac.uk/21351/1/ViewpointsTR.pdf
Autor:
Telford, Alastair J.
Martin-Lof's intuitionistic type theory has been under investigation in recent years as a potential source for future functional programming languages. This is due to its properties which greatly aid the derivation of provably correct programs. These
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=core_ac_uk__::cabdc83ddfe5a03cca47cf29ff0534d8
https://kar.kent.ac.uk/21246/1/thesis.pdf
https://kar.kent.ac.uk/21246/1/thesis.pdf