Program Analysis to Support Concurrent Programming in Declarative Languages

DOI10.4230/LIPICS.ICLP.2010.248zbMath1237.68052OpenAlexW1556720137MaRDI QIDQ2883102

Romain Demeyer

Publication date: 11 May 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_6910.html

zbMATH Keywords

program analysisconcurrent programmingabstract interpretationlogic languages

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Logic programming (68N17)

Uses Software

• RacerX

This page was built for publication: Program Analysis to Support Concurrent Programming in Declarative Languages