science.io - ArXiv: Programming Languages

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?