community
active
leiden_hybrid_concepts
label: haiku
community:leiden_hybrid_concepts-run4-c1-c4Linda and coordination-oriented programming systems
Tuple space coordination languages (Linda, Parlog) enabling scalable parallel systems with composable specifications, circa 1980s–90s multicomputer platforms.
15 members. Each node is clickable.
Loading graph…
Drawn from 7 sources
The papers/notes whose extracted claims & findings make up this cluster.
- Technical Dimensions of Programming Systems4 members
- Artificial Intelligence and Linda in Context3 members
- unfold-chat-catalog.md3 members
- Linda in context2 members
- Cybernetic Diagrams: Design Strategies for an Open Game1 member
- Towards a theory of conceptual design for software1 member
- Garden of Applications1 member
Bridges (5)
Other communities that share members with this one — cross-cutting threads or papers that sit at the seam between two themes.
Claims (9)
- Paradigm shift from languages to systems
- Programming systems deserve a theory too
- Programming 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.
- Runtime architecture matters more than static compile-time structure for systems supporting change.
- Studying programming systems requires a paradigm shift from programming languages, where interaction between programmer and system becomes central rather than program code alone.Core assertion that systems perspective is incommensurable with language perspective; interaction, not code, is what matters in systems analysis.
- 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.Critique that Parlog's abstraction level is too high and restrictive.
- Alexandrian sequence and pattern languages can inform software specification writing.
- Linda programming language exemplifies bringing craft principles into computational systems.
- Software programs could function as semilattices rather than hierarchical trees.
Findings (6)
- C-Linda client-server code is insensitive to number of clients; Parlog version requires explicit merge process dependent on client count.
- Hierarchical tree decomposition allows subsystems of interconnected requirements to be recursively combined into optimal solution diagrams.Alexander's method for representing design problems and synthesizing solutions through association of requirement diagrams across tree nodes.
- Linda applications show good speedup through 64 nodes on Encore Multimax and Sequent Balance.
- Linda applications show good speedup through 64 nodes on shared-memory and distributed-memory multicomputers.Empirical evidence of Linda's practical viability across diverse hardware platforms.
- Linda dining philosophers solution uses in/out as counting semaphores; Parlog requires 70 lines across 6 processes with supporting diagrams.
- Style variants (paragraph and character) in word processor; both depend on format conceptEmpirical analysis of abstract concept instantiation in word processor design