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

TOTAL DOCUMENTS

26
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer International Publishing

9783319265285, 9783319265292
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Quadratic Zonotopes

2015 ◽  
pp. 127-145 ◽  
Author(s):  
Assalé Adjé ◽  
Pierre-Loïc Garoche ◽  
Alexis Werey

Transactions on Mergeable Objects

2015 ◽  
pp. 427-444 ◽  
Author(s):  
Deepthi Devaki Akkoorath ◽  
Annette Bieniusa

Quasi-Linearizability is Undecidable

2015 ◽  
pp. 369-386 ◽  
Author(s):  
Chao Wang ◽  
Yi Lv ◽  
Gaoang Liu ◽  
Peng Wu

Decision Algorithms for Checking Definability of Order-2 Finitary PCF

2015 ◽  
pp. 313-331
Author(s):  
Sadaaki Kawata ◽  
Kazuyuki Asada ◽  
Naoki Kobayashi
Keyword(s):  
Decision Algorithms

Aliasing Control in an Imperative Pure Calculus

2015 ◽  
pp. 208-228 ◽  
Author(s):  
Marco Servetto ◽  
Elena Zucca

scholarly journals A Strong Distillery

2015 ◽  
pp. 231-250 ◽  
Author(s):  
Beniamino Accattoli ◽  
Pablo Barenbaum ◽  
Damiano Mazza

scholarly journals More Sound Static Handling of Java Reflection

2015 ◽  
pp. 485-503 ◽  
Author(s):  
Yannis Smaragdakis ◽  
George Balatsouras ◽  
George Kastrinis ◽  
Martin Bravenboer

Kripke Open Bisimulation

2015 ◽  
pp. 271-291 ◽  
Author(s):  
Guilhem Jaber ◽  
Nicolas Tabareau
Load More ...
Sign in / Sign up

Export Citation Format

Share Document