@inproceedings{47a6bedf9a384b919094a5ba6b190fac,
title = "Capturing and Characterising Notional Machines",
abstract = "A notional machine is a pedagogic device to assist the understanding of some aspect of programs or programming. It is typically used to support explaining a programming construct, or the user-understandable semantics of a program. For example, a variable is like a box with a label, and assignment copies or moves a value into that box.",
keywords = "Notional machines, PCK, pedagogical practice, signature pedagogies",
author = "Sally Fincher and Johan Jeuring and Miller, {Craig S.} and Peter Donaldson and {Du Boulay}, Benedict and Matthias Hauswirth and Arto Hellas and Felienne Hermans and Colleen Lewis and Andreas M{\"u}hling and Pearce, {Janice L.} and Andrew Petersen",
year = "2020",
month = jun,
day = "15",
doi = "10.1145/3341525.3394988",
language = "English",
series = "Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE",
publisher = "Association for Computing Machinery",
pages = "502--503",
booktitle = "ITiCSE 2020 - Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education",
note = "25th ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2020 ; Conference date: 15-06-2020 Through 19-06-2020",
}