Program analysis to support concurrent programming in declarative languages

DOI10.4230/LIPICS.ICLP.2010.248zbMATH Open1237.68052OpenAlexW1556720137MaRDI QIDQ2883102FDOQ2883102

Authors: Romain Demeyer 

Publication date: 11 May 2012

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

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

zbMATH Keywords

abstract interpretationconcurrent programmingprogram analysislogic languages

Mathematics Subject Classification ID

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

Cited In (6)

• Detecting races in relay ladder logic programs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction
• Analyzing Asynchronous Programs with Preemption
• Derivable partial locking for algebraic data types

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)