Programming Languages and Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

32
(FIVE YEARS 0)

H-INDEX

15
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642370359, 9783642370366
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels

2013 ◽  
pp. 270-289 ◽  
Author(s):  
Peter Collingbourne ◽  
Alastair F. Donaldson ◽  
Jeroen Ketema ◽  
Shaz Qadeer

scholarly journals Pretty-Big-Step Semantics

2013 ◽  
pp. 41-60 ◽  
Author(s):  
Arthur Charguéraud

scholarly journals Constraining Delimited Control with Contracts

2013 ◽  
pp. 229-248 ◽  
Author(s):  
Asumu Takikawa ◽  
T. Stephen Strickland ◽  
Sam Tobin-Hochstadt

scholarly journals GADTs Meet Subtyping

2013 ◽  
pp. 554-573 ◽  
Author(s):  
Gabriel Scherer ◽  
Didier Rémy

scholarly journals Laziness by Need

2013 ◽  
pp. 81-100 ◽  
Author(s):  
Stephen Chang

scholarly journals Structural Lock Correlation with Ownership Types

2013 ◽  
pp. 391-410 ◽  
Author(s):  
Yi Lu ◽  
John Potter ◽  
Jingling Xue
Keyword(s):  
Ownership Types

scholarly journals Abstract Refinement Types

2013 ◽  
pp. 209-228 ◽  
Author(s):  
Niki Vazou ◽  
Patrick M. Rondon ◽  
Ranjit Jhala
Keyword(s):  
Refinement Types

Quarantining Weakness

2013 ◽  
pp. 492-511 ◽  
Author(s):  
Radha Jagadeesan ◽  
Gustavo Petri ◽  
Corin Pitcher ◽  
James Riely

scholarly journals FliPpr: A Prettier Invertible Printing System

2013 ◽  
pp. 101-120 ◽  
Author(s):  
Kazutaka Matsuda ◽  
Meng Wang
Keyword(s):  
Printing System

scholarly journals Why3 — Where Programs Meet Provers

2013 ◽  
pp. 125-128 ◽  
Author(s):  
Jean-Christophe Filliâtre ◽  
Andrei Paskevich
Load More ...
Sign in / Sign up

Export Citation Format

Share Document