SC-Haskell: Sequential Consistency in Languages That Minimize Mutable Shared Heap.
Michael VollmerRyan G. ScottMadanlal MusuvathiRyan R. NewtonPublished in: PPOPP (2017)
Keyphrases
- functional programming
- functional language
- data structure
- expressive power
- language independent
- programming language
- consistency checking
- databases
- plagiarism detection
- multi lingual
- execution model
- sequential data
- suffix tree
- database
- computer programs
- language identification
- sequential search
- object oriented languages
- document images