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.
Sort:
New & recommended
·
Newly published
·
Newly added
·
Top Recommended
1
Functional Package Management with Guix. (arXiv:1305.4584v1 [cs.PL])
By Ludovic Courtès
0
· from
ArXiv:cs.PL
· published 05/2013
1
Concrete Semantics for Pushdown Analysis: The Essence of Summarization. (arXiv:1305.3163v1 [cs.PL])
By J. Ian Johnson,David Van Horn
0
· from
ArXiv:cs.PL
· published 05/2013
1
A Note on "A polynomial-time algorithm for global value numbering". (arXiv:1302.6325v4 [cs.PL] UPDATED)
By Saleena Nabeezath,Vineeth Paleri
0
· from
ArXiv:cs.PL
· published 05/2013
1
Expressibility in the Lambda Calculus with Letrec. (arXiv:1208.2383v5 [cs.PL] UPDATED)
By Clemens Grabmayer,Jan Rochel
0
· from
ArXiv:cs.PL
· published 05/2013
1
A Macro for Reusing Abstract Functions and Theorems. (arXiv:1304.7875v1 [cs.LO])
By Sebastiaan J. C. Joosten,Bernard van Gastel,Julien Schmaltz
0
· from
ArXiv:cs.PL
· published 04/2013
1
C++11 - okre\'slanie typ\'ow. (arXiv:1304.7600v1 [cs.PL])
By Piotr Beling
0
· from
ArXiv:cs.PL
· published 04/2013
1
Expressibility in the Lambda Calculus with mu. (arXiv:1304.6284v2 [cs.PL] UPDATED)
By Clemens Grabmayer,Jan Rochel
0
· from
ArXiv:cs.PL
· published 04/2013
1
A Complexity Preserving Transformation from Jinja Bytecode to Rewrite Systems. (arXiv:1204.1568v4 [cs.PL] UPDATED)
By Georg Moser,Michael Schaper
0
· from
ArXiv:cs.PL
· published 04/2013
1
Interprocedural Data Flow Analysis in Soot using Value Contexts. (arXiv:1304.6274v1 [cs.PL])
By Rohan Padhye,Uday P. Khedker
0
· from
ArXiv:cs.PL
· published 04/2013
1
Expressibility in the Lambda Calculus with mu. (arXiv:1304.6284v1 [cs.PL])
By Clemens Grabmayer,Jan Rochel
0
· from
ArXiv:cs.PL
· published 04/2013
1
A Semantics for Approximate Program Transformations. (arXiv:1304.5531v1 [cs.PL])
By Edwin Westbrook,Swarat Chaudhuri
0
· from
ArXiv:cs.PL
· published 04/2013
1
On Integrating Deductive Synthesis and Verification Systems. (arXiv:1304.5661v1 [cs.PL])
By Etienne Kneuss,Viktor Kuncak,Ivan Kuraj,Philippe Suter
0
· from
ArXiv:cs.PL
· published 04/2013
1
Conceptual Understanding of Computer Program Execution: Application to C++. (arXiv:1304.5893v1 [cs.PL])
By Sabah Al-Fedaghi
0
· from
ArXiv:cs.PL
· published 04/2013
1
Implementing hash-consed structures in Coq. (arXiv:1304.6038v1 [cs.PL])
By Thomas Braibant,Jacques-Henri Jourdan,David Monniaux
0
· from
ArXiv:cs.PL
· published 04/2013
1
A Categorical Treatment of Ornaments. (arXiv:1212.3806v3 [cs.PL] UPDATED)
By Pierre-Evariste Dagand,Conor McBride
0
· from
ArXiv:cs.PL
· published 04/2013
1
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
0
· from
ArXiv:cs.PL
· published 04/2013
1
Correctness Kernels of Abstract Interpretations. (arXiv:0910.4748v3 [cs.PL] UPDATED)
By Roberto Giacobazzi,Francesco Ranzato
0
· from
ArXiv:cs.PL
· published 04/2013
1
Ball-Larus Path Profiling Across Multiple Loop iterations. (arXiv:1304.5197v1 [cs.PL])
By Daniele Cono D'Elia,Camil Demetrescu,Irene Finocchi
0
· from
ArXiv:cs.PL
· published 04/2013
1
Periodic Single-Pass Instruction Sequences. (arXiv:0810.1151v2 [cs.PL] UPDATED)
By Jan A. Bergstra,Alban Ponse
0
· from
ArXiv:cs.PL
· published 04/2013
1
Multithreaded Input-Sensitive Profiling. (arXiv:1304.3804v1 [cs.PF])
By Emilio Coppa,Camil Demetrescu,Irene Finocchi,Romolo Marotta
0
· from
ArXiv:cs.PL
· published 04/2013
1
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
0
· from
ArXiv:cs.PL
· published 04/2013
1
On PROGRESS Operation. How to Make Object-Oriented Programming System More Object-Oriented (DRAFT). (arXiv:1304.3140v1 [cs.PL])
By Evgeniy Grigoriev
0
· from
ArXiv:cs.PL
· published 04/2013
1
The Removal of Numerical Drift from Scientific Models. (arXiv:1304.3260v1 [cs.SE])
By John Collins,Brian Farrimond,David Flower,Mark Anderson,David Gill
0
· from
ArXiv:cs.PL
· published 04/2013
1
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
0
· from
ArXiv:cs.PL
· published 04/2013
1
Locality Optimization for Data Parallel Programs. (arXiv:1304.1835v1 [cs.PL])
By Eric Hielscher,Alex Rubinsteyn,Dennis Shasha
0
· from
ArXiv:cs.PL
· published 04/2013
1
Towards Efficient Abstractions for Concurrent Consensus. (arXiv:1304.1913v1 [cs.PL])
By Carlo Spaccasassi,Vasileios Koutavas
0
· from
ArXiv:cs.PL
· published 04/2013
1
Type Directed Partial Evaluation for Level-1 Shift and Reset. (arXiv:1210.2094v2 [cs.PL] UPDATED)
By Danko Ilik
0
· from
ArXiv:cs.PL
· published 04/2013
1
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
0
· from
ArXiv:cs.PL
· published 04/2013
1
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
0
· from
ArXiv:cs.PL
· published 04/2013
1
New Equations for Neutral Terms: A Sound and Complete Decision Procedure, Formalized. (arXiv:1304.0809v1 [cs.PL])
By Allais Guillaume,Boutillier Pierre,McBride Conor
0
· from
ArXiv:cs.PL
· published 04/2013
more ->