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

TOTAL DOCUMENTS

25
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer International Publishing

9783319127354, 9783319127361
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Inferring Grammatical Summaries of String Values

2014 ◽  
pp. 372-391 ◽  
Author(s):  
Se-Won Kim ◽  
Wooyoung Chin ◽  
Jimin Park ◽  
Jeongmin Kim ◽  
Sukyoung Ryu

scholarly journals Compositional Entailment Checking for a Fragment of Separation Logic

2014 ◽  
pp. 314-333 ◽  
Author(s):  
Constantin Enea ◽  
Ondřej Lengál ◽  
Mihaela Sighireanu ◽  
Tomáš Vojnar
Keyword(s):  
Separation Logic

scholarly journals Logic Programming and Logarithmic Space

2014 ◽  
pp. 39-57 ◽  
Author(s):  
Clément Aubert ◽  
Marc Bagnol ◽  
Paolo Pistone ◽  
Thomas Seiller
Keyword(s):  
Logic Programming ◽  
Logarithmic Space

The Essence of Ruby

2014 ◽  
pp. 78-98
Author(s):  
Katsuhiro Ueno ◽  
Yutaka Fukasawa ◽  
Akimasa Morihata ◽  
Atsushi Ohori
Load More ...
Sign in / Sign up

Export Citation Format

Share Document