Back to Results
First PageMeta Content
Computer programming / Functional programming / Memory management / Category theory / Type theory / F-coalgebra / Garbage collection / Algebraic data type / List / Software engineering / Computing / Data types


Document Date: 2013-02-02 11:04:46

Open Document

File Size: 363,85 KB

Share Result on Facebook

Facility

Refinement Douglas R Smith Stephen Westfold Kestrel Institute / High Performance Schedulers Model Construction Tool Library / /

IndustryTerm

transition systems / dynamical systems / /

Person

Nat / Refinement / Copying Collectors Generational Collectors Kestrel / Collectors Collector Spec / Marking Collectors / Douglas R Smith Stephen Westfold / Marking Collectors Mark / /

Position

C2 C4 C6 Customized Scheduler / lines Scheduler / monolithic memory model / memory model / Collector / Observer / /

Technology

CAT / /

URL

www.kestrel.edu / /

SocialTag