Programming Languages

Authors and titles for September 2013

[1] arXiv:1309.0339 [pdf, other]

Title: Infinite probability computation by cyclic explanation graphs

Taisuke Sato, Philipp Meyer

Comments: 29 pages

Journal-ref: Theory and Practice of Logic Programming 14 (2014) 909-937

Subjects: Programming Languages (cs.PL)

[2] arXiv:1309.1251 [pdf, other]

Title: Pattern Matching via Choice Existential Quantifications in Imperative Languages

Keehang Kwon

Comments: 5 pages

Subjects: Programming Languages (cs.PL)

[3] arXiv:1309.1261 [pdf, other]

Title: Proving termination of evaluation for System F with control operators

Małgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Marek Materzok

Comments: In Proceedings COS 2013, arXiv:1309.0924

Journal-ref: EPTCS 127, 2013, pp. 15-29

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

[4] arXiv:1309.1307 [pdf, other]

Title: C++11 -- idea r-warto\'sci i przenoszenia

Piotr Beling

Comments: 7 pages, in Polish

Subjects: Programming Languages (cs.PL)

[5] arXiv:1309.2348 [pdf, other]

Title: An Overview of Nominal-Typing versus Structural-Typing in OOP

Moez A. AbdelGawad

Comments: 16 pages

Subjects: Programming Languages (cs.PL)

[6] arXiv:1309.2511 [pdf, other]

Title: On Sound Compilation of Reals

Eva Darulova, Viktor Kuncak

Subjects: Programming Languages (cs.PL)

[7] arXiv:1309.3128 [pdf, other]

Title: Preliminary Notes on Termination and Non-Termination Reasoning

Ton Chanh Le

Subjects: Programming Languages (cs.PL)

[8] arXiv:1309.3914 [pdf, other]

Title: SafeJS: Hermetic Sandboxing for JavaScript

Damien Cassou (INRIA Lille - Nord Europe, LIFL), Stéphane Ducasse (INRIA Lille - Nord Europe), Nicolas Petton (INRIA Lille - Nord Europe)

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

[9] arXiv:1309.3919 [pdf, other]

Title: Environmental Bisimulations for Delimited-Control Operators

Dariusz Biernacki, Sergueï Lenglet (INRIA Nancy - Grand Est / LORIA)

Comments: Long version of the corresponding APLAS13 paper

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

[10] arXiv:1309.4334 [pdf, other]

Title: Representing Code History with Development Environment Events

Martin Dias (INRIA Lille - Nord Europe), Damien Cassou (INRIA Lille - Nord Europe), Stéphane Ducasse (INRIA Lille - Nord Europe)

Journal-ref: IWST-2013 - 5th International Workshop on Smalltalk Technologies (2013)

Subjects: Programming Languages (cs.PL)

[11] arXiv:1309.4557 [pdf, other]

Title: Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday

Anindya Banerjee (IMDEA Software Institute), Olivier Danvy (Aarhus University), Kyung-Goo Doh (Hanyang University), John Hatcliff (Kansas State University)

Journal-ref: EPTCS 129, 2013

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

[12] arXiv:1309.5128 [pdf, other]

Title: A Swiss Pocket Knife for Computability

Neil D. Jones (University of Copenhagen)

Comments: In Proceedings Festschrift for Dave Schmidt, arXiv:1309.4557

Journal-ref: EPTCS 129, 2013, pp. 1-17

Subjects: Programming Languages (cs.PL); Computational Complexity (cs.CC)

[13] arXiv:1309.5130 [pdf, other]

Title: A Comparison of Well-Quasi Orders on Trees

Torben Æ. Mogensen (DIKU, University of Copenhagen, Denmark)

Comments: In Proceedings Festschrift for Dave Schmidt, arXiv:1309.4557

Journal-ref: EPTCS 129, 2013, pp. 30-40

Subjects: Programming Languages (cs.PL); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)

[14] arXiv:1309.5131 [pdf, other]

Title: Abstract interpretation-based approaches to Security - A Survey on Abstract Non-Interference and its Challenging Applications

Isabella Mastroeni (Computer Science Dept., Univ. of Verona)

Comments: In Proceedings Festschrift for Dave Schmidt, arXiv:1309.4557

Journal-ref: EPTCS 129, 2013, pp. 41-65

Subjects: Programming Languages (cs.PL)

[15] arXiv:1309.5132 [pdf, other]

Title: Notions of Monad Strength

Philip Mulry (Colgate University)

Comments: In Proceedings Festschrift for Dave Schmidt, arXiv:1309.4557

Journal-ref: EPTCS 129, 2013, pp. 67-83

Subjects: Programming Languages (cs.PL)

[16] arXiv:1309.5133 [pdf, other]

Title: Abstract Interpretation as a Programming Language

Mads Rosendahl (Roskilde University)

Comments: In Proceedings Festschrift for Dave Schmidt, arXiv:1309.4557

Journal-ref: EPTCS 129, 2013, pp. 84-104

Subjects: Programming Languages (cs.PL)

[17] arXiv:1309.5135 [pdf, other]

Title: Coroutining Folds with Hyperfunctions

J. Launchbury, S. Krstic, T. E. Sauerwein

Comments: In Proceedings Festschrift for Dave Schmidt, arXiv:1309.4557. It is a privilege to submit a paper for the Festschrift symposium held to honor Dave Schmidt's lifetime of contributions on the occasion of his 60th birthday. Many years ago, as a fresh PhD student, Dave's excellent book on Denotational Semantics opened my eyes to rich possibilities of building functions over functions (recursively!) and our continued interactions over the years were always insightful. So it seemed appropriate to offer a paper whose foundations rely on the same mathematical models that Dave so ably expounded all those years ago, constructing recursive function spaces in a way that is not possible in traditional set-theoretic models. -- John Launchbury, 2013

Journal-ref: EPTCS 129, 2013, pp. 121-135

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

[18] arXiv:1309.5137 [pdf, other]

Title: Online partial evaluation of sheet-defined functions

Peter Sestoft (IT University of Copenhagen)

Comments: In Proceedings Festschrift for Dave Schmidt, arXiv:1309.4557

Journal-ref: EPTCS 129, 2013, pp. 136-160

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

[19] arXiv:1309.5138 [pdf, other]

Title: Modular Construction of Shape-Numeric Analyzers

Bor-Yuh Evan Chang (University of Colorado Boulder), Xavier Rival (INRIA, ENS, and CNRS)

Comments: In Proceedings Festschrift for Dave Schmidt, arXiv:1309.4557

Journal-ref: EPTCS 129, 2013, pp. 161-185

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

[20] arXiv:1309.5139 [pdf, other]

Title: Verification of Imperative Programs by Constraint Logic Program Transformation

Emanuele De Angelis (DEC, University `G. D'Annunzio', Pescara, Italy), Fabio Fioravanti (DEC, University `G. D'Annunzio', Pescara, Italy), Alberto Pettorossi (DICII, University of Rome Tor Vergata, Rome, Italy), Maurizio Proietti (IASI-CNR, Rome, Italy)

Comments: In Proceedings Festschrift for Dave Schmidt, arXiv:1309.4557

Journal-ref: EPTCS 129, 2013, pp. 186-210

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

[21] arXiv:1309.5141 [pdf, other]

Title: Denotational Semantics of A User-Oriented, Domain-Specific Language

Julien Mercadal, Zoé Drey, Charles Consel

Comments: In Proceedings Festschrift for Dave Schmidt, arXiv:1309.4557

Journal-ref: EPTCS 129, 2013, pp. 229-249

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

[22] arXiv:1309.5142 [pdf, other]

Title: Simulation of Two-Way Pushdown Automata Revisited

Robert Glück (DIKU)

Comments: In Proceedings Festschrift for Dave Schmidt, arXiv:1309.4557

Journal-ref: EPTCS 129, 2013, pp. 250-258

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

[23] arXiv:1309.5144 [pdf, other]

Title: A Simple Semantics and Static Analysis for Stack Inspection

Anindya Banerjee, David A. Naumann

Comments: In Proceedings Festschrift for Dave Schmidt, arXiv:1309.4557

Journal-ref: EPTCS 129, 2013, pp. 284-308

Subjects: Programming Languages (cs.PL)

[24] arXiv:1309.5147 [pdf, other]

Title: A short note on Simulation and Abstraction

Chris Hankin (Imperial College London)

Comments: In Proceedings Festschrift for Dave Schmidt, arXiv:1309.4557

Journal-ref: EPTCS 129, 2013, pp. 337-340

Subjects: Programming Languages (cs.PL)

[25] arXiv:1309.5148 [pdf, other]

Title: Automatic Repair of Overflowing Expressions with Abstract Interpretation

Francesco Logozzo (Microsoft Research, Redmond, USA), Matthieu Martel (Université de Perpignan Via Domitia & LIRMM)

Comments: In Proceedings Festschrift for Dave Schmidt, arXiv:1309.4557

Journal-ref: EPTCS 129, 2013, pp. 341-357

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

[26] arXiv:1309.5149 [pdf, other]

Title: Pretty-big-step-semantics-based Certified Abstract Interpretation (Preliminary version)

Martin Bodin (ENS Lyon and Inria), Thomas Jensen (Inria), Alan Schmitt (Inria)

Comments: In Proceedings Festschrift for Dave Schmidt, arXiv:1309.4557

Journal-ref: EPTCS 129, 2013, pp. 360-383

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

[27] arXiv:1309.5152 [pdf, other]

Title: A Case for Dynamic Reverse-code Generation to Debug Non-deterministic Programs

Jooyong Yi (National University of Singapore)

Comments: In Proceedings Festschrift for Dave Schmidt, arXiv:1309.4557

Journal-ref: EPTCS 129, 2013, pp. 419-428

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

[28] arXiv:1309.5500 [pdf, other]

Title: PRoMoTo 2013 proceedings

Judith Bishop, Nikolai Tillmann, Arno Puder, Vinayak Naik

Comments: Published in PRoMoTo'13

Subjects: Programming Languages (cs.PL)

[29] arXiv:1309.7685 [pdf, other]

Title: Retargeting GCC: Do We Reinvent the Wheel Every Time?

Saravana Perumal P, Amey Karkare

Comments: 4 pages, accepted at The Second Asia-Pacific Programming Languages and Compilers Workshop (APPLC), Shenzen, China, Feb 2013

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

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

Title: Proceedings First Workshop on Control Operators and their Semantics

Ugo de'Liguoro (Turin University), Alexis Saurin (CNRS, PPS UMR 7126, Univ Paris Diderot)

Journal-ref: EPTCS 127, 2013

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

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

Title: Hereditary Substitution for the \lambda\Delta-Calculus

Harley Eades (University of Iowa), Aaron Stump (University of Iowa)

Comments: In Proceedings COS 2013, arXiv:1309.0924

Journal-ref: EPTCS 127, 2013, pp. 45-65

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

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

Title: Continuation calculus

Bram Geron, Herman Geuvers

Comments: In Proceedings COS 2013, arXiv:1309.0924

Journal-ref: EPTCS 127, 2013, pp. 66-85

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

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

Title: Induction by Coinduction and Control Operators in Call-by-Name

Yoshihiko Kakutani, Daisuke Kimura

Comments: In Proceedings COS 2013, arXiv:1309.0924

Journal-ref: EPTCS 127, 2013, pp. 101-112

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

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

Title: Combining and Relating Control Effects and their Semantics

James Laird (University of Bath)

Comments: In Proceedings COS 2013, arXiv:1309.0924

Journal-ref: EPTCS 127, 2013, pp. 113-129

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

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

Title: Proceedings of the 14th International Symposium on Database Programming Languages (DBPL 2013), August 30, 2013, Riva del Garda, Trento, Italy

Todd J. Green, Alan Schmitt

Subjects: Databases (cs.DB); Programming Languages (cs.PL)

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

Title: A Machine-Checked Proof for a Translation of Event-B Machines to JML

Néstor Cataño, Camilo Rueda, Tim Wahls

Comments: 26 pages

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

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

Title: Higher-Order Process Modeling: Product-Lining, Variability Modeling and Beyond

Johannes Neubauer (Chair of Programming Systems, TU Dortmund, Germany), Bernhard Steffen (Chair of Programming Systems, TU Dortmund, Germany), Tiziana Margaria (Chair of Service and Software Engineering, Universität Potsdam, Germany)

Comments: In Proceedings Festschrift for Dave Schmidt, arXiv:1309.4557

Journal-ref: EPTCS 129, 2013, pp. 259-283

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

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

Title: Iterable Forward Reachability Analysis of Monitor-DPNs

Benedikt Nordhoff (Westfälische Wilhelms-Universität Münster, Germany), Markus Müller-Olm (Westfälische Wilhelms-Universität Münster, Germany), Peter Lammich (Technische Universität München, Germany)

Comments: In Proceedings Festschrift for Dave Schmidt, arXiv:1309.4557

Journal-ref: EPTCS 129, 2013, pp. 384-403

Subjects: Logic in Computer Science (cs.LO); Distributed, Parallel, and Cluster Computing (cs.DC); Programming Languages (cs.PL)

[39] arXiv:1309.7584 (cross-list from cs.FL) [pdf, other]

Title: Parsing methods streamlined

Luca Breveglieri, Stefano Crespi Reghizzi, Angelo Morzenti

Comments: 64 pages

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