@inproceedings{bb562298efc94752a1357e15b63b40e9,
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",
note = "Publisher Copyright: {\textcopyright} 2020 ACM.; 25th ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2020 ; Conference date: 15-06-2020 Through 19-06-2020",
year = "2020",
month = jun,
day = "15",
doi = "10.1145/3341525.3394988",
language = "English (US)",
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",
address = "United States",
}