Hai cercato la traduzione di denotational da Inglese a Greco

Inglese

Traduttore

denotational

Traduttore

Greco

Traduttore
Traduttore

Traduci istantaneamente testi, documenti e voce con Lara

Traduci ora

Contributi umani

Da traduttori professionisti, imprese, pagine web e archivi di traduzione disponibili gratuitamente al pubblico.

Aggiungi una traduzione

Inglese

Greco

Informazioni

Inglese

denotational semantics

Greco

μοντέλο ενδεικτικής σημαντικής

Ultimo aggiornamento 2014-11-14
Frequenza di utilizzo: 3
Qualità:

Riferimento: IATE

Inglese

isbn 978-0262731034* r. d. tennent, "denotational semantics".

Greco

(isbn 978-0262731034)* r. d. tennent, "denotational semantics".

Ultimo aggiornamento 2016-03-03
Frequenza di utilizzo: 1
Qualità:

Riferimento: IATE
Attenzione: contiene formattazione HTML nascosta

Inglese

* lloyd allison, "a practical introduction to denotational semantics" cambridge university press.

Greco

* lloyd allison, "a practical introduction to denotational semantics", cambridge university press.

Ultimo aggiornamento 2016-03-03
Frequenza di utilizzo: 1
Qualità:

Riferimento: IATE
Attenzione: contiene formattazione HTML nascosta

Inglese

"exercises in denotational semantics" mfcs 1976: 1-11* j. w. de bakker.

Greco

"exercises in denotational semantics" mfcs 1976: 1-11* j. w. de bakker.

Ultimo aggiornamento 2016-03-03
Frequenza di utilizzo: 1
Qualità:

Riferimento: IATE
Attenzione: contiene formattazione HTML nascosta

Inglese

* jerald schwartz "denotational semantics of parallelism" "in semantics of concurrent computation".

Greco

* jerald schwartz "denotational semantics of parallelism" in semantics of concurrent computation.

Ultimo aggiornamento 2016-03-03
Frequenza di utilizzo: 1
Qualità:

Riferimento: IATE
Attenzione: contiene formattazione HTML nascosta

Inglese

denotational semantics have been developed for modern programming languages that use capabilities like concurrency and exceptions, e.g., concurrent ml, csp, and haskell.

Greco

Έχουν αναπτυχθεί δηλωτικές σημασιολογίες για σύγχρονες γλώσσες προγραμματισμού που χρησιμοποιούν capabilities όπως ο ταυτοχρονισμός και οι εξαιρέσεις, π.χ.

Ultimo aggiornamento 2016-03-03
Frequenza di utilizzo: 1
Qualità:

Riferimento: IATE

Inglese

== motivation and intuition ==the primary motivation for the study of domains, which was initiated by dana scott in the late 1960s, was the search for a denotational semantics of the lambda calculus.

Greco

Το βασικό κίνητρο για τη μελέτη των πεδίων, που άρχισε στα τέλη της δεκαετίας του 1960 από τον dana scott, ήταν η αναζήτηση δηλωτικής σημασιολογίας για το λ-λογισμό.

Ultimo aggiornamento 2016-03-03
Frequenza di utilizzo: 1
Qualità:

Riferimento: IATE

Inglese

"'denotational semantics of a parallel object-oriented language" "information and computation", 83(2):152–205 (1989)* david a. schmidt, "the structure of typed programming languages".

Greco

"denotational semantics of a parallel object-oriented language", information and computation, 83(2): 152 - 205 (1989)* david a. schmidt, "the structure of typed programming languages".

Ultimo aggiornamento 2016-03-03
Frequenza di utilizzo: 1
Qualità:

Riferimento: IATE
Attenzione: contiene formattazione HTML nascosta

Ottieni una traduzione migliore grazie a
10,208,613,301 contributi umani

Ci sono utenti che chiedono aiuto:



I cookie ci aiutano a fornire i nostri servizi. Utilizzando tali servizi, accetti l'utilizzo dei cookie da parte nostra. Maggiori informazioni. OK