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
The Size-Change Termination Principle for Constructor Based Languages. (arXiv:1306.3833v1 [cs.LO])
By Pierre Hyvernat
0
· from
ArXiv:cs.PL
· published 06/2013
1
New Equations for Neutral Terms: A Sound and Complete Decision Procedure, Formalized. (arXiv:1304.0809v3 [cs.PL] UPDATED)
By Guillaume Allais,Pierre Boutillier,Conor McBride
0
· from
ArXiv:cs.PL
· published 06/2013
1
The essence of component-based design and coordination. (arXiv:1306.3375v1 [cs.SE])
By Raphael 'kena' Poss
0
· from
ArXiv:cs.PL
· published 06/2013
1
On the Concept of Variable Roles and its Use in Software Analysis. (arXiv:1305.6745v2 [cs.PL] UPDATED)
By Yulia Demyanova,Helmut Veith,Florian Zuleger
0
· from
ArXiv:cs.PL
· published 06/2013
1
Indexed Labels for Loop Iteration Dependent Costs. (arXiv:1306.2692v1 [cs.PL])
By Paolo Tranquilli
0
· from
ArXiv:cs.PL
· published 06/2013
1
The Cyan Language. (arXiv:1306.1870v1 [cs.PL])
By José de Oliveira Guimarães
0
· from
ArXiv:cs.PL
· published 06/2013
1
Eventual Linear Ranking Functions. (arXiv:1306.1901v1 [cs.PL])
By Roberto Bagnara,Fred Mesnard
0
· from
ArXiv:cs.PL
· published 06/2013
1
Practical Inlining of Functions with Free Variables. (arXiv:1306.1919v1 [cs.PL])
By Lars Bergstrom,Matthew Fluet,John Reppy,Nora Sandler
0
· from
ArXiv:cs.PL
· published 06/2013
1
Automatic Abstraction in SMT-Based Unbounded Software Model Checking. (arXiv:1306.1945v1 [cs.LO])
By Anvesh Komuravelli,Arie Gurfinkel,Sagar Chaki,Edmund M. Clarke
0
· from
ArXiv:cs.PL
· published 06/2013
1
Optimal multi-binding unification for sharing and linearity analysis. (arXiv:1306.2291v1 [cs.PL])
By Gianluca Amato,Francesca Scozzari
0
· from
ArXiv:cs.PL
· published 06/2013
1
Domain Types: Selecting Abstractions Based on Variable Usage. (arXiv:1305.6640v1 [cs.SE])
By Sven Apel,Dirk Beyer,Karlheinz Friedberger,Franco Raimondi,Alexander von Rhein
0
· from
ArXiv:cs.PL
· published 05/2013
1
Type-based Dependency Analysis for JavaScript. (arXiv:1305.6721v1 [cs.PL])
By Matthias Keil,Peter Thiemann
0
· from
ArXiv:cs.PL
· published 05/2013
1
On the Concept of Variable Roles and its Use in Software Analysis. (arXiv:1305.6745v1 [cs.PL])
By Yulia Demyanova,Helmut Veith,Florian Zuleger
0
· from
ArXiv:cs.PL
· published 05/2013
1
Reusing Precisions for Efficient Regression Verification. (arXiv:1305.6915v1 [cs.SE])
By Dirk Beyer,Stefan Löwe,Evgeny Novikov,Andreas Stahlbauer,Philipp Wendler
0
· from
ArXiv:cs.PL
· published 05/2013
1
MirrorShard: Proof by Computational Reflection with Verified Hints. (arXiv:1305.6543v1 [cs.PL])
By Gregory Malecha,Adam Chlipala,Thomas Braibant,Patrick Hulin,Edward Z. Yang
0
· from
ArXiv:cs.PL
· published 05/2013
1
Type Directed Partial Evaluation for Level-1 Shift and Reset. (arXiv:1210.2094v3 [cs.PL] UPDATED)
By Danko Ilik
0
· from
ArXiv:cs.PL
· published 05/2013
1
Bounded Inputs for Logic Programming. (arXiv:1305.6108v1 [cs.PL])
By Keehang Kwon
0
· from
ArXiv:cs.PL
· published 05/2013
1
Expressibility in the Lambda Calculus with mu. (arXiv:1304.6284v3 [cs.PL] UPDATED)
By Clemens Grabmayer,Jan Rochel
0
· from
ArXiv:cs.PL
· published 05/2013
1
Honesty by Typing. (arXiv:1211.2609v2 [cs.PL] UPDATED)
By Massimo Bartoletti,Alceste Scalas,Emilio Tuosto,Roberto Zunino
0
· from
ArXiv:cs.PL
· published 05/2013
1
Concrete Semantics for Pushdown Analysis: The Essence of Summarization. (arXiv:1305.3163v2 [cs.PL] UPDATED)
By J. Ian Johnson,David Van Horn
0
· from
ArXiv:cs.PL
· published 05/2013
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
more ->