Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("DATA TYPE")

Filter

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Language

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Origin

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 2355

  • Page / 95
Export

Selection :

  • and

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

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

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

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

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

COMPARING DATA TYPE SPECIFICATIONS VIA THEIR NORMAL FORMSREMY JL; VELOSO PAS.1982; INT. J. COMPUT. INF. SCI.; ISSN 0091-7036; USA; DA. 1982; VOL. 11; NO 3; PP. 141-153; BIBL. 12 REF.Article

GENERIC PROGRAMMING: A TOOL FOR DESIGNING UNIVERSAL OPERATORS. APPLICATION TO PROGRAM ALGEBRA = PROGRAMMATION GENERIQUE: UN OUTIL POUR CONCEVOIR DES OPERATEURS UNIVERSELS. APPLICATION A L'ALGEBRE DE PROGRAMMESBERT DIDIER.1982; ; FRA; GRENOBLE: I.M.A.G.; DA. 1982; IMAG/RR-336; 15 P.; 30 CM; ABS. FRE; BIBL. 13 REF.;[RAPP. RECH.-LAB. INFORM. MATH. APPL. GRENOBLE; VOL. RR-336]Report

ON THE THEORY OF SPECIFICATION, IMPLEMENTATION, AND PARAMETRIZATION OF ABSTRACT DATA TYPESEHRICH HO.1982; J. ASSOC. COMPUT. MACH.; ISSN 0004-5411; USA; DA. 1982; VOL. 29; NO 1; PP. 206-227; BIBL. 28 REF.Article

LE SYSTEME PERLUETTE ET LES PREUVES DE REPRESENTATION DE TYPES ABSTRAITS = THE PERLUETTE SYSTEM AND THE PROOFS OF ABSTRACT DATA TYPES REPRESENTATIONMADELAINE ERIC.1982; ; FRA; DA. 1982; INRIA/133; 20 P.; 30 CM; ABS. ENG; BIBL. 1 P.;[RAPP. RECH. - I.N.R.I.A.; ISSN 0249-6399; NO 133]Report

ALGEBRAIC IMPLEMENTATION OF ABSTRACT DATA TYPESEHRIG H; KREOWSKI HJ; MAHR B et al.1982; THEORETICAL COMPUTER SCIENCES; ISSN 0304-3975; NLD; DA. 1982; VOL. 20; NO 3; PP. 209-263; BIBL. 45 REF.Article

COMPUTABLE ALGEBRAS, WORD PROBLEMS AND CANONICAL TERM ALGEBRASKLAEREN HA; SCHULZ M.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; VOL. 104; PP. 203-213; BIBL. 7 REF.Conference Paper

THE DESIGN OF EDISONHANSEN PB.1981; SOFTW. PRACT. EXP.; ISSN 0038-0644; GBR; DA. 1981; VOL. 11; NO 4; PP. 363-396; BIBL. 22 REF.Article

ABSTRACT DATA TYPE BASED PROGRAMMING STYLE AND COMPUTER GRAPHICSGILOI WK.1981; EG81. EUROGRAPHICS '81. INTERNATIONAL CONFERENCE AND EXHIBITION/1981/DARMSTADT; NLD/USA/GBR; AMSTERDAM; NEW YORK; OXFORD: NORTH-HOLLAND; DA. 1981; PP. 3-11; BIBL. 9 REF.Conference Paper

ALGEBRAIC THEORY OF PARAMETERIZED SPECIFICATIONS WITH REQUIREMENTSEHRIG H.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 112; PP. 1-24; BIBL. 15 REF.Conference Paper

FUNCTIONAL TESTING AND DESIGN ABSTRACTIONSHOWDEN WE.1980; J. SYST. SOFTW.; ISSN 0164-1212; USA; DA. 1980; VOL. 1; NO 4; PP. 307-313; BIBL. 8 REF.Article

HOW MODERN IS APL.GILOI WK.1980; APL 80. INTERNATIONAL CONFERENCE ON APL/1980/NOORDWIJKERHOUT; NLD/USA/GBR; AMSTERDAM: NORTH-HOLLAND/NEW YORK: NORTH-HOLLAND/OXFORD: NORTH-HOLLAND; DA. 1980; PP. 291-297; BIBL. 12 REF.Conference Paper

PERFORMANCE ABSTRACT DATA TYPES AS A TOOL IN SOFTWARE PERFORMANCE ANALYSIS AND DESIGNBOOTH TL; WIECEK CA.1980; I.E.E.E. TRANS. SOFTWARE ENGNG; USA; DA. 1980; VOL. 6; NO 2; PP. 138-151; BIBL. 15 REF.Article

THE EXTERNAL CONSISTENCY OF ABSTRACT DATA TYPESSILBERSCHATZ A; KIEBURTZ RB.1980; SIGPLAN NOT.; USA; DA. 1980; VOL. 15; NO 2; PP. 64-73; BIBL. 2 P.Article

A NOTE ON ALGEBRAIC SPECIFICATION OF BINARY TREESMOITRA A.1980; SIGPLAN NOT.; USA; DA. 1980; VOL. 15; NO 6; PP. 64-67; BIBL. 4 REF.Article

ABSTRACT DATA TYPES AS LATTICES OF FINITELY GENERATED MODELSWIRSING M; BROY M.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 88; PP. 673-685; BIBL. 2 P.Conference Paper

  • Page / 95