Program composition via unification

Author(s):  
Limor Fix ◽  
Nissim Francez ◽  
Orna Grumberg
Keyword(s):  
1990 ◽  
pp. 94-101 ◽  
Author(s):  
K. Mani Chandy ◽  
Stephen Taylor
Keyword(s):  

Author(s):  
A. Brogi ◽  
A. Chiarelli ◽  
P. Mancarella ◽  
V. Mazzotta ◽  
D. Pedreschi ◽  
...  

Author(s):  
Matthew S. Shields ◽  
Omer F. Rana ◽  
David W. Walker ◽  
Maozhen Li ◽  
David Golby
Keyword(s):  

1998 ◽  
Vol 16 (1) ◽  
pp. 75-95 ◽  
Author(s):  
Robert Glück ◽  
Andrei Klimov
Keyword(s):  

1994 ◽  
Author(s):  
K. M. Chandy
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document