Janus - Programming language

edit

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

#2092on PLDB

42Years Old

Wikipedia

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...

Tags: programming language
Early development of Janus happened 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