Programming Languages

Authors and titles for cs.PL in Apr 2014

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

Title: General dynamic recovery for compensating CSP

Authors: Abeer S. Al-Humaimeedy, Maribel Fernández

Comments: In Proceedings DCM 2012, arXiv:1403.7579

Journal-ref: EPTCS 143, 2014, pp. 3-16

Subjects: Programming Languages (cs.PL)

[2]  arXiv:1404.0076 [pdf, other]

Title: Towards a GPU-based implementation of interaction nets

Authors: Eugen Jiresch (Technische Universität Wien)

Comments: In Proceedings DCM 2012, arXiv:1403.7579

Journal-ref: EPTCS 143, 2014, pp. 41-53

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

[3]  arXiv:1404.0084 [pdf, other]

Title: A Calculus of Located Entities

Authors: Adriana Compagnoni (Stevens Institute of Technology), Paola Giannini (Università del Piemonte Orientale), Catherine Kim (Stevens Institute of Technology), Matthew Milideo (Stevens Institute of Technology), Vishakha Sharma (Stevens Institute of Technology)

Comments: In Proceedings DCM 2013, arXiv:1403.7685

Journal-ref: EPTCS 144, 2014, pp. 41-56

Subjects: Programming Languages (cs.PL); Computational Engineering, Finance, and Science (cs.CE)

[4]  arXiv:1404.0085 [pdf, ps, other]

Title: Towards Formal Interaction-Based Models of Grid Computing Infrastructures

Authors: Carlos Alberto Ramírez Restrepo, Jorge A. Pérez, Jesús Aranda, Juan Francisco Díaz-Frias

Comments: In Proceedings DCM 2013, arXiv:1403.7685

Journal-ref: EPTCS 144, 2014, pp. 57-72

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

[5]  arXiv:1404.0089 [pdf, ps, other]

Title: Worst-case Throughput Analysis for Parametric Rate and Parametric Actor Execution Time Scenario-Aware Dataflow Graphs

Authors: Mladen Skelin, Marc Geilen, Francky Catthoor, Sverre Hendseth

Comments: In Proceedings SynCoP 2014, arXiv:1403.7841

Journal-ref: EPTCS 145, 2014, pp. 65-79

Subjects: Programming Languages (cs.PL)

[6]  arXiv:1404.1830 [pdf, other]

Title: Concurrency and Scalability versus Fragmentation and Compaction with Compact-fit

Authors: Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova

Subjects: Programming Languages (cs.PL)

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

Title: Webpage Load Speed: ASP.NET vs. PHP

Authors: Dr. Timur Mirzoev, Lawton Sack

Journal-ref: i-managers Journal on Information Technology, Vol. 2, No. 2, March May 2013

Subjects: Programming Languages (cs.PL); Human-Computer Interaction (cs.HC)

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

Title: Annotated imports

Authors: Ruslan Shevchenko

Subjects: Programming Languages (cs.PL)

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

Title: An Approach to Assertion-based Debugging of Higher-Order (C)LP Programs

Authors: Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo

Comments: 24 pages, 1 figure. A 2-page extended abstract to be published as a technical communication in the on-line addendum of the special issue(s) of the TPLP journal for ICLP14

Subjects: Programming Languages (cs.PL)

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

Title: Object-Oriented Parallel Programming

Authors: Edward Givelberg

Subjects: Programming Languages (cs.PL)

[11]  arXiv:1404.5770 [pdf, other]

Title: Capture-Avoiding and Hygienic Program Transformations (incl. Proofs)

Authors: Sebastian Erdweg, Tijs van der Storm, Yi Dai

Comments: In Proceedings of European Conference on Object-Oriented Programming (ECOOP) 2014

Subjects: Programming Languages (cs.PL)

[12]  arXiv:1404.6390 [pdf, other]

Title: JyNI - Using native CPython-Extensions in Jython

Authors: Stefan Richthofer

Comments: Part of the Proceedings of the 6th European Conference on Python in Science (EuroSciPy 2013), Pierre de Buyl and Nelle Varoquaux editors, (2014)

Subjects: Programming Languages (cs.PL)

[13]  arXiv:1404.6602 [pdf, other]

Title: The Dafny Integrated Development Environment

Authors: K. Rustan M. Leino (Microsoft Research, Redmond, WA, USA), Valentin Wüstholz (ETH Zurich, Department of Computer Science, Switzerland)

Comments: In Proceedings F-IDE 2014, arXiv:1404.5785

Journal-ref: EPTCS 149, 2014, pp. 3-15

Subjects: Programming Languages (cs.PL); Human-Computer Interaction (cs.HC); Software Engineering (cs.SE)

[14]  arXiv:1404.6607 [pdf, ps, other]

Title: FoCaLiZe: Inside an F-IDE

Authors: François Pessaux (ENSTA ParisTech)

Comments: In Proceedings F-IDE 2014, arXiv:1404.5785

Journal-ref: EPTCS 149, 2014, pp. 64-78

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

[15]  arXiv:1404.6838 [pdf, other]

Title: Metamorphic Domain-Specific Languages: A Journey Into the Shapes of a Language

Authors: Mathieu Acher, Benoit Combemale, Philippe Collet

Subjects: Programming Languages (cs.PL)

[16]  arXiv:1404.0099 (cross-list from cs.AI) [pdf, other]

Title: Venture: a higher-order probabilistic programming platform with programmable inference

Authors: Vikash Mansinghka, Daniel Selsam, Yura Perov

Comments: 78 pages

Subjects: Artificial Intelligence (cs.AI); Programming Languages (cs.PL); Computation (stat.CO); Machine Learning (stat.ML)

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

Title: Boltzmann samplers for random generation of lambda terms

Authors: Pierre Lescanne (LIP)

Subjects: Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[18]  arXiv:1404.4821 (cross-list from cs.DC) [pdf, ps, other]

Title: A Technology for BigData Analysis Task Description using Domain-Specific Languages

Authors: Sergey V. Kovalchuk, Artem V. Zakharchuk, Jiaqi Liao, Sergey V. Ivanov, Alexander V. Boukhanovsky

Comments: To appear in Proceedings of the International Conference on Computational Science (ICCS) 2014

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

[19]  arXiv:1404.5785 (cross-list from cs.SE) [pdf, ps, other]

Title: Proceedings 1st Workshop on Formal Integrated Development Environment

Authors: Catherine Dubois (ENSIIE - CEDRIC), Dimitra Giannakopoulou (NASA - Ames), Dominique Méry (Université de Lorraine - LORIA)

Journal-ref: EPTCS 149, 2014

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

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

Title: A Parallel Task-based Approach to Linear Algebra

Authors: Ashkan Tousimojarad, Wim Vanderbauwhede

Comments: Final version as appeared in "dx.doi.org/10.1109/ISPDC.2014.11"

Journal-ref: Tousimojarad, A., Vanderbauwhede, W.: A parallel task-based approach to linear algebra. In: Parallel and Distributed Computing (ISPDC), 2014 IEEE 13th International Symposium on. pp. 59-66. IEEE (2014)

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

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

Title: Bloscpack: a compressed lightweight serialization format for numerical data

Authors: Valentin Haenel

Comments: Part of the Proceedings of the 6th European Conference on Python in Science (EuroSciPy 2013), Pierre de Buyl and Nelle Varoquaux editors, (2014)

Subjects: Mathematical Software (cs.MS); Programming Languages (cs.PL)

[22]  arXiv:1404.6385 (cross-list from cs.CE) [pdf, other]

Title: High-Content Digital Microscopy with Python

Authors: Fabrice Salvaire

Comments: Part of the Proceedings of the 6th European Conference on Python in Science (EuroSciPy 2013), Pierre de Buyl and Nelle Varoquaux editors, (2014)

Subjects: Computational Engineering, Finance, and Science (cs.CE); Programming Languages (cs.PL)

[23]  arXiv:1404.6387 (cross-list from cs.CY) [pdf, other]

Title: PySTEMM: Executable Concept Modeling for K-12 STEM Learning

Authors: Kelsey D'Souza

Comments: Part of the Proceedings of the 6th European Conference on Python in Science (EuroSciPy 2013), Pierre de Buyl and Nelle Varoquaux editors, (2014)

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

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

Title: Performance of Python runtimes on a non-numeric scientific code

Authors: Riccardo Murri

Comments: Part of the Proceedings of the 6th European Conference on Python in Science (EuroSciPy 2013), Pierre de Buyl and Nelle Varoquaux editors, (2014)

Subjects: Mathematical Software (cs.MS); Programming Languages (cs.PL)

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

Title: SfePy - Write Your Own FE Application

Authors: Robert Cimrman

Comments: Part of the Proceedings of the 6th European Conference on Python in Science (EuroSciPy 2013), Pierre de Buyl and Nelle Varoquaux editors, (2014)

Subjects: Computational Engineering, Finance, and Science (cs.CE); Programming Languages (cs.PL)