DROPS

Document

Theories of Programming (Dagstuhl Seminar 22231)

Authors: Thomas D. LaToza, Amy Ko, David C. Shepherd, Dag Sjøberg, and Benjamin Xie

Published in: Dagstuhl Reports, Volume 12, Issue 6 (2023)

Abstract

Much of computer science research focuses on techniques to make programming easier, better, less error prone, more powerful, and even more just. But rarely do we try to explain any of these challenges. Why is programming hard? Why is it slow? Why is it error prone? Why is it powerful? How does it do harm? These why and how questions are what motivated the Dagstuhl Seminar 22231 on Theories of Programming. This seminar brought together 28 CS researchers from domains most concerned with programming human and social activities: software engineering, programming languages, human-computer interaction, and computing education. Together, we sketched new theories of programming and considered the role of theories more broadly in programming.

Cite as

Thomas D. LaToza, Amy Ko, David C. Shepherd, Dag Sjøberg, and Benjamin Xie. Theories of Programming (Dagstuhl Seminar 22231). In Dagstuhl Reports, Volume 12, Issue 6, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)

Copy BibTex To Clipboard

@Article{latoza_et_al:DagRep.12.6.1,
  author =	{LaToza, Thomas D. and Ko, Amy and Shepherd, David C. and Sj{\o}berg, Dag and Xie, Benjamin},
  title =	{{Theories of Programming (Dagstuhl Seminar 22231)}},
  pages =	{1--13},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2023},
  volume =	{12},
  number =	{6},
  editor =	{LaToza, Thomas D. and Ko, Amy and Shepherd, David C. and Sj{\o}berg, Dag and Xie, Benjamin},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.6.1},
  URN =		{urn:nbn:de:0030-drops-174533},
  doi =		{10.4230/DagRep.12.6.1},
  annote =	{Keywords: computing education, human-computer interaction, programming languages, software engineering, theories of programming}
}

Search Results

Documents authored by LaToza, Thomas D.

Theories of Programming (Dagstuhl Seminar 22231)

Abstract

Cite as

Thanks for your feedback!

Could not send message