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

TOTAL DOCUMENTS

19
(FIVE YEARS 0)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer International Publishing

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

A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving

2020 ◽  
pp. 343-363
Author(s):  
Yu-Fang Chen ◽  
Vojtěch Havlena ◽  
Ondřej Lengál ◽  
Andrea Turrini
Keyword(s):  
Constraint Solving ◽  
Symbolic Algorithm

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

A New Refinement Type System for Automated $$\nu \text {HFL}_\mathbb {Z}$$ Validity Checking

2020 ◽  
pp. 86-104
Author(s):  
Hiroyuki Katsura ◽  
Naoki Iwayama ◽  
Naoki Kobayashi ◽  
Takeshi Tsukada
Keyword(s):  
Type System

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 Stack-Driven Program Generation of WebAssembly

2020 ◽  
pp. 209-230
Author(s):  
Árpád Perényi ◽  
Jan Midtgaard
Keyword(s):  
Program Generation

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

scholarly journals An Abstract Machine for Strong Call by Value

2020 ◽  
pp. 147-166
Author(s):  
Małgorzata Biernacka ◽  
Dariusz Biernacki ◽  
Witold Charatonik ◽  
Tomasz Drab
Keyword(s):  
Abstract Machine
Load More ...
Sign in / Sign up

Export Citation Format

Share Document