Programming Languages

Authors and titles for February 2016

[26] arXiv:1602.05891 (cross-list from cs.SE) [pdf, other]

Title: JSClassFinder: A Tool to Detect Class-like Structures in JavaScript

Leonardo Humberto Silva, Daniel Hovadick, Marco Tulio Valente, Alexandre Bergel, Nicolas Anquetil, Anne Etien

Comments: VI Brazilian Conference on Software: Theory and Practice (Tools Track), p. 1-8, 2015

Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)

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

Title: A Probabilistic Dependent Type System based on Non-Deterministic Beta Reduction

Jonathan H. Warrell

Comments: 15 pages

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

[28] arXiv:1602.06823 (cross-list from cs.SE) [pdf, other]

Title: Refinement types in Jolie

Alexander Tchitchigin, Larisa Safina, Manuel Mazzara, Mohamed Elwakil, Fabrizio Montesi, Victor Rivera

Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)

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

Title: Proving completeness of logic programs with the cut

Włodzimierz Drabent

Comments: 17 pages

Journal-ref: final version: Formal Aspects of Computing, 2017, 29(1),155-172

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

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

Title: Bounded Model Checking of Pointer Programs Revisited

Witold Charatonik, Piotr Witkowski

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