License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.12.6.1
URN: urn:nbn:de:0030-drops-174533
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2023/17453/
Go back to Dagstuhl Reports

LaToza, Thomas D. ; Ko, Amy ; Shepherd, David C. ; Sjøberg, Dag ; Xie, Benjamin
Weitere Beteiligte (Hrsg. etc.): Thomas D. LaToza and Amy Ko and David C. Shepherd and Dag Sjøberg and Benjamin Xie

Theories of Programming (Dagstuhl Seminar 22231)

pdf-format:
dagrep_v012_i006_p001_22231.pdf (3 MB)

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.

BibTeX - Entry

@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/opus/volltexte/2023/17453},
  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}
}

Keywords: computing education, human-computer interaction, programming languages, software engineering, theories of programming
Collection: DagRep, Volume 12, Issue 6
Issue Date: 2023
Date of publication: 19.01.2023

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