Programming systems deserve a theory too

Source paper

extracted_from

Technical Dimensions of Programming Systems

(2023) · Jakubovic, Joel · Edwards, Jonathan · Petricek, Tomas

Neighborhood — ranked by edge-count

Communities (2)

community

Design principles for care-centered systems
members_of
Cross-scale frameworks linking spatial patterns, diagrams, and simplicity as expressions of care in design.
Linda and coordination-oriented programming systems
members_of
Tuple space coordination languages (Linda, Parlog) enabling scalable parallel systems with composable specifications, circa 1980s–90s multicomputer platforms.

Related by similarity (8)

cosine ≥ 0.65 · no typed edge

Entities in the same semantic neighborhood but without a typed relation to this one — candidates for new edges or unrecognized duplicates.

This theory doesn't have to correspond exactly to human behavior or social customs; we only need analogs useful for program correctness.claim0.768
The speech act theory for programming can be simpler than human models.
No special theory of programming is required to prove properties of programs if they are expressed as logical sentences.claim0.767
Key claim of the Algol 48/50 and Elephant approach.
Several contemporary theorists have explicitly applied their theories to synthetic systems in light of AI and organoid bioengineering developments.finding0.748
A descriptive finding that some theorists are already extending their frameworks beyond brains.
Studying programming systems requires a paradigm shift from programming languages, where interaction between programmer and system becomes central rather than program code alone.claim0.747
Core assertion that systems perspective is incommensurable with language perspective; interaction, not code, is what matters in systems analysis.
Programming systems research lacks a common vocabulary and systematic framework comparable to programming language research, hindering cumulative progress.claim0.746
Problem statement motivating the technical dimensions framework; notes that publications tend to present singleton systems rather than addressing issues across multiple languages.
When a problem has a simple solution, a useful system will give programmers access to the simple solution; Parlog forces complex solutions to simple problems.claim0.737
Critique that Parlog's abstraction level is too high and restrictive.
Dynamical Systems Theoryconcept0.736
Mathematical and conceptual framework for modeling complex self-organizing systems; applied here to action and cognition.
There is not one singular, verifiable system of beauty, or architecture, or god, and I fear what would happen if there were.claim0.733
Steenson's direct refutation of Alexander's late-life position on empirically verifiable order; articulated in context of 2020 authoritarianism and Black Lives Matter.