Programming Languages

Authors and titles for March 2012

[1] arXiv:1203.0681 [pdf, other]

Title: Manual and Fast C Code Optimization

Mohammed Fadle Abdulla

Comments: 16 pages

Journal-ref: Ann. Univ. Tibiscus Comp. Sci. Series VIII / 1 (2010), 93-108

Subjects: Programming Languages (cs.PL)

[2] arXiv:1203.0780 [pdf, other]

Title: On Global Types and Multi-Party Session

Giuseppe Castagna (CNRS, PPS, Univ Paris Diderot, Sorbonne Paris Cité, Paris, France), Mariangiola Dezani-Ciancaglini (Dipartimento di Informatica, Universit`a degli Studi di Torino, Torino, Italy), Luca Padovani (Dipartimento di Informatica, Universit`a degli Studi di Torino, Torino, Italy)

Journal-ref: Logical Methods in Computer Science, Volume 8, Issue 1 (March 15, 2012) lmcs:773

Subjects: Programming Languages (cs.PL)

[3] arXiv:1203.0835 [pdf, other]

Title: Functional Logic Programming with Generalized Circular Coinduction

Ronald de Haan

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

[4] arXiv:1203.1392 [pdf, other]

Title: Region-based memory management for Mercury programs

Quan Phan, Gerda Janssens, Zoltan Somogyi

Comments: 74 pages, 23 figures, 11 tables. A shorter version of this paper, without proofs, is to appear in the journal Theory and Practice of Logic Programming (TPLP)

Subjects: Programming Languages (cs.PL)

[5] arXiv:1203.1448 [pdf, other]

Title: AD in Fortran, Part 1: Design

Alexey Radul, Barak A. Pearlmutter, Jeffrey Mark Siskind

Subjects: Programming Languages (cs.PL); Mathematical Software (cs.MS); Numerical Analysis (math.NA)

[6] arXiv:1203.1450 [pdf, other]

Title: AD in Fortran, Part 2: Implementation via Prepreprocessor

Alexey Radul, Barak A. Pearlmutter, Jeffrey Mark Siskind

Journal-ref: Recent Advances in Algorithmic Differentiation, Springer Lecture Notes in Computational Science and Engineering volume 87, 2012, ISBN 978-3-642-30022-6, pages 273-284

Subjects: Programming Languages (cs.PL); Mathematical Software (cs.MS); Numerical Analysis (math.NA)

[7] arXiv:1203.1539 [pdf, other]

Title: Programming with Algebraic Effects and Handlers

Andrej Bauer, Matija Pretnar

Journal-ref: Journal of Logical and Algebraic Methods in Programming. Volume 84, Issue 1, January 2015, Pages 108-123

Subjects: Programming Languages (cs.PL)

[8] arXiv:1203.1986 [pdf, other]

Title: Type-Preserving Flow Analysis and Interprocedural Unboxing (Extended Version)

Neal Glew, Leaf Petersen

Subjects: Programming Languages (cs.PL)

[9] arXiv:1203.2296 [pdf, other]

Title: Discovering Algorithms with Matrix Code

M.H. van Emden

Comments: 8 pages, 7 figures

Subjects: Programming Languages (cs.PL)

[10] arXiv:1203.2431 [pdf, other]

Title: Singular and Plural Functions for Functional Logic Programming

Adrián Riesco, Juan Rodríguez-Hortalá

Comments: 53 pages, 5 figures

Journal-ref: Theory and Practice of Logic Programming 14 (2014) 65-116

Subjects: Programming Languages (cs.PL)

[11] arXiv:1203.3724 [pdf, other]

Title: Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs

Antoine Miné

Journal-ref: Logical Methods in Computer Science, Volume 8, Issue 1 (March 26, 2012) lmcs:799

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

[12] arXiv:1203.4499 [pdf, other]

Title: Extended Report: The Implicit Calculus

Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi

Comments: 13 pages, extended report of paper accepted at PLDI 2012

Subjects: Programming Languages (cs.PL)

[13] arXiv:1203.5303 [pdf, other]

Title: Bound Analysis of Imperative Programs with the Size-change Abstraction (extended version)

Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith

Comments: Extended version of SAS 2011 conference article

Subjects: Programming Languages (cs.PL)

[14] arXiv:1203.6102 [pdf, other]

Title: A Programmer-Centric Approach to Program Verification in ATS

Zhiqiang Ren, Hongwei Xi

Comments: 15 pages, 11 figures. Examples available on-line this http URL

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

[15] arXiv:1203.6459 [pdf, other]

Title: Towards a Tool-based Development Methodology for Pervasive Computing Applications

Damien Cassou (INRIA Bordeaux - Sud-Ouest), Julien Bruneau (INRIA Bordeaux - Sud-Ouest), Charles Consel (INRIA Bordeaux - Sud-Ouest), Emilie Balland (INRIA Bordeaux - Sud-Ouest)

Journal-ref: IEEE TSE: Transactions on Software Engineering (2011)

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

[16] arXiv:1203.6859 [pdf, other]

Title: The Relationship Between Separation Logic and Implicit Dynamic Frames

Matthew J. Parkinson (Microsoft Research), Alexander J. Summers (ETH Zurich)

Journal-ref: Logical Methods in Computer Science, Volume 8, Issue 3 (July 31, 2012) lmcs:802

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

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

Title: On Irrelevance and Algorithmic Equality in Predicative Type Theory

Andreas Abel (Department of Computer Science, Ludwig-Maximilians-University Munich), Gabriel Scherer (Department of Computer Science, Ludwig-Maximilians-University Munich)

Comments: 36 pages, superseds the FoSSaCS 2011 paper of the first author, titled "Irrelevance in Type Theory with a Heterogeneous Equality Judgement"

Journal-ref: Logical Methods in Computer Science, Volume 8, Issue 1 (March 27, 2012) lmcs:1045

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

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

Title: Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications

Simona Ronchi della Rocca (UNITO), Elaine Pimentel (UFMG)

Journal-ref: EPTCS 81, 2012

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

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

Title: Mendler-style Iso-(Co)inductive predicates: a strongly normalizing approach

Favio Ezequiel Miranda-Perea (Facultad de Ciencias UNAM), Lourdes del Carmen González-Huesca (Facultad de Ciencias UNAM)

Comments: In Proceedings LSFA 2011, arXiv:1203.5423

Journal-ref: EPTCS 81, 2012, pp. 30-46

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