Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("SEMANTICS")

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 42674

  • Page / 1707

Export

Selection :

  • and

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

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

INFLUENCE OF CONTINUOUS SEMANTIC CONSTRAINTS ON THE RESOLUTION OF AMBIGUOUS SENTENCESODEN GC; EKBERG K.1981; AM. J. PSYCHOL.; ISSN 0002-9556; USA; DA. 1981; VOL. 94; NO 3; PP. 431-442; BIBL. 2 P.Article

THE CONGRUENCE OF TWO PROGRAMMING LANGUAGE DEFINITIONSSTOY JE.1981; THEOR. COMPUT. SCI.; ISSN 0304-3975; NLD; DA. 1981; VOL. 13; NO 2; PP. 151-174; BIBL. 16 REF.Article

THE SEMANTICS OF CLEAR, A SPECIFICATION LANGUAGEBURSTALL RM; GOGUEN JA.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 86; PP. 292-332; BIBL. 2 P.Conference Paper

FULLY ABSTRACT MODELS OF TYPED LAMBDA -CALCULI.MILNER R.1977; THEOR. COMPUTER SCI.; NETHERL.; DA. 1977; VOL. 4; NO 1; PP. 1-22; BIBL. 11 REF.Article

EVENT STRUCTURE SEMANTICS FOR CCS AND RELATED LANGUAGESWINSKEL G.1982; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1982; VOL. 140; PP. 561-576; BIBL. 15 REF.Conference Paper

SEQUENTIAL ALGORITHMS ON CONCRETE DATA STRUCTURESBERRY G; CURIEN PL.1982; THEORETICAL COMPUTER SCIENCES; ISSN 0304-3975; NLD; DA. 1982; VOL. 20; NO 3; PP. 265-321; BIBL. 35 REF.Article

A TERM MODEL FOR SYNCHRONOUS PROCESSESHENNESSY M.1981; INFORMATION AND CONTROL; ISSN 0019-9958; USA; DA. 1981; VOL. 51; NO 1; PP. 58-75; BIBL. 10 REF.Article

COMPUTABILITY IN CATEGORIESSMYTH MB.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; NO 85; PP. 609-620; BIBL. 30 REF.Conference Paper

NONDETERMINISM AND JULLY ABSTRACT MODELSASTESIANO E; COSTA G.1980; R.A.I.R.O. INFORM. THEOR.; ISSN 0399-0540; FRA; DA. 1980; VOL. 14; NO 4; PP. 323-347; ABS. FRE; BIBL. 10 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

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

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

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

FULL ABSTRACTION FOR SEQUENTIAL LANGUAGES: THE STATE OF THE ART = MODELE COMPLETEMENT ADEQUAT DE LANGAGES SEQUENTIELS: L'ETAT DE L'ARTBERRY GERARD; CURIEN PIERRE LOUIS; LEVY JEAN JACQUES et al.1983; ; FRA; PARIS: IMPR. I.N.R.I.A.; DA. 1983; INRIA/RR-197; 43 P.; 30 CM; ABS. FRE; BIBL. 46 REF.;[RAPP. RECH.-I.N.R.I.A.; ISSN 0249-6399; NO 197]Report

CIRCULAR EXPRESSIONS: ELIMINATION OF STATIC ENVIRONMENTSSETHI R.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 115; PP. 378-392; BIBL. 2 P.Conference Paper

CONSTRUCTING CALL-BY-VALUE CONTINUATION SEMANTICSSETHI R; TANG A.1980; J. ASS. COMPUTG MACHIN; USA; DA. 1980; VOL. 27; NO 3; PP. 580-597; BIBL. 16 REF.Article

ON OBSERVING NONDETERMINISM AND CONCURRENCYHENNESSY M; MILNER R.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; NO 85; PP. 299-309; BIBL. 9 REF.Conference Paper

ON THE FORMAL DEFINITION OF ADADONZEAU GOUGE V; KAHN G; LANG B et al.1980; RIV. INF.; ITA; DA. 1980; VOL. 10; NO 1; PP. 5-14; BIBL. 13 REF.Article

SEMANTIC MAPPING OF A TEXT (EXODUS 23,8). A DESCRIPTIVE APPROACH TO TRANSLATION EQUIVALENCE.NEWMAN A.1978; META; CANADA; DA. 1978; VOL. 23; NO 2; PP. 127-131; BIBL. 19 REF.Article

  • Page / 1707