User loginNavigation |
archivesGamma formalismWe remember all too well a recent discussion on LtU in which the OP complained about PLs to be too low level. If I understood correctly the authors goal was a language which is essentially data-driven and has no notion of control flow. The control-flow should somehow emerge from the "need" of data. After a while this idea started to work in my mind and I remembered reading some papers in the late '90s about the "chemical reaction metaphor" in computing which has some resemblence. I'm not sure if the work of Banatre et al about the Gamma formalism was ever mentioned on LtU so I refer to some papers about Gamma and related topics I found on the Web. The chemical reaction metaphor Cost of provably-correct codeSome of you my find this discussion (especially the cost estimates) interesting. |
Browse archivesActive forum topics |
Recent comments
1 week 6 days ago
42 weeks 20 hours ago
42 weeks 1 day ago
42 weeks 1 day ago
1 year 12 weeks ago
1 year 16 weeks ago
1 year 18 weeks ago
1 year 18 weeks ago
1 year 20 weeks ago
1 year 25 weeks ago