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

TOTAL DOCUMENTS

29
(FIVE YEARS 0)

H-INDEX

14
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642288685, 9783642288692
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Linear Logical Relations for Session-Based Concurrency

2012 ◽  
pp. 539-558 ◽  
Author(s):  
Jorge A. Pérez ◽  
Luís Caires ◽  
Frank Pfenning ◽  
Bernardo Toninho

scholarly journals Trace Spaces: An Efficient New Technique for State-Space Reduction

2012 ◽  
pp. 274-294 ◽  
Author(s):  
Lisbeth Fajstrup ◽  
Éric Goubault ◽  
Emmanuel Haucourt ◽  
Samuel Mimram ◽  
Martin Raussen
Keyword(s):  
State Space ◽  
New Technique ◽  
Space Reduction ◽  
Trace Spaces ◽  
State Space Reduction

scholarly journals Complete Monitors for Behavioral Contracts

2012 ◽  
pp. 214-233 ◽  
Author(s):  
Christos Dimoulas ◽  
Sam Tobin-Hochstadt ◽  
Matthias Felleisen
Keyword(s):  
Behavioral Contracts

scholarly journals Validating LR(1) Parsers

2012 ◽  
pp. 397-416 ◽  
Author(s):  
Jacques-Henri Jourdan ◽  
François Pottier ◽  
Xavier Leroy

scholarly journals GMeta: A Generic Formal Metatheory Framework for First-Order Representations

2012 ◽  
pp. 436-455 ◽  
Author(s):  
Gyesik Lee ◽  
Bruno C. D. S. Oliveira ◽  
Sungkeun Cho ◽  
Kwangkeun Yi
Keyword(s):  
First Order
Load More ...
Sign in / Sign up

Export Citation Format

Share Document