Programming Languages

Authors and titles for July 2012

[1] arXiv:1207.0559 [pdf, other]

Title: Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems

Herbert Wiklicky, Mieke Massink

Comments: EPTCS 85, 2012

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

[2] arXiv:1207.1813 [pdf, other]

Title: Introspective Pushdown Analysis of Higher-Order Programs

Christopher Earl, Ilya Sergey, Matthew Might, David Van Horn

Comments: Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming, 2012, ACM

Subjects: Programming Languages (cs.PL)

[3] arXiv:1207.2017 [pdf, other]

Title: dup -- Explicit un-sharing in Haskell

Joachim Breitner

Comments: 9 pages, 9 figures

Subjects: Programming Languages (cs.PL)

[4] arXiv:1207.2544 [pdf, other]

Title: Variable and Thread Bounding for Systematic Testing of Multithreaded Programs

Sandeep Bindal, Sorav Bansal, Akash Lal

Subjects: Programming Languages (cs.PL)

[5] arXiv:1207.3937 [pdf, other]

Title: PAGAI: a path sensitive static analyzer

Julien Henry (VERIMAG - IMAG), David Monniaux (VERIMAG - IMAG), Matthieu Moy (VERIMAG - IMAG)

Comments: Tools for Automatic Program AnalysiS (TAPAS 2012), Deauville : France (2012)

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

[6] arXiv:1207.6369 [pdf, other]

Title: Concept of the abstract program

T. Gregorics

Journal-ref: Acta Universitatis Sapientiae, Informatica, 4, 1 (2012) 7-16

Subjects: Programming Languages (cs.PL)

[7] arXiv:1207.6541 [pdf, other]

Title: Guided Grammar Convergence. Full Case Study Report. Generated by converge::Guided

Vadim Zaytsev

Subjects: Programming Languages (cs.PL); Formal Languages and Automata Theory (cs.FL)

[8] arXiv:1207.6816 [pdf, other]

Title: Transforming floundering into success

Lee Naish

Comments: Number of pages: 24 Number of figures: 9 Number of tables: none

Journal-ref: Theory and Practice of Logic Programming 14 (2014) 215-238

Subjects: Programming Languages (cs.PL)

[9] arXiv:1207.7150 [pdf, other]

Title: Probabilistic Monads, Domains and Classical Information

Michael Mislove (Tulane University)

Comments: In Proceedings DCM 2011, arXiv:1207.6821

Journal-ref: EPTCS 88, 2012, pp. 87-100

Subjects: Programming Languages (cs.PL); Discrete Mathematics (cs.DM); Information Theory (cs.IT)

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

Title: Towards Algorithmic Synthesis of Synchronization for Shared-Memory Concurrent Programs

Roopsha Samanta (UT, Austin)

Comments: In Proceedings SYNT 2012, arXiv:1207.0554

Journal-ref: EPTCS 84, 2012, pp. 17-32

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

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

Title: Theory and Techniques for Synthesizing a Family of Graph Algorithms

Srinivas Nedunuri (The University of Texas at Austin), William R. Cook (The University of Texas at Austin), Douglas R. Smith (Kestrel Institute)

Comments: In Proceedings SYNT 2012, arXiv:1207.0554

Journal-ref: EPTCS 84, 2012, pp. 33-46

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Data Structures and Algorithms (cs.DS); Programming Languages (cs.PL)

[12] arXiv:1207.1457 (cross-list from cs.CR) [pdf, other]

Title: Flexible Dynamic Information Flow Control in the Presence of Exceptions

Deian Stefan, Alejandro Russo, John C. Mitchell, David Mazières

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

[13] arXiv:1207.2300 (cross-list from cs.MS) [pdf, other]

Title: Towards the Formal Specification and Verification of Maple Programs

Muhammad Taimoor Khan, Wolfgang Schreiner

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

[14] arXiv:1207.3718 (cross-list from cs.CR) [pdf, other]

Title: MARFCAT: Transitioning to Binary and Larger Data Sets of SATE IV

Serguei A. Mokhov, Joey Paquet, Mourad Debbabi, Yankui Sun

Comments: A shorter version submitted for review to 13th IEEE International Working Conference on Source Code Analysis and Manipulation. 39 pages with figures, tables, TOC, and index

Subjects: Cryptography and Security (cs.CR); Programming Languages (cs.PL); Software Engineering (cs.SE); Machine Learning (stat.ML)

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

Title: Linear Dependent Types in a Call-by-Value Scenario (Long Version)

Ugo Dal Lago, Barbara Petit

Comments: 22 pages

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