Janus (time-reversible computing programming language)

Website: tetsuo.jp/ref/janus.html

Proiectat de: Christopher Lutz, Howard Derby, Tetsuo Yokoyama, and Robert Glück

Janus este un limbaj de programare revizuit de timp, scris la Caltech în 1982.

Semantica operațională a limbii au fost specificate formal, împreună cu un invertor de program și un auto-interpretă invertibil, în 2007 de Tetsuo Yokoyama și Robert Glück.

Un invertor și interpret Janus este pus la dispoziție liber de către Topps Research Group de la Diku.

Un alt interpret Janus a fost implementat în Prolog în 2009.

De mai jos rezumă limba prezentată în lucrarea din 2007.

Janus este un limbaj de programare imperativ cu un magazin global (nu există nicio alocare de stivă sau grămadă).

Janus este un limbaj de programare reversibil, adică acceptă calculul determinist înainte și înapoi prin inversare locală.