Programming Languages

Authors and titles for September 2010

[1] arXiv:1009.0305 [pdf, other]

Title: Comparative Studies of 10 Programming Languages within 10 Diverse Criteria -- a Team 7 COMP6411-S10 Term Report

Sleiman Rabah, Jiang Li, Mingzhi Liu, Yuanwei Lai

Comments: 139 pages, programming languages comparison tables

Subjects: Programming Languages (cs.PL)

[2] arXiv:1009.0817 [pdf, other]

Title: Towards a Property Preserving Transformation from IEC 61131-3 to BIP

Jan Olaf Blech, Anton Hattendorf, Jia Huang

Subjects: Programming Languages (cs.PL)

[3] arXiv:1009.1342 [pdf, other]

Title: Simplifying Complex Software Assembly: The Component Retrieval Language and Implementation

Eric L. Seidel, Gabrielle Allen, Steven Brandt, Frank Löffler, Erik Schnetter

Comments: 8 pages, 5 figures, TeraGrid 2010

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

[4] arXiv:1009.1560 [pdf, other]

Title: Stack-Summarizing Control-Flow Analysis of Higher-Order Programs

Christopher Earl, Matthew Might, David Van Horn

Subjects: Programming Languages (cs.PL)

[5] arXiv:1009.1861 [pdf, other]

Title: Refinement Types for Logical Frameworks and Their Interpretation as Proof Irrelevance

William Lovas (Carnegie Mellon University), Frank Pfenning (Carnegie Mellon University)

Journal-ref: Logical Methods in Computer Science, Volume 6, Issue 4 (December 5, 2010) lmcs:1063

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

[6] arXiv:1009.2178 [pdf, other]

Title: Simplifying Negative Goals Using Typed Existence Properties

Lunjin Lu, John G. Cleary

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

[7] arXiv:1009.2405 [pdf, other]

Title: A Model of Cooperative Threads

Martín Abadi (Microsoft Research, Silicon Valley, University of California, Santa Cruz), Gordon D. Plotkin (Microsoft Research, Silicon Valley, LFCS, University of Edinburgh)

Comments: 39 pages, 5 figures

Journal-ref: Logical Methods in Computer Science, Volume 6, Issue 4 (October 20, 2010) lmcs:700

Subjects: Programming Languages (cs.PL)

[8] arXiv:1009.2793 [pdf, other]

Title: A Monadic Formalization of ML5

Daniel R. Licata (Carnegie Mellon University), Robert Harper (Carnegie Mellon University)

Comments: In Proceedings LFMTP 2010, arXiv:1009.2189

Journal-ref: EPTCS 34, 2010, pp. 69-83

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

[9] arXiv:1009.2900 [pdf, other]

Title: Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction

Hariolf Betz, Thom W. Frühwirth

Subjects: Programming Languages (cs.PL)

[10] arXiv:1009.3174 [pdf, other]

Title: Evaluating Call-By-Need on the Control Stack

Stephen Chang, David Van Horn, Matthias Felleisen

Comments: Symposium on Trends in Functional Programming (TFP 2010), Norman, Oklahoma, May 2010

Subjects: Programming Languages (cs.PL)

[11] arXiv:1009.3771 [pdf, other]

Title: An extensible web interface for databases and its application to storing biochemical data

Nicos Angelopoulos, Paul Taylor

Comments: Online proceedings of the Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments (CICLOPS-WLPE 2010), Edinburgh, Scotland, U.K., July 15, 2010

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

[12] arXiv:1009.3773 [pdf, other]

Title: Towards a Study of Meta-Predicate Semantics

Paulo Moura

Comments: Online proceedings of the Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments (CICLOPS-WLPE 2010), Edinburgh, Scotland, U.K., July 15, 2010

Subjects: Programming Languages (cs.PL)

[13] arXiv:1009.3796 [pdf, other]

Title: Portability of Prolog programs: theory and case-studies

Jan Wielemaker, Vítor Santos Costa

Comments: Online proceedings of the Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments (CICLOPS-WLPE 2010), Edinburgh, Scotland, U.K., July 15, 2010

Subjects: Programming Languages (cs.PL)

[14] arXiv:1009.3800 [pdf, other]

Title: Distributed Work Stealing for Constraint Solving

Vasco Pedro, Salvador Abreu

Comments: Online proceedings of the Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments (CICLOPS-WLPE 2010), Edinburgh, Scotland, U.K., July 15, 2010

Subjects: Programming Languages (cs.PL)

[15] arXiv:1009.3806 [pdf, other]

Title: Casting of the WAM as an EAM

Paulo André, Salvador Abreu

Comments: Online proceedings of the Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments (CICLOPS-WLPE 2010), Edinburgh, Scotland, U.K., July 15, 2010

Subjects: Programming Languages (cs.PL)

[16] arXiv:1009.4020 [pdf, other]

Title: Proceedings of CICLOPS-WLPE 2010

German Vidal, Neng-Fa Zhou

Subjects: Programming Languages (cs.PL)

[17] arXiv:1009.4262 [pdf, other]

Title: Lightweight Time Modeling in Timed Creol

Joakim Bjørk (University of Oslo), Einar Broch Johnsen (University of Oslo), Olaf Owe (University of Oslo), Rudolf Schlatte (University of Oslo)

Comments: In Proceedings RTRTS 2010, arXiv:1009.3982

Journal-ref: EPTCS 36, 2010, pp. 67-81

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

[18] arXiv:1009.5423 [pdf, other]

Title: The Need to Support of Data Flow Graph Visualization of Forensic Lucid Programs, Forensic Evidence, and their Evaluation by GIPSY

Serguei A. Mokhov, Joey Paquet, Mourad Debbabi

Comments: 11 pages, 7 figures, index; extended abstract presented at VizSec'10 at this http URL ; short paper accepted at PST'11

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

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

Title: Component Specification in the Cactus Framework: The Cactus Configuration Language

Gabrielle Allen, Tom Goodale, Frank Löffler, David Rideout, Erik Schnetter, Eric L. Seidel

Comments: 10 pages

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

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

Title: A Transformation-based Implementation for CLP with Qualification and Proximity

Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz

Comments: 49 pages, 5 figures, 1 table, preliminary version of an article of the same title, published as Technical Report SIC-4-10, Universidad Complutense, Departamento de Sistemas Informáticos y Computación, Madrid, Spain

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

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

Title: Fixpoint & Proof-theoretic Semantics for CLP with Qualification and Proximity

Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz

Comments: 47 pages, 2 figures, extended version with full proofs of A Declarative Semantics for CLP with Qualification and Proximity (arXiv:1007.3629). Theory and Practice of Logic Programming, 26th Int'l. Conference on Logic Programming (ICLP'10) Special Issue, 10(4-6):627-642, 2010. Revised definition 2.10, theorem 2.1 & proposition 2.2, results unchanged

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

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

Title: Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice

Karl Crary, Marino Miculan

Journal-ref: EPTCS 34, 2010

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

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

Title: Explicit Substitutions for Contextual Type Theory

Andreas Abel (Ludwig-Maximilians-University), Brigitte Pientka (McGill University)

Comments: In Proceedings LFMTP 2010, arXiv:1009.2189

Journal-ref: EPTCS 34, 2010, pp. 5-20

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

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

Title: Closed nominal rewriting and efficiently computable nominal algebra equality

Maribel Fernández (King's College London), Murdoch J. Gabbay (Heriot-Watt University)

Comments: In Proceedings LFMTP 2010, arXiv:1009.2189

Journal-ref: EPTCS 34, 2010, pp. 37-51

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

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

Title: Proceedings Fourth International Workshop on Testing, Analysis and Verification of Web Software

Gwen Salaün, Xiang Fu, Sylvain Hallé

Journal-ref: EPTCS 35, 2010

Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Symbolic Computation (cs.SC)

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

Title: Realizing evaluation strategies by hierarchical graph rewriting

Petra Hofstedt

Comments: Online proceedings of the Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments (CICLOPS-WLPE 2010), Edinburgh, Scotland, U.K., July 15, 2010

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

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

Title: Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis

Musab AlTurki (University of Illinois at Urbana-Champaign), José Meseguer (University of Illinois at Urbana-Champaign)

Comments: In Proceedings RTRTS 2010, arXiv:1009.3982

Journal-ref: EPTCS 36, 2010, pp. 26-45

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

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

Title: Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models

Kyungmin Bae (University of Illinois at Urbana-Champaign), Peter Csaba Ölveczky (University of Oslo)

Comments: In Proceedings RTRTS 2010, arXiv:1009.3982

Journal-ref: EPTCS 36, 2010, pp. 46-66

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Programming Languages (cs.PL); Software Engineering (cs.SE)