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

TOTAL DOCUMENTS

36
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer International Publishing

9783319898834, 9783319898841
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Session-Typed Concurrent Contracts

2018 ◽  
pp. 771-798 ◽  
Author(s):  
Hannah Gommerstadt ◽  
Limin Jia ◽  
Frank Pfenning

scholarly journals Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus

2018 ◽  
pp. 214-241 ◽  
Author(s):  
Alejandro Aguirre ◽  
Gilles Barthe ◽  
Lars Birkedal ◽  
Aleš Bizjak ◽  
Marco Gaboardi ◽  
...  
Keyword(s):  
Markov Chains ◽  
Lambda Calculus ◽  
Relational Reasoning

scholarly journals Modular Product Programs

2018 ◽  
pp. 502-529 ◽  
Author(s):  
Marco Eilers ◽  
Peter Müller ◽  
Samuel Hitz
Keyword(s):  
Modular Product

scholarly journals Explicit Effect Subtyping

2018 ◽  
pp. 327-354 ◽  
Author(s):  
Amr Hany Saleh ◽  
Georgios Karachalias ◽  
Matija Pretnar ◽  
Tom Schrijvers

scholarly journals Fragment Abstraction for Concurrent Shape Analysis

2018 ◽  
pp. 442-471 ◽  
Author(s):  
Parosh Aziz Abdulla ◽  
Bengt Jonsson ◽  
Cong Quy Trinh
Keyword(s):  
Shape Analysis

scholarly journals Reasoning About a Machine with Local Capabilities

2018 ◽  
pp. 475-501 ◽  
Author(s):  
Lau Skorstengaard ◽  
Dominique Devriese ◽  
Lars Birkedal
Load More ...
Sign in / Sign up

Export Citation Format

Share Document