cicyt UNIZAR

Programming Languages

Authors and titles for recent submissions

[ total of 18 entries: 1-18 ]
[ showing up to 25 entries per page: fewer | more ]

Fri, 23 Feb 2018

[1]  arXiv:1802.08234 [pdf, other]
Title: What's the Over/Under? Probabilistic Bounds on Information Leakage
Subjects: Programming Languages (cs.PL)
[2]  arXiv:1704.00082 (cross-list from cs.DC) [pdf, ps, other]
Title: Moderately Complex Paxos Made Simple: High-Level Specification of Distributed Algorithm
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Programming Languages (cs.PL)

Thu, 22 Feb 2018

[3]  arXiv:1802.07284 [pdf, ps, other]
Title: Logic Programming Applications: What Are the Abstractions and Implementations?
Authors: Yanhong A. Liu
Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Databases (cs.DB); Logic in Computer Science (cs.LO)

Tue, 20 Feb 2018

[4]  arXiv:1802.06653 [pdf, ps, other]
Title: A Type-Based Complexity Analysis of Object Oriented Programs
Authors: Emmanuel Hainry (CARTE), Romain Péchoux (CARTE)
Comments: Information and Computation, Elsevier, A Para\^itre, pp.60
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[5]  arXiv:1802.06651 [pdf, ps, other]
Title: CalcuList: a Functional Language Extended with Imperative Features
Subjects: Programming Languages (cs.PL)
[6]  arXiv:1802.06571 [pdf, other]
Title: Implementing distributed λ-calculus interpreter
Comments: 8 pages, 4 tables, 1 figure, proceeding AINA-2018 workshops
Subjects: Programming Languages (cs.PL)
[7]  arXiv:1802.06551 [pdf, other]
Title: Verifying Semantic Conflict-Freedom in Three-Way Program Merges
Subjects: Programming Languages (cs.PL)
[8]  arXiv:1802.06504 [pdf, other]
Title: Compiling Diderot: From Tensor Calculus to C
Subjects: Programming Languages (cs.PL); Mathematical Software (cs.MS)
[9]  arXiv:1802.06498 [pdf, other]
Title: Space Improvements and Equivalences in a Functional Core Language
Authors: Manfred Schmidt-Schauß (Goethe-University Frankfurt am Main), Nils Dallmeyer (Goethe-University Frankfurt am Main)
Comments: In Proceedings WPTE 2017, arXiv:1802.05862
Journal-ref: EPTCS 265, 2018, pp. 98-112
Subjects: Programming Languages (cs.PL); Performance (cs.PF)
[10]  arXiv:1802.06495 [pdf, other]
Title: Efficient Implementation of Evaluation Strategies via Token-Guided Graph Rewriting
Comments: In Proceedings WPTE 2017, arXiv:1802.05862
Journal-ref: EPTCS 265, 2018, pp. 52-66
Subjects: Programming Languages (cs.PL)
[11]  arXiv:1802.06493 [pdf, ps, other]
Title: A Method to Translate Order-Sorted Algebras to Many-Sorted Algebras
Authors: Liyi Li (University of Illinois at Urbana-Champaign), Elsa Gunter (University of Illinois at Urbana-Champaign)
Comments: In Proceedings WPTE 2017, arXiv:1802.05862
Journal-ref: EPTCS 265, 2018, pp. 20-34
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[12]  arXiv:1802.06375 [pdf, other]
Title: Efficient Gradual Typing
Subjects: Programming Languages (cs.PL)
[13]  arXiv:1802.06283 [pdf, other]
Title: Almost Sure Productivity
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

Mon, 19 Feb 2018

[14]  arXiv:1802.05918 [pdf, other]
Title: Compositional Verification of Compiler Optimisations on Relaxed Memory
Comments: Extended version of the paper from ESOP'18
Subjects: Programming Languages (cs.PL)
[15]  arXiv:1802.05863 [pdf, ps, other]
Title: A Calculus for Modeling Floating Authorizations
Authors: Jovanka Pantovic (1), Ivan Prokic (1), Hugo Torres Vieira (2) ((1) Faculty of Technical Sciences, University of Novi Sad, (2) IMT School for Advanced Studies Lucca)
Subjects: Programming Languages (cs.PL)
[16]  arXiv:1802.05862 (cross-list from cs.LO) [html]
Title: Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation
Authors: Horatiu Cirstea (LORIA, Université de Lorraine, France), David Sabel (Goethe-University Frankfurt am Main, Germany)
Journal-ref: EPTCS 265, 2018
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

Thu, 15 Feb 2018

[17]  arXiv:1802.04970 (cross-list from cs.LO) [pdf, other]
Title: Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* (Extended Version)
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Software Engineering (cs.SE)
[18]  arXiv:1802.04799 (cross-list from cs.LG) [pdf, other]
Title: TVM: End-to-End Optimization Stack for Deep Learning
Comments: Longer version of SysML publication, arxiv version of UW techreport this https URL
Subjects: Learning (cs.LG); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)
[ total of 18 entries: 1-18 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)