Execution of external applications using TTCN-3VASSILIOU-GIOLES, Theofanis; DIN, George; SCHIEFERDECKER, Ina et al.Lecture notes in computer science. 2004, pp 209-223, issn 0302-9743, isbn 3-540-21219-1, 15 p.Conference Paper

User-defined types in a polymorphic languageHARLAND, D. M.Computer journal (Print). 1984, Vol 27, Num 1, pp 47-56, issn 0010-4620Article

Precise typing and filtersMARTIN, J. J.Information processing letters. 1983, Vol 17, Num 3, pp 109-112, issn 0020-0190Article

Simulationstechnische Ermittlung des bei der Kopplung von U-880-Mikrorechnern über zeitgeteilt benutztes Bussystem erreichbaren Befehlsdurchsatzes = La détermination par simulation du débit de commandes réalisables à l'aide d'un système temporel de bus, dans un groupement de microordinateurs U880 = Simulation engineering determination of the instruction throughout attainable in the coupling of U880 microcomputers via a bus system used in time divisionWINTER, W.Nachrichtentechnik. Elektronik. 1985, Num 9, pp 331-335, issn 0323-4657Article

Distributing and revoking access authorizations on abstract objects: a capability approachCORSINI, P; FROSINI, G; LOPRIORE, L et al.Software, practice & experience. 1984, Vol 14, Num 10, pp 931-943, issn 0038-0644Article

Behavioural categoricity of abstract data type specificationsLESCANNE, P.Computer journal (Print). 1983, Vol 26, Num 4, pp 289-292, issn 0010-4620Article

Message oriented programming ― A resource based methodologyCUNHA, P. R. F; LUCENA, C. J; MAIBAUM, T. S. E et al.Computer languages. 1983, Vol 8, Num 3-4, pp 95-111, issn 0096-0551Article

Polymorphic programming. I: Another language designed on semantic principlesHARLAND, D. M; GUNN, H. I. E.Software, practice & experience. 1984, Vol 14, Num 10, pp 973-997, issn 0038-0644Article

Implementation of data types by algebraic methodsBLUM, E. K; PARISI-PRESICCE, F.Journal of computer and system sciences (Print). 1983, Vol 27, Num 2, pp 304-330, issn 0022-0000Article

Inductive-data-type systemsBLANQUI, Frédéric; JOUANNAUD, Jean-Pierre; OKADA, Mitsuhiro et al.Theoretical computer science. 2002, Vol 272, Num 1-2, pp 41-68, issn 0304-3975Article

Database hosting in strongly-typed programming languagesBEVER, M; LOCKEMANN, P. C.ACM transactions on database systems. 1985, Vol 10, Num 1, pp 107-126, issn 0362-5915Article

ON THE REPRESENTATION OF DATA TYPESOREJAS F.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 107; PP. 419-431; BIBL. 10 REF.Conference Paper

ALGEBRAIC SPECIFICATION OF ABSTRACT DATA TYPESGAUDEL MC.1979; I.R.I.A., LAB. RECH. INFORMAT. AUTOMAT., RAPP. RECH.; FRA; DA. 1979; NO 360; 30 P.; ABS. FRE; BIBL. 2 P.Serial Issue

TYPES1981; SIGPLAN NOT.; ISSN 0362-1340; USA; DA. 1981; VOL. 16; NO 1; PP. 43-52Conference Paper

ABSTRACT DATA TYPES SUBTYPES AND DATA INDEPENDANCEBURTON FW; LINGS BJ.1981; COMPUT. J.; ISSN 0010-4620; GBR; DA. 1981; VOL. 24; NO 4; PP. 308-311; BIBL. 10 REF.Article

NEW RESULTS ON COMPLETENESS AND CONSISTENCY OF ABSTRACT DATA TYPESPADAWITZ P.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 88; PP. 460-473; BIBL. 12 REF.Conference Paper

Proceedings/International symposium on semantics of data types, Sophia-Antipolis France, June 27-29, 1984KAHN, G; MACQUEEN, D. B; PLOTKIN, G et al.Lecture notes in computer science. 1984, Num 173, issn 0302-9743, 391 p.Conference Proceedings

TYP-R: réalisation en TYP d'un système multibase relationnel = TYP-R: realization in TYP of a relational multiple bases systemTOUNSI, Najib.1983, 197 pThesis

USING TYPE-EXTENSION TO ORGANIZE VIRTUAL-MEMORY MECHANISMSJANSON PA.1981; OPER. SYST. REV.; ISSN 0163-5980; USA; DA. 1981; VOL. 15; NO 4; PP. 6-38; BIBL. 22 REF.Article

DIANA: an intermediate language for Ada. Revised versionGOOS, G; WULF, W. A; EVANS, A. JR et al.Lecture notes in computer science. 1983, Vol 161, issn 0302-9743, VII-201 pSerial Issue

IMPLEMENTING A COMPILER-BASED TEST TOOLMCMULLIN PR; GANNON JD; WEISER MD et al.1982; SOFTW. PRACT. EXP.; ISSN 0038-0644; GBR; DA. 1982; VOL. 12; NO 10; PP. 971-979; BIBL. 6 REF.Article

DESCRIBING SOFTWARE DESIGN IN ADABOOCH G.1981; SIGPLAN NOT.; ISSN 0362-1340; USA; DA. 1981; VOL. 16; NO 9; PP. 42-47; BIBL. 6 REF.Article

AN EXPERIENCE IN IMPLEMENTING ABSTRACT DATA TYPESBANATRE M; COUVERT A; HERMAN D et al.1981; SOFTW. PRACT. EXP.; ISSN 0038-0644; GBR; DA. 1981; VOL. 11; NO 3; PP. 315-320; BIBL. 11 REF.Article

On algebraic specifications of abstract data typesKHOUSSAINOV, Bakhadyr.Lecture notes in computer science. 2003, pp 299-313, issn 0302-9743, isbn 3-540-40801-0, 15 p.Conference Paper

TUNING ALGEBRAIC SPECIFICATIONS BY TYPE MERGINGLAUT A; PARTSCH H.1982; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1982; NO 137; PP. 283-304Conference Paper