Synthesizing Concurrent Programs Using Answer Set Programming

DOI10.3233/FI-2012-758zbMath1256.68035OpenAlexW1911031955MaRDI QIDQ4902316

Maurizio Proietti, Alberto Pettorossi, Emanuele De Angelis

Publication date: 14 January 2013

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2012-758

zbMATH Keywords

computation tree logicautomatic synthesis of concurrent programs

Mathematics Subject Classification ID

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

Related Items (1)

Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP

Uses Software

• Smodels
• Lparse

This page was built for publication: Synthesizing Concurrent Programs Using Answer Set Programming