« earlier | later » Page 14 of 44
"clang" C Language Family Frontend for LLVM edit / delete
LLVM now has a C/C++ frontend. Since the AST it produces is designed to support static analysis and refactoring, this would allow us to do occam-style concurrency analysis of C++ programs -- which'd be neat. We should look more at LLVM.
Chris McCormick - News : /entries/RDC.html edit / delete
RDC in Python.
to algorithms collision-detection cosmos python research ... on 09 August 2008
polygonal labs ยป Recursive Dimensional Clustering edit / delete
Collision detection with clustering. Might be useful for CoSMoS space models.
to algorithms collision-detection cosmos research ... on 09 August 2008
Index of /sabre/Mirrored/AdvProgLangDesign edit / delete
Finkel's "Advanced Programming Language Design".
to language-design programming research ... on 16 July 2008
polyparse: alternative parser combinator libraries edit / delete
... which appear to be like Parsec, but with a cut operator rather than a try operator. Worth looking at.
to compilation haskell parsing research ... on 24 June 2008
Objectives | GGCC edit / delete
Project adding static analysis facilities to GCC. Perhaps we might be able to do occam-style analysis of C/C++ this way -- alias checking should certainly be trivial.
to compiler concurrency research ... on 31 May 2008
Another system for cross-building Windows binaries. Worth looking at for KRoC's MinGW port, since previously I'd been doing essentially the same thing by hand.
Haskell Symposium 2008 edit / delete
Target for the nanopass paper.
to conference haskell research tock ... on 01 April 2008
Worth getting a position paper about process-oriented programming into?
to concurrency conference research ... on 01 April 2008
ice08:ice08 [1st Interaction and Concurrency Experience (ICE'08)] edit / delete
Worth targetting something about barriers or poison to.
to concurrency conference research ... on 01 April 2008
« earlier | later » Page 14 of 44
tasty by Adam Sampson.