An investigation of some differences in A-level mathematics syllabuses in England and Wales

Autor: Jennings, Trevor Vernon

At the time when this study began, there were nine boards offering Advanced Level Mathematics syllabuses. Some of the boards offered three,and sometimes four versions of A-level Mathematics. The study looks at these various forms from a number of dif

Externí odkaz: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.321315

Extended abstract: Towards the Formalization of SPARK 2014 Semantics with Explicit Run-time Checks Using Coq

Autor: Courtieu, Pierre, Aponte, Maria-Virginia, Crolard, Tristan, Zhang, Zhi, Belt, Jason, Hatcliff, John, Guitton, Jérôme, Jennings, Trevor

Publikováno v: High Integrity Language Technology-ACM SIGAda?s Annual International Conference
High Integrity Language Technology-ACM SIGAda?s Annual International Conference, Nov 2013, X, Australia. pp.2

We present our project, and a small early development, of formailzing the semantics of SPARC in Coq.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ee3d780395cfa5e894d6eb8db3294dd7
https://hal.archives-ouvertes.fr/hal-01126336

Towards the formalization of SPARK 2014 semantics with explicit run-time checks using coq

Autor: Courtieu, Pierre, Aponte, Maria Virginia, Crolard, Tristan, Zhang, Zhi, Robby, Fnu, Belt, Jason, Hatcliff, John, Guitton, Jerome, Jennings, Trevor

Publikováno v: ACM SIGAda Ada Letters; November 2013, Vol. 33 Issue: 3 p21-22, 2p