Web Directory

    Top: Computers: Programming: Languages: Logic-based: Constraint_Logic:

 

Elf Meta-Language

  Link Details for: Elf Meta-Language
Link Title: Elf Meta-Language Open in a new window
Link URL: http://www.cs.cmu.edu/~fp/elf.html
Link Details: Constraint-logic programming language based on LF Logical Framework; a uniform meta-language for specifying, implementing, and proving properties of programming languages and logics that is implemented as an interpreter in Standard ML.
Category: Top : Computers : Programming : Languages : Logic-based : Constraint_Logic
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
Elf Meta-Language