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

TOTAL DOCUMENTS

27
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642253171, 9783642253188
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Program Analysis and Machine Learning: A Win-Win Deal

2011 ◽  
pp. 1-2
Author(s):  
Aditya V. Nori ◽  
Sriram K. Rajamani
Keyword(s):  
Machine Learning ◽  
Program Analysis

scholarly journals Template-Based Unbounded Time Verification of Affine Hybrid Automata

2011 ◽  
pp. 34-49 ◽  
Author(s):  
Thao Dang ◽  
Thomas Martin Gawlitza
Keyword(s):  
Hybrid Automata

A Proof Pearl with the Fan Theorem and Bar Induction

2011 ◽  
pp. 353-368 ◽  
Author(s):  
Keiko Nakata ◽  
Tarmo Uustalu ◽  
Marc Bezem
Keyword(s):  
Fan Theorem

Cost Analysis of Concurrent OO Programs

2011 ◽  
pp. 238-254 ◽  
Author(s):  
Elvira Albert ◽  
Puri Arenas ◽  
Samir Genaim ◽  
Miguel Gómez-Zamalloa ◽  
German Puebla
Keyword(s):  
Cost Analysis

Decentralized Delimited Release

2011 ◽  
pp. 220-237 ◽  
Author(s):  
Jonas Magazinius ◽  
Aslan Askarov ◽  
Andrei Sabelfeld

Solving Recursion-Free Horn Clauses over LI+UIF

2011 ◽  
pp. 188-203 ◽  
Author(s):  
Ashutosh Gupta ◽  
Corneliu Popeea ◽  
Andrey Rybalchenko
Keyword(s):  
Horn Clauses

SPAS: Scalable Path-Sensitive Pointer Analysis on Full-Sparse SSA

2011 ◽  
pp. 155-171 ◽  
Author(s):  
Yulei Sui ◽  
Sen Ye ◽  
Jingling Xue ◽  
Pen-Chung Yew
Keyword(s):  
Pointer Analysis

scholarly journals A Semantics for Context-Sensitive Reduction Semantics

2011 ◽  
pp. 369-383
Author(s):  
Casey Klein ◽  
Jay McCarthy ◽  
Steven Jaconette ◽  
Robert Bruce Findler
Keyword(s):  
Context Sensitive
Load More ...
Sign in / Sign up

Export Citation Format

Share Document