INITIAL AND FINAL ALGEBRA SEMANTICS FOR DATA TYPE SPECIFICATIONS: TWO CHARACTERIZATION THEOREMSBERGSTRA JA; TUCKER JV.1983; SIAM JOURNAL ON COMPUTING; ISSN 0097-5397; USA; DA. 1983; VOL. 12; NO 2; PP. 366-387; BIBL. 26 REF.Article

PARAMETRIZED DATA TYPES DO NOT NEED HIGHLY CONSTRAINED PARAMETERSARBIB MA; MANES EG.1982; INFORMATION AND CONTROL; ISSN 0019-9958; USA; DA. 1982; VOL. 52; NO 2; PP. 139-158; BIBL. 15 REF.Article

SUBTYPES VERSUS CELL CONSTANCY WITH SUBRANGE CONSTRAINTSHARLAND DM.1982; SIGPLAN NOTICES; ISSN 0362-1340; USA; DA. 1982; VOL. 17; NO 12; PP. 65-69; BIBL. 5 REF.Article

ANALYSIS AND OPTIMIZATION OF SET EXPRESSIONSHORSPOOL RN; DUNKELMAN LW.1982; COMPUT. J.; ISSN 0010-4620; GBR; DA. 1982; VOL. 25; NO 3; PP. 340-346; BIBL. 14 REF.Article

ENUMERATIONS IN PASCAL, ADA, AND BEYONDMOFFAT DV.1981; SIGPLAN NOT.; ISSN 0362-1340; USA; DA. 1981; VOL. 16; NO 2; PP. 77-82; BIBL. 6 REF.Article

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

ALGEBRAIC SPECIFICATION OF DATA TYPES: A SYNTHETIC APPROACHLEHMANN DJ; SMYTH MB.1981; MATH. SYST. THEORY; ISSN 0025-5661; DEU; DA. 1981; VOL. 14; NO 2; PP. 97-139; BIBL. 43 REF.Article

FINAL DATA TYPE SPECIFICATIONS: A NEW DATA TYPE SPECIFICATION METHODKAMIN S.1980; ANNUAL SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES. 7/1980/LAS VEGAS NV; USA; NEW YORK: ACM; DA. 1980; PP. 131-138; BIBL. 17 REF.Conference Paper

PARAMETERIZED DATA TYPES IN ALGEBRAIC SPECIFICATION LANGUAGESEHRIG H; KREOWSKI HJ; THATCHER J et al.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; NO 85; PP. 157-168; BIBL. 24 REF.Conference Paper

TYPE SYNTAX IN THE LANGUAGE "C" AN OBJECT LESSON IN SYNTACTIC INNOVATIONANDERSON B.1980; SIGPLAN NOB.; USA; DA. 1980; VOL. 15; NO 3; PP. 21-27Article

PROGRAM CHECKINGWILLIAMS G.1979; SIGPLAN NOT.; USA; DA. 1979; VOL. 14; NO 8; PP. 13-25; BIBL. 10 REF.Conference Paper

PUTTING PASCAL TO WORK. I: LANGUAGE EXTENSIONS, UTILITIES BOOST PASCAL'S PERFORMANCEBATE RR; JOHNSON DS.1979; ELECTRONICS; USA; DA. 1979; VOL. 52; NO 12; PP. 111-116Article

A FORTRAN PREPROCESSOR TO SUPPORT ENCAPSULATED DATA ABSTRACTION DEFINITIONSBURTON W.1979; COMPUTER J.; GBR; DA. 1979; VOL. 22; NO 4; PP. 307-312; BIBL. 13 REF.Article

DATA STRUCTURES, TYPES AND ABSTRACTIONSSHANKAR KS.1978; COMPSAC 78. INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE. 2/1978-11-13/CHICAGO; USA; NEW YORK: IEEE; DA. 1978; PP. 253Conference Paper

PASCAL ISN'T JUST ONE MORE COMPUTER LANGUAGE. IT PROMISES TO BE SIMPLE, FLEXIBLE AND FASTKROUSE T.1978; ELECTRON. DESIGN; USA; DA. 1978; VOL. 26; NO 19; PP. 82-86Article

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

PARAMETER PASSING COMMUTES WITH IMPLEMENTATION OF PARAMETERIZED DATA TYPESEHRIG H; KREOWSKI HJ.1982; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1982; VOL. 140; PP. 197-211; BIBL. 2 P.Conference Paper

A DATA TYPE THEORYGREITER G.1982; SIGPLAN NOT.; ISSN 0362-1340; USA; DA. 1982; VOL. 17; NO 5; PP. 47-53; BIBL. 3 REF.Article

AN ALTERNATIVE APPROACH TO ARRAYSANDREWS GR.1982; SOFTW. PRACT. EXP.; ISSN 0038-0644; GBR; DA. 1982; VOL. 12; NO 5; PP. 475-485; BIBL. 13 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

MAKE MORE OF DATA TYPESMAYR HC.1981; SIGPLAN NOT.; ISSN 0362-1340; USA; DA. 1981; VOL. 16; NO 1; PP. 158-160; BIBL. 18 REF.Conference Paper

A MODEL FOR PASCAL-LIKE TYPINGMOFFAT DV.1981; SIGPLAN NOT.; ISSN 0362-1340; USA; DA. 1981; VOL. 16; NO 7; PP. 66-74; BIBL. 11 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

EXCEPTIONAL FEATURES OF THE AM Z8000 INSTRUCTION SETRALLAPALLI K.1980; ELECTRON. ENG.; ISSN 0013-4902; GBR; DA. 1980; VOL. 52; NO 642; PP. 95-104; 6 P.Article

EXPRESSIVENESS OF THE OPERATION SET OF A DATA ABSTRACTIONDEEPAK KAPUR; SRIVAS MANDAYAM.1980; ANNUAL SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES. 7/1980/LAS VEGAS NV; USA; NEW YORK: ACM; DA. 1980; PP. 139-153; BIBL. 18 REF.Conference Paper