Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("DENOTATIONAL SEMANTICS")

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 675

  • Page / 27

Export

Selection :

  • and

A denotational semantics for Handel-CBUTTERFIELD, Andrew.Formal aspects of computing. 2011, Vol 23, Num 2, pp 153-170, issn 0934-5043, 18 p.Article

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

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

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

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

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

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

LOGIC AND PROGRAMMING LANGUAGES.SCOTT DS.1977; COMMUNIC. A.C.M.; U.S.A.; DA. 1977; VOL. 20; NO 9; PP. 634-641; BIBL. 14 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

  • Page / 27