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.

#1425on PLDB	41Years Old	75Users
0Books	0Papers

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.
HTML of this page generated by LanguagePage.ts

Example from Wikipedia:

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