Programming Languages

Authors and titles for July 2016

[26] arXiv:1607.06927 [pdf, other]

Title: Sound Static Deadlock Analysis for C/Pthreads (Extended Version)

Daniel Kroening, Daniel Poetzl, Peter Schrammel, Björn Wachter

Subjects: Programming Languages (cs.PL)

[27] arXiv:1607.07727 [pdf, other]

Title: Leveraging the Potential of Control-Flow Error Resilient Techniques in Multithreaded Programs

Navid Khoshavi, Mohammad Maghsoudloo, Hamid R. Zarandi

Subjects: Programming Languages (cs.PL)

[28] arXiv:1607.08228 [pdf, other]

Title: LightDP: Towards Automating Differential Privacy Proofs

Danfeng Zhang, Daniel Kifer

Subjects: Programming Languages (cs.PL); Cryptography and Security (cs.CR)

[29] arXiv:1607.01993 (cross-list from cs.LO) [pdf, other]

Title: Biabduction (and Related Problems) in Array Separation Logic

James Brotherston, Nikos Gorogiannis, Max Kanovich

Subjects: Logic in Computer Science (cs.LO); Data Structures and Algorithms (cs.DS); Programming Languages (cs.PL); Logic (math.LO)

[30] arXiv:1607.02963 (cross-list from cs.MA) [pdf, other]

Title: Modelling movement for collective adaptive systems with CARMA

Natalia Zoń, Vashti Galpin, Stephen Gilmore

Comments: In Proceedings FORECAST 2016, arXiv:1607.02001

Journal-ref: EPTCS 217, 2016, pp. 43-52

Subjects: Multiagent Systems (cs.MA); Programming Languages (cs.PL)

[31] arXiv:1607.04033 (cross-list from cs.LO) [pdf, other]

Title: Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis

John P. Gallagher (Roskilde University), Philipp Rümmer (Uppsala University)

Journal-ref: EPTCS 219, 2016

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[32] arXiv:1607.04332 (cross-list from cs.LO) [pdf, other]

Title: Convexity and Order in Probabilistic Call-by-Name FPC

Mathys Rennela

Journal-ref: Logical Methods in Computer Science, Volume 16, Issue 4 (November 12, 2020) lmcs:1533

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[33] arXiv:1607.04457 (cross-list from cs.LO) [pdf, other]

Title: Hierarchical State Machines as Modular Horn Clauses

Pierre-Loïc Garoche (DTIM, UFT, Onera - The French Aerospace Lab), Temesghen Kahsai (Nasa Ames / CMU), Xavier Thirioux (IRIT/ENSEEIHT, UFT, CNRS)

Comments: In Proceedings HCVS2016, arXiv:1607.04033

Journal-ref: EPTCS 219, 2016, pp. 15-28

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Software Engineering (cs.SE)

[34] arXiv:1607.04460 (cross-list from cs.LO) [pdf, other]

Title: Removing Unnecessary Variables from Horn Clause Verification Conditions

Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti

Comments: In Proceedings HCVS2016, arXiv:1607.04033

Journal-ref: EPTCS 219, 2016, pp. 49-55

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Software Engineering (cs.SE)

[35] arXiv:1607.08864 (cross-list from cs.CL) [pdf, other]

Title: The DLVHEX System for Knowledge Representation: Recent Advances (System Description)

Christoph Redl

Comments: Paper presented at the 32nd International Conference on Logic Programming (ICLP 2016), New York City, USA, 16-21 October 2016, 15 pages, LaTeX, 3 PDF figures (arXiv:1607.08864)

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)