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 Constraining Delimited Control with Contracts

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

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 Abstract Refinement Types

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

scholarly journals Slicing-Based Trace Analysis of Rewriting Logic Specifications with i Julienne

2013 ◽  
pp. 121-124 ◽  
Author(s):  
María Alpuente ◽  
Demis Ballis ◽  
Francisco Frechina ◽  
Julia Sapiña
Keyword(s):  
Trace Analysis ◽  
Rewriting Logic
Load More ...
Sign in / Sign up

Export Citation Format

Share Document