Log in
Sign up
Topic
▼
Journal/Conference
▼
Search
▼
|
Browse
|
Your feeds
|
Submit a paper
|
About
All of CS
·
AI
·
Data Mgmt.
·
Graphics
·
HCI
·
Networks & Comm.
·
OS
·
Parallel & Dist. Comp.
·
Prog. Languages
·
Security
·
Soft. Eng.
·
Theory & Algs.
Journal:
ArXiv: Programming Languages
Sort:
New & recommended ·
Active
·
Top Recommended
·
New
Functional Package Management with Guix. (arXiv:1305.4584v1 [cs.PL])
By Ludovic Courtès
1
·
0
· from
ArXiv:cs.PL
· published 05/2013
Concrete Semantics for Pushdown Analysis: The Essence of Summarization. (arXiv:1305.3163v1 [cs.PL])
By J. Ian Johnson,David Van Horn
1
·
0
· from
ArXiv:cs.PL
· published 05/2013
A Note on "A polynomial-time algorithm for global value numbering". (arXiv:1302.6325v4 [cs.PL] UPDATED)
By Saleena Nabeezath,Vineeth Paleri
1
·
0
· from
ArXiv:cs.PL
· published 05/2013
Expressibility in the Lambda Calculus with Letrec. (arXiv:1208.2383v5 [cs.PL] UPDATED)
By Clemens Grabmayer,Jan Rochel
1
·
0
· from
ArXiv:cs.PL
· published 05/2013
A Macro for Reusing Abstract Functions and Theorems. (arXiv:1304.7875v1 [cs.LO])
By Sebastiaan J. C. Joosten,Bernard van Gastel,Julien Schmaltz
1
·
0
· from
ArXiv:cs.PL
· published 04/2013
C++11 - okre\'slanie typ\'ow. (arXiv:1304.7600v1 [cs.PL])
By Piotr Beling
1
·
0
· from
ArXiv:cs.PL
· published 04/2013
Expressibility in the Lambda Calculus with mu. (arXiv:1304.6284v2 [cs.PL] UPDATED)
By Clemens Grabmayer,Jan Rochel
1
·
0
· from
ArXiv:cs.PL
· published 04/2013
A Complexity Preserving Transformation from Jinja Bytecode to Rewrite Systems. (arXiv:1204.1568v4 [cs.PL] UPDATED)
By Georg Moser,Michael Schaper
1
·
0
· from
ArXiv:cs.PL
· published 04/2013
Interprocedural Data Flow Analysis in Soot using Value Contexts. (arXiv:1304.6274v1 [cs.PL])
By Rohan Padhye,Uday P. Khedker
1
·
0
· from
ArXiv:cs.PL
· published 04/2013
Expressibility in the Lambda Calculus with mu. (arXiv:1304.6284v1 [cs.PL])
By Clemens Grabmayer,Jan Rochel
1
·
0
· from
ArXiv:cs.PL
· published 04/2013
A Semantics for Approximate Program Transformations. (arXiv:1304.5531v1 [cs.PL])
By Edwin Westbrook,Swarat Chaudhuri
1
·
0
· from
ArXiv:cs.PL
· published 04/2013
On Integrating Deductive Synthesis and Verification Systems. (arXiv:1304.5661v1 [cs.PL])
By Etienne Kneuss,Viktor Kuncak,Ivan Kuraj,Philippe Suter
1
·
0
· from
ArXiv:cs.PL
· published 04/2013
Conceptual Understanding of Computer Program Execution: Application to C++. (arXiv:1304.5893v1 [cs.PL])
By Sabah Al-Fedaghi
1
·
0
· from
ArXiv:cs.PL
· published 04/2013
Implementing hash-consed structures in Coq. (arXiv:1304.6038v1 [cs.PL])
By Thomas Braibant,Jacques-Henri Jourdan,David Monniaux
1
·
0
· from
ArXiv:cs.PL
· published 04/2013
A Categorical Treatment of Ornaments. (arXiv:1212.3806v3 [cs.PL] UPDATED)
By Pierre-Evariste Dagand,Conor McBride
1
·
0
· from
ArXiv:cs.PL
· published 04/2013
An Introduction to Quantum Programming in Quipper. (arXiv:1304.5485v1 [cs.PL])
By Alexander S. Green,Peter LeFanu Lumsdaine,Neil J. Ross,Peter Selinger,Benoît Valiron
1
·
0
· from
ArXiv:cs.PL
· published 04/2013
Correctness Kernels of Abstract Interpretations. (arXiv:0910.4748v3 [cs.PL] UPDATED)
By Roberto Giacobazzi,Francesco Ranzato
1
·
0
· from
ArXiv:cs.PL
· published 04/2013
Ball-Larus Path Profiling Across Multiple Loop iterations. (arXiv:1304.5197v1 [cs.PL])
By Daniele Cono D'Elia,Camil Demetrescu,Irene Finocchi
1
·
0
· from
ArXiv:cs.PL
· published 04/2013
Periodic Single-Pass Instruction Sequences. (arXiv:0810.1151v2 [cs.PL] UPDATED)
By Jan A. Bergstra,Alban Ponse
1
·
0
· from
ArXiv:cs.PL
· published 04/2013
Multithreaded Input-Sensitive Profiling. (arXiv:1304.3804v1 [cs.PF])
By Emilio Coppa,Camil Demetrescu,Irene Finocchi,Romolo Marotta
1
·
0
· from
ArXiv:cs.PL
· published 04/2013
Formal Verification of a C Value Analysis Based on Abstract Interpretation. (arXiv:1304.3596v1 [cs.PL])
By Sandrine Blazy,Vincent Laporte,André Maroneze,David Pichardie
1
·
0
· from
ArXiv:cs.PL
· published 04/2013
On PROGRESS Operation. How to Make Object-Oriented Programming System More Object-Oriented (DRAFT). (arXiv:1304.3140v1 [cs.PL])
By Evgeniy Grigoriev
1
·
0
· from
ArXiv:cs.PL
· published 04/2013
The Removal of Numerical Drift from Scientific Models. (arXiv:1304.3260v1 [cs.SE])
By John Collins,Brian Farrimond,David Flower,Mark Anderson,David Gill
1
·
0
· from
ArXiv:cs.PL
· published 04/2013
Quipper: A Scalable Quantum Programming Language. (arXiv:1304.3390v1 [cs.PL])
By Alexander S. Green,Peter LeFanu Lumsdaine,Neil J. Ross,Peter Selinger,Benoît Valiron
1
·
0
· from
ArXiv:cs.PL
· published 04/2013
Locality Optimization for Data Parallel Programs. (arXiv:1304.1835v1 [cs.PL])
By Eric Hielscher,Alex Rubinsteyn,Dennis Shasha
1
·
0
· from
ArXiv:cs.PL
· published 04/2013
Towards Efficient Abstractions for Concurrent Consensus. (arXiv:1304.1913v1 [cs.PL])
By Carlo Spaccasassi,Vasileios Koutavas
1
·
0
· from
ArXiv:cs.PL
· published 04/2013
Type Directed Partial Evaluation for Level-1 Shift and Reset. (arXiv:1210.2094v2 [cs.PL] UPDATED)
By Danko Ilik
1
·
0
· from
ArXiv:cs.PL
· published 04/2013
New Equations for Neutral Terms: A Sound and Complete Decision Procedure, Formalized. (arXiv:1304.0809v2 [cs.PL] UPDATED)
By Guillaume Allais,Pierre Boutillier,Conor McBride
1
·
0
· from
ArXiv:cs.PL
· published 04/2013
Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra. (arXiv:1304.0864v1 [cs.PL])
By Alexis Fouilhé,David Monniaux,Michaël Périn
1
·
0
· from
ArXiv:cs.PL
· published 04/2013
New Equations for Neutral Terms: A Sound and Complete Decision Procedure, Formalized. (arXiv:1304.0809v1 [cs.PL])
By Allais Guillaume,Boutillier Pierre,McBride Conor
1
·
0
· from
ArXiv:cs.PL
· published 04/2013
more ->
Features coming soon:
Author profiles -- Claim your papers.
Groups -- Create a group for your department.
Paper revisions and version control.
Comments, suggestions, errors?