Skip to content

Viper (1999) #5

@sfermigier

Description

@sfermigier

Cf. https://www.python.org/ftp/python/contrib/

Viperi is an interpreter for the Viper language, which is
basically the same as Python. Many 'pure python' programs
should run with Viperi. Viperi is a testbed for the run time
system, which will be needed by Viperc, the Viper compiler.

Viper is principally written in Ocaml, with some C interfacing.
Ocaml is a procedural language in the ML family, providing
support for functional, object oriented, and procedural programming.
Memory is managed by an incremental, generational garbage collector.
Separate compilation is supported. High performance, rivalling C,
is reported for ocaml programs: the ocaml optimising compiler
generates assembly code.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions