Author: "Frédéric Loulergue" / Journal: comput. lang. syst. struct. - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Frédéric Loulergue"' showing total 3 results

Start Over Author "Frédéric Loulergue" Journal comput. lang. syst. struct.

3 results on '"Frédéric Loulergue"'

1. MMFilter : A CHR-Based Solver for Generation of Executions under Weak Memory Models.

Author: Allan Blanchard, Nikolai Kosmatov, and Frédéric Loulergue
Published: 2018
Full Text: View/download PDF

2. A formal semantics of nested atomic sections with thread escape.

Author: Frédéric Dabrowski, Frédéric Loulergue, and Thomas Pinsard
Published: 2015
Full Text: View/download PDF

3. Introduction to the special issue on semantics and costs models for high-level parallel programming.

Author: Frédéric Loulergue
Published: 2007
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results