Pascal and Francis Bibliographic Databases

Help

Search results

Your search

au.\*:("WEGBREIT B")

Results 1 to 19 of 19

  • Page / 1
Export

Selection :

  • and

CONSTRUCTIVE METHODS IN PROGRAM VERIFICATION.WEGBREIT B.1977; I.E.E.E. TRANS. SOFTWARE ENGNG; U.S.A.; DA. 1977; VOL. 3; NO 3; PP. 193-209; BIBL. 17 REF.Article

COMPLEXITY OF SYNTHESIZING INDUCTIVE ASSERTIONS.WEGBREIT B.1977; J. ASS. COMPUTG MACHIN.; U.S.A.; DA. 1977; VOL. 24; NO 3; PP. 504-512; BIBL. 19 REF.Article

GOAL-DIRECTED PROGRAM TRANSFORMATION.WEGBREIT B.1976; I.E.E.E. TRANS. SOFTWARE ENGNG; U.S.A.; DA. 1976; VOL. 2; NO 2; PP. 69-80; BIBL. 23 REF.Article

VERIFYING PROGRAM PERFORMANCE.WEGBREIT B.1976; J. ASS. COMPUTG MACHIN.; U.S.A.; DA. 1976; VOL. 23; NO 4; PP. 691-699; BIBL. 3 REF.Article

THE TREATMENT OF DATA TYPES IN EL1.WEGBREIT B.1974; COMMUNIC. A.C.M.; U.S.A.; DA. 1974; VOL. 17; NO 5; PP. 251-264; BIBL. 10 REF.Article

FASTER RETRIEVAL FROM CONTEXT TREES.WEGBREIT B.1976; COMMUNIC. A.C.M.; U.S.A.; DA. 1976; VOL. 19; NO 9; PP. 526-529; BIBL. 4 REF.Article

MECHANICAL PROGRAM ANALYSIS.WEGBREIT B.1975; COMMUNIC. A.C.M.; U.S.A.; DA. 1975; VOL. 18; NO 9; PP. 528-539; BIBL. 20 REF.Article

RETRIEVAL FROM CONTEXT TREES.WEGBREIT B.1975; INFORM. PROCESSG LETTERS; NETHERL.; DA. 1975; VOL. 3; NO 4; PP. 119-120; BIBL. 11 REF.Article

PROCEDURE CLOSURE IN EL1.WEGBREIT B.1974; COMPUTER J.; G.B.; DA. 1974; VOL. 17; NO 1; PP. 38-43; BIBL. 16 REF.Article

GOAL-DIRECTED PROGRAM TRANSFORMATION.WEGBREIT B.1976; IN: CONF. REC. ACM SYMP. PRINC. PROGRAM. LANG. 3. SYMP.; ATLANTA, GA.; 1976; NEW YORK; ASSOC. COMPUT. MACH.; DA. 1976; PP. 153-170; BIBL. 23 REF.Conference Paper

PROPERTY EXTRACTION IN WELL-FOUND PROPERTY SETS.WEGBREIT B.1975; I.E.E.E. TRANS. SOFTWARE ENGNG; U.S.A.; DA. 1975; VOL. 1; NO 3; PP. 270-285; BIBL. 12 REF.Article

A GENERALISED COMPACTIFYING GARBAGE COLLECTORWEGBREIT B.1972; COMPUTER J.; G.B.; DA. 1972; VOL. 15; NO 3; PP. 204-208; BIBL. 8 REF.Serial Issue

A SPACE-EFFICIENT LIST STRUCTURE TRACING ALGORITHMWEGBREIT B.1972; I.E.E.E. TRANS. COMPUTERS; U.S.A.; DA. 1972; VOL. 21; NO 9; PP. 1009-1010; BIBL. 2 REF.Serial Issue

THE VERIFICATION AND SYNTHESIS OF DATA STRUCTURES.SPITZEN J; WEGBREIT B.1975; ACTA INFORMAT.; ALLEM.; DA. 1975; VOL. 4; NO 2; PP. 127-144; BIBL. 13 REF.Article

A SYNTHESIZER OF INDUCTIVE ASSERTIONS.GERMAN SM WEGBREIT B.1975; I.E.E.E. TRANS. SOFTWARE ENGNG; U.S.A.; DA. 1975; VOL. 1; NO 1; PP. 68-75; BIBL. 21 REF.Article

PROVING PROPERTIES OF COMPLEX DATA STRUCTURES.WEGBREIT B; SPITZEN J.1976; J. ASS. COMPUTG MACHIN.; U.S.A.; DA. 1976; VOL. 23; NO 2; PP. 389-396; BIBL. 26 REF.Article

SUBGOAL INDUCTION.MORRIS JH JR; WEGBREIT B.1977; COMMUNIC. A.C.M.; U.S.A.; DA. 1977; VOL. 20; NO 4; PP. 209-222; BIBL. 20 REF.Article

A MODEL FOR CONTROL STRUCTURES FOR ARTIFICIAL INTELLIGENCE PROGRAMMING LANGUAGES.BOBROW DG; WEGBREIT B.1976; I.E.E.E. TRANS. COMPUTERS; U.S.A.; DA. 1976; VOL. 25; NO 4; PP. 347-353; BIBL. 25 REF.; (INT. JT. CONF. ARTIF. INTELL. 3; STANFORD, CALIF.; 1973)Conference Paper

AN IMPLEMENTATION OF BACKTRACKING FOR PROGRAMMING LANGUAGES = UNE IMPLANTATION DU "RETOUR" POUR LES LANGAGES DE PROGRAMMATIONPRENNER CJ; SPITEN JM; WEGBREIT B et al.1972; IN: ASSOC. COMPUT. MACH. ANN. CONF. PROC. BOSTON, 1972; NEW YORK; ASSOC. COMPUT. MACH.; DA. 1972; VOL. 2; PP. 763-771; BIBL. 11 REF.Conference Proceedings

  • Page / 1