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

TOTAL DOCUMENTS

19
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540656999, 9783540490999
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Expressing Structural Properties as Language Constructs?

1999 ◽  
pp. 258-272 ◽  
Author(s):  
Shriram Krishnamurthi ◽  
Yan-David Erlich ◽  
Matthias Felleisen
Keyword(s):  
Structural Properties ◽  
Language Constructs

scholarly journals A Programming Logic for Sequential Java

1999 ◽  
pp. 162-176 ◽  
Author(s):  
Arnd Poetzsch-Heffter ◽  
Peter Müller
Keyword(s):  
Programming Logic

scholarly journals A Decidable Logic for Describing Linked Data Structures

1999 ◽  
pp. 2-19 ◽  
Author(s):  
Michael Benedikt ◽  
Thomas Reps ◽  
Mooly Sagiv
Keyword(s):  
Data Structures ◽  
Linked Data

scholarly journals Types for Safe Locking

1999 ◽  
pp. 91-108 ◽  
Author(s):  
Cormac Flanagan ◽  
Martín Abadi
Load More ...
Sign in / Sign up

Export Citation Format

Share Document