Languages Features Creators CSV Resources Challenges Add Language
GitHub icon


coherence - Programming language

< >

coherence is a programming language created in 2009.

#2012on PLDB 14Years Old 0Books

Publications about coherence from Semantic Scholar

title authors year citations influentialCitations
Programming with transactional coherence and consistency (TCC) Lance Hammond and B. Carlstrom and Vicky Wong and Ben Hertzberg and Michael K. Chen and C. Kozyrakis and K. Olukotun 2004 140 8
Teapot: language support for writing memory coherence protocols S. Chandra and Brad Richards and J. Larus 1996 76 4
The Coherence of Languages with Intersection Types J. C. Reynolds 1991 71 6
Multiparty session types as coherence proofs Marco Carbone and F. Montesi and C. Sch眉rmann and N. Yoshida 2015 44 1
Model checking a cache coherence protocol for a Java DSM implementation J. Pang and W. Fokkink and Rutger F. H. Hofman and R. Veldema 2003 30 1
A correctness proof of a cache coherence protocol A. Felty and F. Stomp 1996 11 1
Logical relations for coherence of effect subtyping Dariusz Biernacki and Piotr Polesiuk 2017 10 0
RC3: Consistency Directed Cache Coherence for x86-64 with RC Extensions M. Elver and V. Nagarajan 2015 9 2
Exploring Remote Object Coherence in XMLWeb Services R. Engelen and M. Govindaraju and Wei Zhang 2006 8 0
Cache coherence requirements for interprocess rendezvous R. Clapp and T. Mudge and D. C. Winsor 1990 4 0
A Simple Algorithm for Hard Exudate Detection in Diabetic Retinopathy Using Spectral-Domain Optical Coherence Tomography Maciej Szymkowski and Emil Saeed and K. Saeed and Z. Mariak 2019 2 0

HackerNews discussions of coherence

title date score comments
Coherence Language: an experimental continuation of Subtext 04/25/2009 2 0
behavior-markup-language.html 路 coherence.html 路 procfile.html

View source

- Build the next great programming language Search Day 213 About Blog Acknowledgements Traffic Traffic Today GitHub