Fragment calculus - towards a model of separate compilation, linking and binary compatibility

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1999, Pages 147-156

  Drossopoulou, Sophia ^a   Eisenbach, Susan ^a   Wragg, David ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); COMPUTER SOFTWARE REUSABILITY; JAVA PROGRAMMING LANGUAGE; LINGUISTICS; SET THEORY;

BINARY COMPATIBILITY; COMPILATION; FRAGMENT CALCULUS; LINKING;

FORMAL LOGIC;

EID: 0032597529     PISSN: None     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (23)