Janus - Programming language

edit

Janus is a programming language created in 1982 by Christopher Lutz and Howard Derby and Tetsuo Yokoyama and and Robert Glück.

#1504on PLDB

42Years Old

Janus is a time-reversible programming language written at Caltech in 1982. The operational semantics of the language were formally specified, together with a program inverter and an invertible self-interpreter, in 2007 by Tetsuo Yokoyama and Robert Glück. A Janus inverter and interpreter is made freely available by the TOPPS research group at DIKU. Read more on Wikipedia...

Janus Wikipedia page
Janus first developed in California Institute of Technology
Janus on HOPL
See also: (1 related languages)Prolog
Read more about Janus on Semantic Scholar: 1.

Example from Wikipedia:

procedure fib
    from  i = 2
    do
        i += 1
        x1 <=> x2
        x1 -= x2
    loop
    until i = n