Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("ABSTRACT DATA TYPE")

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

Results 1 to 25 of 687

  • Page / 28
Export

Selection :

  • and

AN ABSTRACT DATA TYPE FACILITY FOR THE C LANGUAGESTROUSTRUP B.1982; SIGPLAN NOTICES; ISSN 0362-1340; USA; DA. 1982; VOL. 17; NO 1; PP. 42-51Article

ALGEBRAIC DEFINITION OF A FUNCTIONAL PROGRAMMING LANGUAGE AND ITS SEMANTIC MODELSBROY M; WIRSING M.1983; R.A.I.R.O. INFORMATIQUE THEORIQUE; ISSN 0399-0540; FRA; DA. 1983; VOL. 17; NO 2; PP. 137-161; ABS. FRE; BIBL. 34 REF.Article

MODELISATION DE LA NOTION DE TEST DE PROGRAMMES: APPLICATION A LA PRODUCTION DE JEUX DE TESTS = MODELIZATION OF THE NOTION OF PROGRAM TESTS: APPLICATION TO THE PRODUCTION OF SETS OF TESTSBOUGE LUC.1982; ; FRA; DA. 1982; 479 P.; 30 CM; BIBL. 8 P.; TH. 3E CYCLE: MATH./PARIS 6/1982Thesis

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

APPLYING SOFTWARE ENGINEERING TO PROTOCOL SIMULATIONLANDWEHR CE.1981; SIMULATION; ISSN 0037-5497; USA; DA. 1981; VOL. 37; NO 5; PP. 157-164; BIBL. 27 REF.Article

TOWARD MODULAR VERIFIABLE EXCEPTION HANDLINGBERRY DM; KEMMERER RA; VON STAA A et al.1980; COMPUTER LANGUAGES; GBR; DA. 1980; VOL. 5; NO 2; PP. 77-101; BIBL. 40 REF.Article

A CHARACTERIZATION OF ABSTRACT DATA AS MODEL-THEORETIC INVARIANTSBERTONI A; MAURI G; MIGLIOLI PA et al.1979; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1979; NO 71; PP. 26-37; BIBL. 15 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

SEMANTICS OF PROCEDURES AS AN ALGEBRAIC. ABSTRACT DATA TYPEGAUDEL MC; DESCHAMP P; MAZAUD M et al.1978; I.R.I.A., LAB. RECH. INFORMAT. AUTOMAT., RAPP. RECH.; FRA; DA. 1978; NO 334; PP. 1-23; ABS. FRE; BIBL. 14 REF.Serial Issue

PROVING THE CORRECTNESS OF IMPLEMENTATIONS OF SHARED DATA ABSTRACTIONSKOZMA L.1982; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1982; NO 137; PP. 227-241; BIBL. 3 P.Conference Paper

MODELES NON DETERMINISTES DE TYPES ABSTRAITSLESCANNE P.1982; R.A.I.R.O., INFORM. THEOR.; ISSN 0399-0540; FRA; DA. 1982; VOL. 16; NO 3; PP. 225-244; ABS. ENG; BIBL. 26 REF.Article

A SYSTEM FOR REASONING WITHIN AND ABOUT ALGEBRAIC SPECIFICATIONSLESZCZYLOWSKI J; WIRSING M.1982; LECT. NOTES. COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1982; NO 137; PP. 257-282; BIBL. 3 P.Conference Paper

CONCEPTION ET CERTIFICATION DE PROGRAMMES A PARTIR D'UNE DECOMPOSITION PAR LES DONNEESGUIHO G; GRESSE C; BIDOIT M et al.1980; R.A.I.R.O. INFORM.; ISSN 0399-0532; FRA; DA. 1980; VOL. 14; NO 4; PP. 319-351; ABS. ENG; BIBL. 39 REF.Article

CONSTRUCTION ET TRANSFORMATION SYSTEMATIQUES DE PROGRAMMESBELLEGARDE F; QUERE A; REMY JL et al.1980; R.A.I.R.O., INFORMAT.; FRA; DA. 1980; VOL. 14; NO 3; PP. 219-252; ABS. ENG; BIBL. 2 P.Article

CONSTRUCTING SPECIFICATIONS OF ABSTRACT DATA TYPES BY REPLACEMENTSEHRICH HD; LOHBERGER VG.1979; LECTURE NOTES COMPUTERS SCI.; DEU; DA. 1979; VOL. 73; PP. 180-191; BIBL. 21 REF.Conference Paper

AN APPROACH TO ABSTRACT SPECIFICATION BASED ON TRACES.CHESTER D.1979; COMPSAC 79. INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE. 3/1979/CHICAGO IL; USA; NEW YORK: IEEE; DA. 1979; PP. 123-127; BIBL. 8 REF.Conference Paper

THE POTENTIAL OF FORMS IN OFFICE AUTOMATIONGEHANI NH.1982; IEEE TRANSACTIONS ON COMMUNICATIONS; ISSN 0090-6778; USA; DA. 1982; VOL. 30; NO 1; PP. 120-125; BIBL. 10 REF.Article

FORMALIZATION OF DLP (A DECENTRALIZED LOCKING PROTOCOL) USING ABSTRACT DATA TYPESMIRANDA SERGE M.1981; ; FRA; LE CHESNAY: IMPR. I.N.R.I.A.; DA. 1981; INRIA/99; 14 P.; 30 CM; ABS. FRE; BIBL. 26 REF.; RAPPORTS DE RECHERCHE; 99;[RAPP. RECH.-I.N.R.I.A.; ISSN 0249-6399; NO 99]Report

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

DEFINICION SEMANTICA EN LENGUAJES DE PROGRAMACION = DEFINITION SEMANTIQUE DE LANGAGES DE PROGRAMMATIONOREJAS F.1981; NOVATICA; ISSN 0211-2124; ESP; DA. 1981; VOL. 7; NO 38-39; PP. 27-34; 7 P.; BIBL. 50 REF.Article

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

HOW TO PROVE ALGEBRAIC INDUCTIVE HYPOTHESES WITHOUT INDUCTION WITH APPLICATIONS TO THE CORRECTNESS OF DATA TYPE IMPLEMENTATIONGOGUEN JA.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 87; PP. 356-373; BIBL. 3 P.Conference Paper

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

NOTES ON TYPE ABSTRACTION (VERSION 2)GUTTAG J.1980; I.E.E.E. TRANS. SOFTWARE ENGNG; USA; DA. 1980; VOL. 6; NO 1; PP. 13-23; BIBL. 22 REF.Article

PARTIAL ABSTRACT TYPESBROY M; WIRSING M.1982; ACTA INFORMATICA; ISSN 0001-5903; DEU; DA. 1982; VOL. 18; NO 1; PP. 47-64; BIBL. 41 REF.Article

  • Page / 28