User loginNavigation |
archivesConcurrent Pattern CalculusConcurrent Pattern Calculus by Thomas Given-Wilson, Daniele Gorla, and Barry Jay:
Barry Jay's Pattern Calculus has been discussed a few times here before. I've always been impressed with the pattern calculus' expressive power for computing over arbitrary structure. The pattern calculus supports new forms of polymorphism, which he termed "path polymorphism" and "pattern polymorphism", which are difficult to provide in other calculi. The closest I can think of would be a compiler-provided generalized fold over any user-defined structure. This work extends the pattern calculus to the concurrent setting by adding constructs for parallel composition, name restriction and replication, and argues convincingly for its greater expressiveness as compared to other concurrent calculi. He addresses some of the obvious concerns for symmetric information flow of the unification operation. By naasking at 2011-01-25 03:19 | Functional | Logic/Declarative | Parallel/Distributed | Theory | 1 comment | other blogs | 10365 reads
Seeking papers that unify control theory and programming language designI've seen some inspiring topology-related papers here on LtU, but I don't ever remember reading papers about control theory. So I figured I would go ahead and ask if there are any classical papers or even any fresh off the press papers I could perhaps read. |
Browse archivesActive forum topics |
Recent comments
36 weeks 1 day ago
36 weeks 1 day ago
36 weeks 1 day ago
1 year 6 weeks ago
1 year 10 weeks ago
1 year 12 weeks ago
1 year 12 weeks ago
1 year 14 weeks ago
1 year 19 weeks ago
1 year 19 weeks ago