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

TOTAL DOCUMENTS

30
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642171635, 9783642171642
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Data Structure Fusion

2010 ◽  
pp. 204-221 ◽  
Author(s):  
Peter Hawkins ◽  
Alex Aiken ◽  
Kathleen Fisher ◽  
Martin Rinard ◽  
Mooly Sagiv
Keyword(s):  
Data Structure

An Interactive Tool for Analyzing Embedded SQL Queries

2010 ◽  
pp. 131-138 ◽  
Author(s):  
Aivar Annamaa ◽  
Andrey Breslav ◽  
Jevgeni Kabanov ◽  
Varmo Vene
Keyword(s):  
Interactive Tool

scholarly journals Liberal Typing for Functional Logic Programs

2010 ◽  
pp. 80-96 ◽  
Author(s):  
Francisco López-Fraguas ◽  
Enrique Martin-Martin ◽  
Juan Rodríguez-Hortalá
Keyword(s):  
Logic Programs ◽  
Functional Logic

Typechecking Higher-Order Security Libraries

2010 ◽  
pp. 47-62 ◽  
Author(s):  
Karthik Bhargavan ◽  
Cédric Fournet ◽  
Nataliya Guts
Keyword(s):  
Higher Order
Load More ...
Sign in / Sign up

Export Citation Format

Share Document