License
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.9.7.1
URN: urn:nbn:de:0030-drops-116272
URL: https://drops.dagstuhl.de/opus/volltexte/2019/11627/
Go back to Dagstuhl Reports


Guzdial, Mark ; Krishnamurthi, Shriram ; Sorva, Juha ; Vahrenhold, Jan
Weitere Beteiligte (Hrsg. etc.): Mark Guzdial and Shriram Krishnamurthi and Juha Sorva and Jan Vahrenhold

Notional Machines and Programming Language Semantics in Education (Dagstuhl Seminar 19281)

pdf-format:
dagrep_v009_i007_p001_19281.pdf (2 MB)


Abstract

A formal semantics of a language serves many purposes. It can help debug the language's design, be used to prove type soundness, and guide optimizers to confirm that their work is correctness-preserving. Formal semantics are evaluated by several criteria: full abstraction, adequacy, soundness and completeness, faithfulness to an underlying implementation, and so on. Unfortunately, we know relatively little about how non-experts, such as students, actually employ a semantics. Which models are they able to grasp? How useful are these as they explain or debug programs? How does their use of models evolve with the kinds of programs they write? And does studying these kinds of questions yield any new insights into forms of semantics? This Dagstuhl Seminar intended to bridge this gap. It brought together representatives of the two communities-who usually travel in non-intersecting circles-to enable mutual understanding and cross-pollination. The Programming Languages community uses mathematics and focuses on formal results; the Computing Education Research community uses social science methods and focuses on the impact on humans. Neither is superior: both are needed to arrive at a comprehensive solution to creating tools for learning.

BibTeX - Entry

@Article{guzdial_et_al:DR:2019:11627,
  author =	{Mark Guzdial and Shriram Krishnamurthi and Juha Sorva and Jan Vahrenhold},
  title =	{{Notional Machines and Programming Language Semantics in Education (Dagstuhl Seminar 19281)}},
  pages =	{1--23},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2019},
  volume =	{9},
  number =	{7},
  editor =	{Mark Guzdial and Shriram Krishnamurthi and Juha Sorva and Jan Vahrenhold},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2019/11627},
  URN =		{urn:nbn:de:0030-drops-116272},
  doi =		{10.4230/DagRep.9.7.1},
  annote =	{Keywords: computing education research, formal semantics, misconceptions, notional machines}
}

Keywords: computing education research, formal semantics, misconceptions, notional machines
Seminar: Dagstuhl Reports, Volume 9, Issue 7
Issue Date: 2019
Date of publication: 18.12.2019


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI