Programming Languages

Authors and titles for January 2010

[1] arXiv:1001.1022 [pdf, other]

Title: LXG Compiler - Design and Implementation

Emil Vassev

Comments: 37 pages, 2 figures, grammar in BNF

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

[2] arXiv:1001.1043 [pdf, other]

Title: Process Algebra as Abstract Data Types

Ruqian Lu, Lixing Li, Yun Shang, Xiaoyu Li

Comments: 74pages

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

[3] arXiv:1001.2188 [pdf, other]

Title: Towards a Generic Framework to Generate Explanatory Traces of Constraint Solving and Rule-Based Reasoning

Pierre Deransart (INRIA Rocquencourt), Rafael Oliveira (CIN)

Subjects: Programming Languages (cs.PL)

[4] arXiv:1001.2817 [pdf, other]

Title: Grammatical Aspects for Language Descriptions

Andrey Breslav

Comments: Submitted to LDTA, 15 pages

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

[5] arXiv:1001.4434 [pdf, other]

Title: Strategies in PRholog

Besik Dundua (RISC, JKU Linz), Temur Kutsia (RISC, JKU Linz), Mircea Marin (University of Tsukuba)

Journal-ref: EPTCS 15, 2010, pp. 32-43

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

[6] arXiv:1001.4573 [pdf, other]

Title: Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming

Maribel Fernández (King's College London)

Journal-ref: EPTCS 15, 2010

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

[7] arXiv:1001.4901 [pdf, other]

Title: Deriving Ontologies from XML Schema

Ivan Bedini, Georges Gardarin, Benjamin Nguyen

Journal-ref: Entrepots de Donnees et Analyse en Ligne (EDA) Conference, Invited Paper, 2008

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

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

Title: Undecidability Results for Finite Interactive Systems

Alexandru Sofronia, Alexandru Popa, Gheorghe Stefanescu

Journal-ref: Romanian Journal of Information Science and Technology, Volume 12 (2009), pp. 265-279

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

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

Title: Least and greatest fixpoints in game semantics

Pierre Clairambault (PPS)

Journal-ref: Foundations of Software Science and Computational Structures, York : United Kingdom (2009)

Subjects: Logic in Computer Science (cs.LO); Computer Science and Game Theory (cs.GT); Programming Languages (cs.PL)

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

Title: Steps towards a theory and calculus of aliasing

Bertrand Meyer

Comments: Revision of original JOT paper. To appear in IJSI (International Journal of Software and Informatics) in 2011. The original title was: The theory and calculus of aliasing

Journal-ref: International Journal of Software and Informaticsspecial issue (Festschrift in honor of Manfred Broy), Chinese Academy of Sciences, 2011, pages 77-116

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

[11] arXiv:1001.1902 (cross-list from cs.PF) [pdf, other]

Title: RapidMind: Portability across Architectures and its Limitations

Iris Christadler, Volker Weinberg

Comments: 12 pages, 6 figures

Subjects: Performance (cs.PF); Programming Languages (cs.PL)

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

Title: Linear Recursion

Sandra Alves (1), Maribel Fernández (2), Mário Florido (1), Ian Mackie (3) ((1) University of Porto, (2) King's College London, (3) École Polytechnique)

Comments: 28 pages

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

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

Title: Type-Safe Feature-Oriented Product Lines

Sven Apel, Christian Kaestner, Armin Groesslinger, Christian Lengauer

Comments: Technical Report of the University of Passau, Germany

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

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

Title: Stream Productivity by Outermost Termination

Hans Zantema (TU Eindhoven), Matthias Raffelsieper (TU Eindhoven)

Journal-ref: EPTCS 15, 2010, pp. 83-95

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

[15] arXiv:1001.4427 (cross-list from cs.GT) [pdf, other]

Title: Extensional and Intensional Strategies

Tony Bourdier (INRIA Nancy Grand-Est), Horatiu Cirstea (INRIA Nancy Grand-Est), Daniel Dougherty (Worcester Polytechnic Institute), Hélène Kirchner (INRIA Bordeaux Sud-Ouest)

Journal-ref: EPTCS 15, 2010, pp. 1-19

Subjects: Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

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

Title: Principal Typings in a Restricted Intersection Type System for Beta Normal Forms with De Bruijn Indices

Daniel Ventura (Universidade de Brasilia), Mauricio Ayala-Rincón (Universidade de Brasilia), Fairouz Kamareddine (Heriot-Watt University, Edinburgh)

Journal-ref: EPTCS 15, 2010, pp. 69-82

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