science.io

Sort: New & recommended · Newly published · Newly added · Top Recommended

1

OESPA:A Theory of Programming that Support Software Engineering. (arXiv:1304.0538v1 [cs.PL])
By Sen Ma
0 · from ArXiv:cs.PL · published 04/2013
1

GNU epsilon - an extensible programming language. (arXiv:1212.5210v5 [cs.PL] UPDATED)
By Luca Saiu
0 · from ArXiv:cs.PL · published 04/2013
1

Correctly Optimizing Abstract Abstract Machines. (arXiv:1211.3722v2 [cs.PL] UPDATED)
By J. Ian Johnson,Nicholas Labich,Matthew Might,David Van Horn
0 · from ArXiv:cs.PL · published 04/2013
1

Proof nets and the call-by-value lambda-calculus. (arXiv:1303.7326v1 [cs.LO])
By Beniamino Accattoli
0 · from ArXiv:cs.PL · published 03/2013
1

A weak HOAS approach to the POPLmark Challenge. (arXiv:1303.7332v1 [cs.LO])
By Alberto Ciaffaglione,,,Ivan Scagnetto,,
0 · from ArXiv:cs.PL · published 03/2013
1

Proceedings Seventh Workshop on Logical and Semantic Frameworks, with Applications. (arXiv:1303.7136v1 [cs.LO])
By Delia Kesner,Petrucio Viana
0 · from ArXiv:cs.PL · published 03/2013
1

Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types. (arXiv:1302.5765v2 [cs.LO] UPDATED)
By Daisuke Kimura,Makoto Tatsuta
0 · from ArXiv:cs.PL · published 03/2013
1

A Graphical Language for Real-Time Critical Robot Commands. (arXiv:1303.6777v1 [cs.RO])
By Andreas Angerer,Remi Smirra,Alwin Hoffmann,Andreas Schierl,Michael Vistein,Wolfgang Reif
0 · from ArXiv:cs.PL · published 03/2013
1

Live music programming in Haskell. (arXiv:1303.5768v1 [cs.PL])
By Henning Thielemann
0 · from ArXiv:cs.PL · published 03/2013
1

Automatic Verification of Erlang-Style Concurrency. (arXiv:1303.2201v1 [cs.PL])
By Emanuele D'Osualdo,Jonathan Kochems,C.-H. Luke Ong
0 · from ArXiv:cs.PL · published 03/2013
1

Formalizing common sense for scalable inconsistency-robust information integration using Direct Logic(TM) reasoning and the Actor Model. (arXiv:0812.4852v87 [cs.LO] UPDATED)
By Carl Hewitt
0 · from ArXiv:cs.PL · published 03/2013
1

GNU epsilon - an extensible programming language. (arXiv:1212.5210v4 [cs.PL] UPDATED)
By Luca Saiu
0 · from ArXiv:cs.PL · published 03/2013
1

A Simple Algorithm for Global Value Numbering. (arXiv:1303.1880v1 [cs.PL])
By Saleena Nabeezath,Vineeth Paleri
0 · from ArXiv:cs.PL · published 03/2013
1

A Note on "A polynomial-time algorithm for global value numbering". (arXiv:1302.6325v3 [cs.PL] CROSS LISTED)
By Saleena Nabeezath,Vineeth Paleri
0 · from ArXiv:cs.PL · published 03/2013
1

KRAB Algorithm - A Revised Algorithm for Incremental Call Graph Generation. (arXiv:1303.0908v1 [cs.PL])
By Rajasekhara Babu,Krishnakumar V.,George Abraham,Kiransinh Borasia
0 · from ArXiv:cs.PL · published 03/2013
1

Object-oriented programming: some history, and challenges for the next fifty years. (arXiv:1303.0427v1 [cs.PL])
By Andrew P. Black
0 · from ArXiv:cs.PL · published 03/2013
1

EasyTime++: A case study of incremental domain-specific language development. (arXiv:1303.0722v1 [cs.PL])
By Iztok Fister Jr.,Tomaž Kosar,Iztok Fister,Marjan Mernik
0 · from ArXiv:cs.PL · published 03/2013
1

A Computational Model for the Direct Execution of General Specifications with Multi-way Constraints. (arXiv:1105.0322v4 [cs.PL] UPDATED)
By Toshio Fukui
0 · from ArXiv:cs.PL · published 03/2013
1

A Note on "A polynomial-time algorithm for global value numbering". (arXiv:1302.6325v2 [cs.PL] UPDATED)
By Saleena N,Vineeth Paleri
0 · from ArXiv:cs.PL · published 02/2013
1

A Note on "A polynomial-time algorithm for global value numbering". (arXiv:1302.6325v1 [cs.PL])
By Saleena N,Vineeth Paleri
0 · from ArXiv:cs.PL · published 02/2013
1

Variant-Frequency Semantics for Green Futures. (arXiv:1302.6328v1 [cs.PL])
By Yu David Liu
0 · from ArXiv:cs.PL · published 02/2013
1

Typing Context-Dependent Behavioural Variation. (arXiv:1302.6332v1 [cs.PL])
By Pierpaolo Degano,Gian-Luigi Ferrari,Letterio Galletta,Gianluca Mezzetti
0 · from ArXiv:cs.PL · published 02/2013
1

Modularizing and Specifying Protocols among Threads. (arXiv:1302.6333v1 [cs.PL])
By Sung-Shik T.Q. Jongmans,Farhad Arbab
0 · from ArXiv:cs.PL · published 02/2013
1

Convergence in Infinitary Term Graph Rewriting Systems is Simple (Extended Abstract). (arXiv:1302.6335v1 [cs.LO])
By Patrick Bahr,
0 · from ArXiv:cs.PL · published 02/2013
1

Evaluating functions as processes. (arXiv:1302.6337v1 [cs.PL])
By Beniamino Accattoli
0 · from ArXiv:cs.PL · published 02/2013
1

Term Graph Representations for Cyclic Lambda-Terms. (arXiv:1302.6338v1 [cs.LO])
By Clemens Grabmayer,,,Jan Rochel,,
0 · from ArXiv:cs.PL · published 02/2013
1

Bigraphical Nets. (arXiv:1302.6339v1 [cs.LO])
By Maribel Fernández,Ian Mackie,Matthew Walker
0 · from ArXiv:cs.PL · published 02/2013
1

A Rewriting View of Simple Typing. (arXiv:1211.0865v2 [cs.PL] UPDATED)
By Aaron Stump,Garrin Kimmell,Hans Zantema,Ruba El Haj Omar
0 · from ArXiv:cs.PL · published 02/2013
1

Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types. (arXiv:1302.5765v1 [cs.LO])
By Daisuke Kimura,Makoto Tatsuta
0 · from ArXiv:cs.PL · published 02/2013
1

Matrix Code. (arXiv:1109.5416v6 [cs.PL] UPDATED)
By M. H. van Emden
0 · from ArXiv:cs.PL · published 02/2013

more ->