Functions, records and compatibility in the &lgr;N calculus

Authors:
Laurent Dami
Affiliations:
-
Venue:
Object-oriented software composition
Year:
1995

Citing 0
Cited 1

Mechanization of invasive software composition in F-logic

CEA'07 Proceedings of the 2007 annual Conference on International Conference on Computer Engineering and Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract