| Document Date: 2012-08-10 19:21:18
Open Document File Size: 198,30 KBShare Result on Facebook
Company Meredith / / / Facility store Env / Patrick Meredith Mark Hills Grigore Ros¸u University of Illinois Urbana-Champaign / store Mem / Maude’s complex / The store / / IndustryTerm web interface / functional programming systems / web-based interface / possible solutions / makePair operator / chemical abstract machine / / OperatingSystem L3 / / Organization Patrick Meredith Mark Hills Grigore Ros¸u University of Illinois Urbana-Champaign / National Science Foundation / / Person Patrick Meredith Mark Hills Grigore Ros / / / Position Major / head / automated translator / automatic translator / interpreter / / Product LG EnV2 Cellular Phone / / ProgrammingLanguage Maude system / K / / RadioStation RT-0701 / / Technology Functional Programming / /
SocialTag |
An Executable Rewriting Logic Semantics of K-Scheme ∗ Patrick Meredith Mark Hills Grigore Ros¸u