Back to Results
First PageMeta Content
Model theory / Predicate logic / C programming language / Struct / Interpretation / Pointer / C++ classes / ALGOL 68 / Function / Logic / Mathematical logic / Software engineering


Linear Logic, Heap-shape Patterns and Imperative Programming Limin Jia David Walker Princeton University
Add to Reading List

Document Date: 2014-11-11 20:30:18

Open Document

File Size: 255,08 KB

Share Result on Facebook

Currency

pence / USD / /

/

Facility

Store Semantics We / /

IndustryTerm

logical systems / runtime algorithms / pattern-matching algorithm / related type systems / run-time algorithms / possible algorithm / tractable algorithm / bottom-up proof search strategy / depth-first algorithm / heap-shape pattern-matching algorithm / /

Organization

Princeton University / Federal Communications Commission / /

Person

Mode Arg Type Pred / Limin Jia David Walker / /

Position

MP / Appendix A. MP / head / / pattern-matching procedure MP / programmer / /

Technology

novel algorithms / run-time algorithms / dom / pattern-matching algorithm / heap-shape pattern-matching algorithm / corresponding runtime algorithms / 3.4 Pattern-Matching Algorithm / matching algorithm / /

SocialTag