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

TOTAL DOCUMENTS

28
(FIVE YEARS 28)

H-INDEX

4
(FIVE YEARS 4)

Published By Springer International Publishing

9783030171834, 9783030171841
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals A Process Algebra for Link Layer Protocols

2019 ◽  
pp. 668-693
Author(s):  
Rob van Glabbeek ◽  
Peter Höfner ◽  
Michael Markl
Keyword(s):  
Process Algebra ◽  
Link Layer

scholarly journals One Step at a Time

2019 ◽  
pp. 205-231
Author(s):  
Ferdinand Vesely ◽  
Kathleen Fisher
Keyword(s):  
One Step

scholarly journals Fixing Incremental Computation

2019 ◽  
pp. 525-552 ◽  
Author(s):  
Mario Alvarez-Picallo ◽  
Alex Eyers-Taylor ◽  
Michael Peyton Jones ◽  
C.-H. Luke Ong
Keyword(s):  
Incremental Computation

scholarly journals Compiling Sandboxes: Formally Verified Software Fault Isolation

2019 ◽  
pp. 499-524 ◽  
Author(s):  
Frédéric Besson ◽  
Sandrine Blazy ◽  
Alexandre Dang ◽  
Thomas Jensen ◽  
Pierre Wilke
Keyword(s):  
Fault Isolation ◽  
Software Fault Isolation ◽  
Software Fault ◽  
Verified Software

scholarly journals Codata in Action

2019 ◽  
pp. 119-146 ◽  
Author(s):  
Paul Downen ◽  
Zachary Sullivan ◽  
Zena M. Ariola ◽  
Simon Peyton Jones

scholarly journals Types by Need

2019 ◽  
pp. 410-439 ◽  
Author(s):  
Beniamino Accattoli ◽  
Giulio Guerrieri ◽  
Maico Leberle
Load More ...
Sign in / Sign up

Export Citation Format

Share Document