Programming Languages

Authors and titles for cs.PL in Dec 2013

[1]  arXiv:1312.0018 [pdf, ps, other]

Title: Tracking Data-Flow with Open Closure Types

Authors: Gabriel Scherer (INRIA Rocquencourt), Jan Hoffmann

Comments: Logic for Programming Artificial Intelligence and Reasoning (2013)

Subjects: Programming Languages (cs.PL)

[2]  arXiv:1312.0078 [pdf, other]

Title: Hop and HipHop : Multitier Web Orchestration

Authors: Gérard Berry (INRIA Sophia Antipolis), Manuel Serrano

Comments: International Conference on Distributed Computing and Internet Technology (2014)

Subjects: Programming Languages (cs.PL)

[3]  arXiv:1312.0138 [pdf, ps, other]

Title: The bitwise operations related to a fast sorting algorithm

Authors: Krasimir Yordzhev

Journal-ref: (IJACSA) International Journal of Advanced Computer Science and Applications, Vol. 4, No. 9, 2013

Subjects: Programming Languages (cs.PL)

[4]  arXiv:1312.0342 [pdf, other]

Title: The Petri-Nets to Statecharts Transformation Case

Authors: Pieter Van Gorp (Eindhoven University of Technology), Louis M. Rose (University of York)

Comments: In Proceedings TTC 2013, arXiv:1311.7536

Journal-ref: EPTCS 135, 2013, pp. 16-31

Subjects: Programming Languages (cs.PL)

[5]  arXiv:1312.0658 [pdf, other]

Title: A Theory of Changes for Higher-Order Languages - Incrementalizing λ-Calculi by Static Differentiation

Authors: Yufei Cai, Paolo G. Giarrusso, Tillmann Rendel, Klaus Ostermann

Comments: 11 pages; unpublished preprint, under submission

Subjects: Programming Languages (cs.PL)

[6]  arXiv:1312.0694 [pdf, ps, other]

Title: Monotonic References for Gradual Typing

Authors: Jeremy G. Siek, Michael M. Vitousek

Subjects: Programming Languages (cs.PL)

[7]  arXiv:1312.1529 [pdf, ps, other]

Title: Instruction sequences expressing multiplication algorithms

Authors: J. A. Bergstra, C. A. Middelburg

Comments: 14 pages, the preliminaries of this paper and arXiv:1308.0219 are the same; 16 pages, results sharpened and presentation improved; 22 pages, combined with arXiv:1312.1812; 22 pages, typos corrected and explanation added

Journal-ref: Scientific Annals of Computer Science 28(1):39--66, 2018

Subjects: Programming Languages (cs.PL)

[8]  arXiv:1312.1812 [pdf, ps, other]

Title: Long multiplication by instruction sequences with backward jump instructions

Authors: J. A. Bergstra, C. A. Middelburg

Comments: 17 pages, the preliminaries are about the same as the preliminaries in arXiv:1308.0219 [cs.PL] and arXiv:1312.1529 [cs.PL]; minor errors corrected, references added; section on indirect addressing added

Subjects: Programming Languages (cs.PL)

[9]  arXiv:1312.2218 [pdf, ps, other]

Title: Proceedings 5th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

Authors: Nobuko Yoshida (Imperial College London, UK), Wim Vanderbauwhede (University of Glasgow, UK)

Journal-ref: EPTCS 137, 2013

Subjects: Programming Languages (cs.PL)

[10]  arXiv:1312.2334 [pdf, ps, other]

Title: Inferring Algebraic Effects

Authors: Matija Pretnar (University of Ljubljana)

Journal-ref: Logical Methods in Computer Science, Volume 10, Issue 3 (September 12, 2014) lmcs:1004

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

[11]  arXiv:1312.2696 [pdf, ps, other]

Title: Structural Induction Principles for Functional Programmers

Authors: James Caldwell (University of Wyoming)

Comments: In Proceedings TFPIE 2013, arXiv:1312.2216

Journal-ref: EPTCS 136, 2013, pp. 16-26

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

[12]  arXiv:1312.2698 [pdf, ps, other]

Title: From Lock Freedom to Progress Using Session Types

Authors: Luca Padovani (Dipartimento di Informatica, Università di Torino)

Comments: In Proceedings PLACES 2013, arXiv:1312.2218

Journal-ref: EPTCS 137, 2013, pp. 3-19

Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC)

[13]  arXiv:1312.2699 [pdf, other]

Title: Session Types with Runtime Adaptation: Overview and Examples

Authors: Cinzia Di Giusto, Jorge A. Pérez

Comments: In Proceedings PLACES 2013, arXiv:1312.2218

Journal-ref: EPTCS 137, 2013, pp. 21-32

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

[14]  arXiv:1312.2702 [pdf, other]

Title: Coinductive Big-Step Semantics for Concurrency

Authors: Tarmo Uustalu

Comments: In Proceedings PLACES 2013, arXiv:1312.2218

Journal-ref: EPTCS 137, 2013, pp. 63-78

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

[15]  arXiv:1312.2704 [pdf, other]

Title: Session Types Go Dynamic or How to Verify Your Python Conversations

Authors: Rumyana Neykova (Imperial College)

Comments: In Proceedings PLACES 2013, arXiv:1312.2218

Journal-ref: EPTCS 137, 2013, pp. 95-102

Subjects: Programming Languages (cs.PL)

[16]  arXiv:1312.2707 [pdf, ps, other]

Title: Minimising virtual machine support for concurrency

Authors: Simon Dobson (University of St Andrews), Alan Dearle (University of St Andrews), Barry Porter (University of St Andrews)

Comments: In Proceedings PLACES 2013, arXiv:1312.2218

Journal-ref: EPTCS 137, 2013, pp. 135-141

Subjects: Programming Languages (cs.PL)

[17]  arXiv:1312.3184 [pdf, ps, other]

Title: Efficient Dynamic Access Analysis Using JavaScript Proxies

Authors: Matthias Keil, Peter Thiemann

Comments: Technical Report

Subjects: Programming Languages (cs.PL)

[18]  arXiv:1312.3739 [pdf, ps, other]

Title: Semantics of (Resilient) X10

Authors: Silvia Crafa, David Cunningham, Vijay Saraswat, Avraham Shinnar, Olivier Tardieu

Subjects: Programming Languages (cs.PL)

[19]  arXiv:1312.3891 [pdf, ps, other]

Title: Algorithmic Diversity for Software Security

Authors: Michael Stewart

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

[20]  arXiv:1312.4328 [pdf, other]

Title: Probabilistic Programming Concepts

Authors: Luc De Raedt, Angelika Kimmig

Subjects: Programming Languages (cs.PL)

[21]  arXiv:1312.4454 [pdf, ps, other]

Title: Exploiting Parallelism in Coalgebraic Logic Programming

Authors: Ekaterina Komendantskaya, Martin Schmidt, Jónathan Heras

Subjects: Programming Languages (cs.PL)

[22]  arXiv:1312.5429 [pdf, ps, other]

Title: On the Proxy Identity Crisis

Authors: Matthias Keil, Peter Thiemann

Comments: Position Paper

Subjects: Programming Languages (cs.PL)

[23]  arXiv:1312.6568 [pdf, ps, other]

Title: Coalgebraic Logic Programming: from Semantics to Implementation

Authors: Ekaterina Komendantskaya, John Power, Martin Schmidt

Comments: Accepted for publication in Journal of Logic and Computation, 2014

Subjects: Programming Languages (cs.PL)

[24]  arXiv:1312.6624 [pdf, ps, other]

Title: Shape and Content: Incorporating Domain Knowledge into Shape Analysis

Authors: Diego Calvanese, Tomer Kotek, Mantas Šimkus, Helmut Veith, Florian Zuleger

Subjects: Programming Languages (cs.PL)

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

Title: Analyzing Flowgraphs with ATL

Authors: Valerio Cosentino (AtlanMod, INRIA & Ecole des Mines de Nantes, France), Massimo Tisi (AtlanMod, INRIA & Ecole des Mines de Nantes, France), Fabian Büttner (AtlanMod, INRIA & Ecole des Mines de Nantes, France)

Comments: In Proceedings TTC 2013, arXiv:1311.7536

Journal-ref: EPTCS 135, 2013, pp. 32-36

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

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

Title: An NMF solution for the Flowgraphs case at the TTC 2013

Authors: Georg Hinkel (Karlsruhe Institute of Technology), Thomas Goldschmidt (ABB Corporate Research), Lucia Happe (Karlsruhe Institute of Technology)

Comments: In Proceedings TTC 2013, arXiv:1311.7536

Journal-ref: EPTCS 135, 2013, pp. 37-42

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

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

Title: A Solution to the Flowgraphs Case Study using Triple Graph Grammars and eMoflon

Authors: Anthony Anjorin (Technische Universität Darmstadt), Marius Lauder (Technische Universität Darmstadt)

Comments: In Proceedings TTC 2013, arXiv:1311.7536

Journal-ref: EPTCS 135, 2013, pp. 69-74

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

[28]  arXiv:1312.0466 (cross-list from cs.CR) [pdf, ps, other]

Title: Intensional Cyberforensics

Authors: Serguei A. Mokhov

Comments: 412 pages, 94 figures, 18 tables, 19 algorithms and listings; PhD thesis; v2 corrects some typos and refs; also available on Spectrum at this http URL

Subjects: Cryptography and Security (cs.CR); Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO); Networking and Internet Architecture (cs.NI); Programming Languages (cs.PL)

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

Title: An NMF solution for the Petri Nets to State Charts case study at the TTC 2013

Authors: Georg Hinkel (Karlsruhe Institute of Technology), Thomas Goldschmidt (ABB Corporate Research), Lucia Happe (Karlsruhe Institute of Technology)

Comments: In Proceedings TTC 2013, arXiv:1311.7536. arXiv admin note: substantial text overlap with arXiv:1312.0344

Journal-ref: EPTCS 135, 2013, pp. 95-100

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

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

Title: Handling Algebraic Effects

Authors: Gordon D Plotkin (Laboratory for Foundations of Computer Science, School of Informatics, Universit), Matija Pretnar (Faculty for mathematics and physics, University of Ljubljana)

Comments: 36 pages

Journal-ref: Logical Methods in Computer Science, Volume 9, Issue 4 (December 17, 2013) lmcs:705

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

[31]  arXiv:1312.2216 (cross-list from cs.CY) [pdf, ps, other]

Title: Proceedings Second Workshop on Trends in Functional Programming In Education

Authors: Philip K.F. Hölzenspies

Journal-ref: EPTCS 136, 2013

Subjects: Computers and Society (cs.CY); Programming Languages (cs.PL)

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

Title: Session Types in Abelian Logic

Authors: Yoichi Hirai (National Institute of Advanced Industrial Science and Technology)

Comments: In Proceedings PLACES 2013, arXiv:1312.2218

Journal-ref: EPTCS 137, 2013, pp. 33-52

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

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

Title: The Glasgow Parallel Reduction Machine: Programming Shared-memory Many-core Systems using Parallel Task Composition

Authors: Ashkan Tousimojarad, Wim Vanderbauwhede

Comments: In Proceedings PLACES 2013, arXiv:1312.2218

Journal-ref: EPTCS 137, 2013, pp. 79-94

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Programming Languages (cs.PL)

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

Title: Towards deductive verification of MPI programs against session types

Authors: Eduardo R. B. Marques (LASIGE/FCUL, Universidade of Lisbon), Francisco Martins (LASIGE/FCUL, Universidade of Lisbon), Vasco T. Vasconcelos (LASIGE/FCUL, Universidade of Lisbon), Nicholas Ng (Imperial College London), Nuno Martins (LASIGE/FCUL, Universidade of Lisbon)

Comments: In Proceedings PLACES 2013, arXiv:1312.2218

Journal-ref: EPTCS 137, 2013, pp. 103-113

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

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

Title: Static Application-Level Race Detection in STM Haskell using Contracts

Authors: Romain Demeyer, Wim Vanhoof

Comments: In Proceedings PLACES 2013, arXiv:1312.2218. rde@info.fundp.ac.be; wim.vanhoof@unamur.be

Journal-ref: EPTCS 137, 2013, pp. 115-134

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

[36]  arXiv:1312.4917 (cross-list from cs.NA) [pdf, ps, other]

Title: An exercise on streams: convergence acceleration

Authors: Pierre Lescanne (LIP)

Subjects: Numerical Analysis (math.NA); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[37]  arXiv:1312.1431 (cross-list from math.OC) [pdf, other]

Title: Computing in Operations Research using Julia

Authors: Miles Lubin, Iain Dunning

Comments: Source code included in supplement

Subjects: Optimization and Control (math.OC); Programming Languages (cs.PL); Numerical Analysis (math.NA)

[38]  arXiv:1312.3613 (cross-list from stat.ML) [pdf, ps, other]

Title: Augur: a Modeling Language for Data-Parallel Probabilistic Inference

Authors: Jean-Baptiste Tristan, Daniel Huang, Joseph Tassarotti, Adam Pocock, Stephen J. Green, Guy L. Steele Jr

Subjects: Machine Learning (stat.ML); Artificial Intelligence (cs.AI); Distributed, Parallel, and Cluster Computing (cs.DC); Programming Languages (cs.PL)