AAAAAA

   
Results: 1-7 |
Results: 7
MULTIPLE DISPATCH AS DISPATCH ON TUPLES
Authors: LEAVENS GT MILLSTEIN TD
Citation: Gt. Leavens et Td. Millstein, MULTIPLE DISPATCH AS DISPATCH ON TUPLES, ACM SIGPLAN NOTICES, 33(10), 1998, pp. 374-387
THE BEHAVIOR-REALIZATION ADJUNCTION AND GENERALIZED HOMOMORPHIC RELATIONS
Authors: LEAVENS GT PIGOZZI D
Citation: Gt. Leavens et D. Pigozzi, THE BEHAVIOR-REALIZATION ADJUNCTION AND GENERALIZED HOMOMORPHIC RELATIONS, Theoretical computer science, 177(1), 1997, pp. 183-216
POLYMORPHIC TYPE-CHECKING IN SCHEME
Authors: JENKINS SL LEAVENS GT
Citation: Sl. Jenkins et Gt. Leavens, POLYMORPHIC TYPE-CHECKING IN SCHEME, Computer languages, 22(4), 1996, pp. 215-223
FOUNDATIONS OF OBJECT-ORIENTED LANGUAGES - 2ND WORKSHOP REPORT
Authors: CASTAGNA G LEAVENS GT
Citation: G. Castagna et Gt. Leavens, FOUNDATIONS OF OBJECT-ORIENTED LANGUAGES - 2ND WORKSHOP REPORT, ACM SIGPLAN NOTICES, 30(2), 1995, pp. 5-11
TYPECHECKING AND MODULES FOR MULTIMETHODS
Authors: CHAMBERS C LEAVENS GT
Citation: C. Chambers et Gt. Leavens, TYPECHECKING AND MODULES FOR MULTIMETHODS, ACM transactions on programming languages and systems, 17(6), 1995, pp. 805-843
SPECIFICATION AND VERIFICATION OF OBJECT-ORIENTED PROGRAMS USING SUPERTYPE ABSTRACTION
Authors: LEAVENS GT WEIHL WE
Citation: Gt. Leavens et We. Weihl, SPECIFICATION AND VERIFICATION OF OBJECT-ORIENTED PROGRAMS USING SUPERTYPE ABSTRACTION, Acta informatica, 32(8), 1995, pp. 705-778
TYPECHECKING AND MODULES FOR MULTIMETHODS
Authors: CHAMBERS C LEAVENS GT
Citation: C. Chambers et Gt. Leavens, TYPECHECKING AND MODULES FOR MULTIMETHODS, ACM SIGPLAN NOTICES, 29(10), 1994, pp. 1-15
Risultati: 1-7 |