Our website is made possible by displaying online advertisements to our visitors.
Please consider supporting us by disabling your ad blocker.

Responsive image

Register Transfer Language

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[1] ou encore les compilateurs certifiés CompCert[2] et CerCo[3].

  1. ↑ RTL Representation - GNU Compiler Collection (GCC) Internals, consulté sur gcc.gnu.org le
  2. ↑ Module RTL - CompCert, consulté sur compcert.inria.fr le
  3. ↑ Report n. D2.1 - Compiler design and intermediate languages - CerCo, consulté sur cerco.cs.unibo.it le

Previous Page Next Page






لغة تبادل المسجلات Arabic Llenguatge de transferència de registres Catalan Register Transfer Language German Register transfer language English Register transfer language Spanish زبان انتقال ثبات FA Register Transfer Language Italian 暫存器傳遞語言 Chinese

Responsive image

Responsive image