claim
active
claim:programming-systems-research-lacks-a-common-vocabulary-and-systematic-framework-comparable-to-programming-language-research-hindering-cumulative-progressProgramming systems research lacks a common vocabulary and systematic framework comparable to programming language research, hindering cumulative progress.
Problem statement motivating the technical dimensions framework; notes that publications tend to present singleton systems rather than addressing issues across multiple languages.
Source paper
extracted_from(2023) · Jakubovic, Joel · Edwards, Jonathan · Petricek, Tomas
Neighborhood — ranked by edge-count
Thinkers (1)
thinker
- Bret VictorcitesSource of motivational illustrations for programming system design cited as an influence on current research.
Communities (3)
community
- Cross-scale frameworks linking spatial patterns, diagrams, and simplicity as expressions of care in design.
- Tuple space coordination languages (Linda, Parlog) enabling scalable parallel systems with composable specifications, circa 1980s–90s multicomputer platforms.
- Programming systems research frameworkmembers_ofArgues for interaction-centered vocabulary to enable cumulative progress beyond PL theory
Claims (1)
claim
- Core assertion that systems perspective is incommensurable with language perspective; interaction, not code, is what matters in systems analysis.
Related by similarity (8)
cosine ≥ 0.65 · no typed edgeEntities in the same semantic neighborhood but without a typed relation to this one — candidates for new edges or unrecognized duplicates.
- Argument that recursion equations are inappropriate for many important parallel programs.
- Critique that Parlog's abstraction level is too high and restrictive.
- A programming language is low level when its programs require attention to the irrelevant.concept0.734Epigraph by Alan Perlis motivating the search for abstract conceptual models in Fruit's design philosophy.
- Introduction, motivating the proposal.