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

TOTAL DOCUMENTS

29
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540787389, 9783540787396
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Inferring Channel Buffer Bounds Via Linear Programming

2008 ◽  
pp. 284-298 ◽  
Author(s):  
Tachio Terauchi ◽  
Adam Megacz
Keyword(s):  
Linear Programming

scholarly journals A Realizability Model for Impredicative Hoare Type Theory

2008 ◽  
pp. 337-352 ◽  
Author(s):  
Rasmus Lerchedahl Petersen ◽  
Lars Birkedal ◽  
Aleksandar Nanevski ◽  
Greg Morrisett
Keyword(s):  
Type Theory

scholarly journals Upper Adjoints for Fast Inter-procedural Variable Equalities

2008 ◽  
pp. 178-192 ◽  
Author(s):  
Markus Müller-Olm ◽  
Helmut Seidl

scholarly journals Certificate Translation in Abstract Interpretation

2008 ◽  
pp. 368-382 ◽  
Author(s):  
Gilles Barthe ◽  
César Kunz
Keyword(s):  
Abstract Interpretation

scholarly journals Linear Declassification

2008 ◽  
pp. 224-238 ◽  
Author(s):  
Yûta Kaneko ◽  
Naoki Kobayashi

scholarly journals Cover Algorithms and Their Combination

2008 ◽  
pp. 193-207 ◽  
Author(s):  
Sumit Gulwani ◽  
Madan Musuvathi

scholarly journals A Formal Implementation of Value Commitment

2008 ◽  
pp. 383-397 ◽  
Author(s):  
Cédric Fournet ◽  
Nataliya Guts ◽  
Francesco Zappa Nardelli

scholarly journals A Hybrid Denotational Semantics for Hybrid Systems

2008 ◽  
pp. 63-77 ◽  
Author(s):  
Olivier Bouissou ◽  
Matthieu Martel
Keyword(s):  
Hybrid Systems ◽  
Denotational Semantics

scholarly journals Ranking Abstractions

2008 ◽  
pp. 148-162 ◽  
Author(s):  
Aziem Chawdhary ◽  
Byron Cook ◽  
Sumit Gulwani ◽  
Mooly Sagiv ◽  
Hongseok Yang
Load More ...
Sign in / Sign up

Export Citation Format

Share Document