Program analysis to support concurrent programming in declarative languages

DOI10.4230/LIPICS.ICLP.2010.248MaRDI QIDQ2883102zbMATH OpenOpenAlexFDO

Authors Romain Demeyer

Publication date 11 May 2012

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

zbMATH Keywords

abstract interpretationconcurrent programmingprogram analysislogic languages

Mathematics Subject Classification ID

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

Recommendations

• Scientific article; zbMATH DE number 1834570
• scientific article; zbMATH DE number 6712238
• A systematic approach to language constructs for concurrent programs
• scientific article; zbMATH DE number 3902008
• Model checking of concurrent algorithms: from Java to C

Cited in

(6)

• scientific article; zbMATH DE number 1203405 (Why is no real title available?)
• scientific article; zbMATH DE number 2088932 (Why is no real title available?)
• Derivable partial locking for algebraic data types
• Detecting races in relay ladder logic programs
• Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction
• Analyzing Asynchronous Programs with Preemption

Describes a project that uses

Uses Software

• RacerX

This page was built for publication: Program analysis to support concurrent programming in declarative languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2883102)