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

TOTAL DOCUMENTS

19
(FIVE YEARS 19)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer International Publishing

9783030644369, 9783030644376
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Parameterized Synthesis with Safety Properties

2020 ◽  
pp. 273-292
Author(s):  
Oliver Markgraf ◽  
Chih-Duo Hong ◽  
Anthony W. Lin ◽  
Muhammad Najib ◽  
Daniel Neider
Keyword(s):  
Safety Properties

Banyan: Coordination-Free Distributed Transactions over Mergeable Types

2020 ◽  
pp. 231-250
Author(s):  
Shashank Shekhar Dubey ◽  
K. C. Sivaramakrishnan ◽  
Thomas Gazagnaire ◽  
Anil Madhavapeddy
Keyword(s):  
Distributed Transactions

A Set-Based Context Model for Program Analysis

2020 ◽  
pp. 3-24
Author(s):  
Leandro Fachinetti ◽  
Zachary Palmer ◽  
Scott F. Smith ◽  
Ke Wu ◽  
Ayaka Yorihiro
Keyword(s):  
Program Analysis ◽  
Context Model

scholarly journals Certified Semantics for Relational Programming

2020 ◽  
pp. 167-185
Author(s):  
Dmitry Rozplokhas ◽  
Andrey Vyatkin ◽  
Dmitry Boulytchev

scholarly journals Declarative Stream Runtime Verification (hLola)

2020 ◽  
pp. 25-43
Author(s):  
Martín Ceresa ◽  
Felipe Gorostiaga ◽  
César Sánchez
Keyword(s):  
Runtime Verification

Syntactically Restricting Bounded Polymorphism for Decidable Subtyping

2020 ◽  
pp. 125-144
Author(s):  
Julian Mackay ◽  
Alex Potanin ◽  
Jonathan Aldrich ◽  
Lindsay Groves
Load More ...
Sign in / Sign up

Export Citation Format

Share Document