Author of the publication

Two Birds: Teaching Coding and Math in Primary Schools and Beyond (Abstract Only).

, and . SIGCSE, page 743. ACM, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Higher-order strategic programming: A road to software assurance., , and . IASTED Conf. on Software Engineering and Applications, page 350-355. IASTED/ACTA Press, (2004)The Tyranny of the Vital Few: The Pareto Principle in Language Design., , , , , and . JSEA, 4 (3): 146-155 (2011)The TAMPR Program Transformation System: Simplifying the Development of Numerical Software., , and . SciTools, page 353-372. Birkhäuser, (1996)Towards Dynamic Partitioning of Reactive System Behavior: A Train Controller Case Study., and . Monterey Workshop, volume 4322 of Lecture Notes in Computer Science, page 47-69. Springer, (2005)Model-driven Transformation-based Generation of Java Stress Tests.. RULE@FLoC, volume 174 of Electronic Notes in Theoretical Computer Science, page 99-114. Elsevier, (2006)Two Birds: Teaching Coding and Math in Primary Schools and Beyond (Abstract Only)., and . SIGCSE, page 743. ACM, (2017)In Pursuit of CS-based Educational Content Suitable for Broader Audiences., and . SIGITE, page 62-67. ACM, (2020)Proving refinement transformations for deriving high-assurance software., and . HASE, page 68-77. IEEE Computer Society, (1996)Generative programming techniques for Java library migration., and . GPCE, page 185-196. ACM, (2007)A transformational perspective into the core of an abstract class loader for the SSP., , , , and . ACM Trans. Embed. Comput. Syst., 5 (4): 773-818 (2006)