Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("SEMANTIQUE DENOTATIONNELLE")

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 684

  • Page / 28

Export

Selection :

  • and

SUR LES SYSTEMES DE DEFINITIONS RECURSIVES PAR CAS: APPLICATION A LA SEMANTIQUE DENOTATIONNELLE = ON SYSTEMS OF DEFINITIONS RECURSIVE BY CASE: APPLICATION TO DENOTATIONAL SEMANTICSLAVANDIER FRANCOIS.1982; ; FRA; DA. 1982; 89 P.; 30 CM; BIBL. 3 P.; TH. 3E CYCLE: INF./BORDEAUX 1/1982/1737Thesis

COMPLETENESS RESULTS FOR THE EQUIVALENCE OF RECURSIVE SCHEMAS.COURCELLE B; VUILLEMIN J.1976; J. COMPUTER SYST. SCI.; U.S.A.; DA. 1976; VOL. 12; NO 2; PP. 179-197; BIBL. 1 P. 1/2; (ANNU. ACM SYMP. THEORY COMPUT. 6; SEATTLE, WASH.; 1974)Conference Paper

THE DENOTATIONAL SEMANTICS OF SEQUENTIAL MACHINESGORDON MJC.1980; INFORM. PROCESSG LETTERS; NLD; DA. 1980; VOL. 10; NO 1; PP. 1-3; BIBL. 2 REF.Article

LEAST FIXED POINTS AND THE RECURSION THEOREM.VAN EMDE BOAS P.1976; STICHTG MATH. CENTRUM, AFD. ZUEWERE WISKDE; NEDERL.; DA. 1976; NO 78; PP. 1-10; BIBL. 11 REF.Serial Issue

FROM STANDARD TO IMPLEMENTATION DETONATIONAL SEMANTICSRASKOVSKY M; COLLIER P.1980; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1980; NO 94; PP. 94-139; BIBL. 2 P.Conference Paper

A DENOTATIONAL FRAMEWORK FOR DATA FLOW ANALYSISNIELSON F.1983; ACTA INFORMATICA; ISSN 0001-5903; DEU; DA. 1983; VOL. 18; NO 3; PP. 265-287; BIBL. 15 REF.Article

DOMAINS FOR DENOTATIONAL SEMANTICSSCOTT DS.1982; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1982; VOL. 140; PP. 577-613; BIBL. 3 P.Conference Paper

EXPERIENCE WITH AN EXPERIMENTAL COMPILER GENERATOR BASED ON DENOTATIONAL SEMANTICSBODWIN J; BRADLEY L; KANDA K et al.1982; SIGPLAN NOT.; ISSN 0362-1340; USA; DA. 1982; VOL. 17; NO 6; PP. 216-229; BIBL. 2 P.Conference Paper

IN-SCOTT-STARCHY STYLE DENOTATIONAL SEMANTICS, PARALLELISM IMPLIES NONDETERMINISMBENSON DB.1982; MATH. SYST. THEORY; ISSN 0025-5661; DEU; DA. 1982; VOL. 15; NO 3; PP. 265-275; BIBL. 16 REF.Article

A POWERDOMAIN FOR COUNTABLE NON-DETERMINISMPLOTKIN GD.1982; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1982; VOL. 140; PP. 418-428; BIBL. 16 REF.Conference Paper

CONSISTENT SEMANTICS FOR A DATA FLOW LANGUAGEBROCK JD.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 88; PP. 168-180; BIBL. 13 REF.Conference Paper

EXPERIMENTS IN BLOCK-STRUCTURED GOTO LANGUAGE MODELING EXITS VERSUS CONTINUATIONSBJORNER D.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 86; PP. 216-247; BIBL. 21 REF.Conference Paper

MODELS OF PROGRAMMING LANGUAGE CONCEPTSJONES CB.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 86; PP. 100-143; BIBL. 2 P.Conference Paper

A TERM MODEL FOR CCSHENNESSY MCB; PLOTKIN GD.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 88; PP. 261-274; BIBL. 23 REF.Conference Paper

A new category for semanticsSCOTT, Dana S.Lecture notes in computer science. 2001, pp 1-2, issn 0302-9743, isbn 3-540-42496-2Conference Paper

DENOTATIONAL SEMANTICS OF PARALLEL PROGRAMMING LANGUAGESBREZANY P.1983; KYBERNETIKA; ISSN 0023-5954; CSK; DA. 1983; VOL. 19; NO 3; PP. 248-262; BIBL. 8 REF.Article

COMPLETION SEMANTICS AND INTERPRETER GENERATIONHENSON MC; TURNER R.1982; ANNUAL ASSOCIATION FOR COMPUTING MACHINERY SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES. 9/1982-01-25/ALBUQUERQUE NM; USA; NEW YORK: ACM; DA. 1982; PP. 242-254; BIBL. 14 REF.Conference Paper

NONR FOR SEMANTICSASHCROFT EA; WADGE WW.1982; ACM TRANS. PROGRAM. LANG. SYST.; ISSN 0164-0925; USA; DA. 1982; VOL. 4; NO 2; PP. 283-294; BIBL. 30 REF.Article

LES RAISONS DES CHOIX DANS LA DEFINITION FORMELLE DU LANGAGE ADA = REASONS FOR CHOICES IN THE FORMAL DEFINITION OF THE ADA LANGUAGEDONZEAU GOUGE VERONIQUE.1982; ; FRA; DA. 1982; 153 P.; 1982; BIBL. 45 REF.; TH.: SCI. MATH./PARIS 7/1982Thesis

PROPOSITION DE SEMANTIQUE DENOTATIONNELLE, POUR DES RESEAUX DE PROCESSUS AVEC OPERATEUR DE MELANGE EQUITABLEBOUSSINOT F.1982; THEOR. COMPUT. SCI.; ISSN 0304-3975; NLD; DA. 1982; VOL. 18; NO 2; PP. 173-206; BIBL. 16 REF.Article

FORMAL SEMANTICS OF PROGRAMMING LANGUAGES: VDLLUCAS P.1981; IBM J. RES. DEVELOP.; ISSN 0018-8646; USA; DA. 1981; VOL. 25; NO 5; PP. 549-561; BIBL. 52 REF.Article

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

ECHAPPEMENTS ET CONTINUATIONS EN SEMANTIQUE DENOTATIONNELLESALLE P.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 83; PP. 298-310; BIBL. 17 REF.Conference Paper

SHARING IN NONDETERMINISMASTESIANO E; COSTA G.1979; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1979; NO 71; PP. 1-15; BIBL. 18 REF.Conference Paper

UTILISATION DE LA SEMANTIQUE DENOTATIONNELLE POUR L'ETUDE D'INTERPRETATIONS NON STANDARD.DONZEAUGOUGE V.1978; I.R.I.A., LAB. RECH. INFORMAT. AUTOMAT., RAPP. RECH.; FR.; DA. 1978; NO 273; PP. 1-42; ABS. ANGL.; BIBL. 10 REF.Serial Issue

  • Page / 28