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

TOTAL DOCUMENTS

33
(FIVE YEARS 0)

H-INDEX

12
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662466681, 9783662466698
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages

2015 ◽  
pp. 787-811 ◽  
Author(s):  
Pedro Vasconcelos ◽  
Steffen Jost ◽  
Mário Florido ◽  
Kevin Hammond
Keyword(s):  
Functional Languages

scholarly journals Fine-Grained Detection of Privilege Escalation Attacks on Browser Extensions

2015 ◽  
pp. 510-534 ◽  
Author(s):  
Stefano Calzavara ◽  
Michele Bugliesi ◽  
Silvia Crafa ◽  
Enrico Steffinlongo
Keyword(s):  
Fine Grained ◽  
Browser Extensions

scholarly journals Inter-procedural Two-Variable Herbrand Equalities

2015 ◽  
pp. 457-482
Author(s):  
Stefan Schulze Frielinghaus ◽  
Michael Petter ◽  
Helmut Seidl

scholarly journals Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System

2015 ◽  
pp. 383-405 ◽  
Author(s):  
Burke Fetscher ◽  
Koen Claessen ◽  
Michał Pałka ◽  
John Hughes ◽  
Robert Bruce Findler
Keyword(s):  
Type System ◽  
Definition Of

Analysis of Asynchronous Programs with Event-Based Synchronization

2015 ◽  
pp. 535-559 ◽  
Author(s):  
Michael Emmi ◽  
Pierre Ganty ◽  
Rupak Majumdar ◽  
Fernando Rosa-Velardo
Keyword(s):  
Event Based

scholarly journals Witnessing (Co)datatypes

2015 ◽  
pp. 359-382 ◽  
Author(s):  
Jasmin Christian Blanchette ◽  
Andrei Popescu ◽  
Dmitriy Traytel
Load More ...
Sign in / Sign up

Export Citation Format

Share Document