Le Register Transfer Language (RTL) est une représentation intermédiaire d'architecture dépendante proche du langage assembleur principalement utilisée dans les compilateurs modernes. Il est aussi bien implémenté dans des compilateurs tels que gcc ou encore les compilateurs certifiés CompCert et CerCo.

Property Value
dbo:abstract
  • Le Register Transfer Language (RTL) est une représentation intermédiaire d'architecture dépendante proche du langage assembleur principalement utilisée dans les compilateurs modernes. Il est aussi bien implémenté dans des compilateurs tels que gcc ou encore les compilateurs certifiés CompCert et CerCo. (fr)
  • Le Register Transfer Language (RTL) est une représentation intermédiaire d'architecture dépendante proche du langage assembleur principalement utilisée dans les compilateurs modernes. Il est aussi bien implémenté dans des compilateurs tels que gcc ou encore les compilateurs certifiés CompCert et CerCo. (fr)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 6817384 (xsd:integer)
dbo:wikiPageLength
  • 3192 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 185471705 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:année
  • mars 1973 (fr)
  • mars 1973 (fr)
prop-fr:auteur
  • M. R. Barbacci (fr)
  • M. R. Barbacci (fr)
prop-fr:langue
  • en (fr)
  • en (fr)
prop-fr:pages
  • 47 (xsd:integer)
prop-fr:titre
prop-fr:wikiPageUsesTemplate
prop-fr:éditeur
  • Carnegie Mellon University (fr)
  • Carnegie Mellon University (fr)
dct:subject
rdfs:comment
  • Le Register Transfer Language (RTL) est une représentation intermédiaire d'architecture dépendante proche du langage assembleur principalement utilisée dans les compilateurs modernes. Il est aussi bien implémenté dans des compilateurs tels que gcc ou encore les compilateurs certifiés CompCert et CerCo. (fr)
  • Le Register Transfer Language (RTL) est une représentation intermédiaire d'architecture dépendante proche du langage assembleur principalement utilisée dans les compilateurs modernes. Il est aussi bien implémenté dans des compilateurs tels que gcc ou encore les compilateurs certifiés CompCert et CerCo. (fr)
rdfs:label
  • Llenguatge de transferència de registres (ca)
  • Register Transfer Language (de)
  • Register Transfer Language (fr)
  • Register Transfer Language (it)
  • Register transfer language (en)
  • لغة تبادل المسجلات (ar)
  • 暫存器傳遞語言 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of