Algol-like Languages
Latest Publications

TOTAL DOCUMENTS

11
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Birkhäuser Boston

9781475738537, 9781475738513
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Syntactic Control of Interference Revisited

1997 ◽  
pp. 189-225 ◽  
Author(s):  
Peter W. O’Hearn ◽  
A. John Power ◽  
Makoto Takeyama ◽  
Robert D. Tennent

Semantical Analysis of Specification Logic, 2

1997 ◽  
pp. 65-93 ◽  
Author(s):  
Peter W. O’Hearn ◽  
Robert D. Tennent
Keyword(s):  
Semantical Analysis ◽  
Specification Logic

scholarly journals Parametricity and Local Variables

1997 ◽  
pp. 109-163
Author(s):  
Peter W. O’Hearn ◽  
Robert D. Tennent
Load More ...
Sign in / Sign up

Export Citation Format

Share Document