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

TOTAL DOCUMENTS

35
(FIVE YEARS 0)

H-INDEX

15
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540713142, 9783540713166
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Abstract Predicates and Mutable ADTs in Hoare Type Theory

2007 ◽  
pp. 189-204 ◽  
Author(s):  
Aleksandar Nanevski ◽  
Amal Ahmed ◽  
Greg Morrisett ◽  
Lars Birkedal
Keyword(s):  
Type Theory

scholarly journals A Calculus for Orchestration of Web Services

2007 ◽  
pp. 33-47 ◽  
Author(s):  
Alessandro Lapadula ◽  
Rosario Pugliese ◽  
Francesco Tiezzi
Keyword(s):  
Web Services

scholarly journals Anti-pattern Matching

2007 ◽  
pp. 110-124 ◽  
Author(s):  
Claude Kirchner ◽  
Radu Kopetz ◽  
Pierre-Etienne Moreau
Keyword(s):  
Pattern Matching
Load More ...
Sign in / Sign up

Export Citation Format

Share Document