| Document Date: 2009-11-08 14:32:15
Open Document File Size: 192,20 KBShare Result on Facebook
City Madrid / Kinross / Bristol / Cambridge / Edinburgh / / Company Memory Management / MIT Press / Mechanized Mathematics Systems / ML / ACM Press / Poly/ML / AMD / Amdahl / J. Matthews Makarius Wenzel Prolingua Ltd / / Country United States / United Kingdom / Spain / Scotland / / Currency USD / / Facility Prentice Hall / Isabelle/ML library / library By / ACM Digital Library / ML library / / IndustryTerm web applications / online tutorials / task management / concurrent applications / library infrastructure / background infrastructure / big and complex software systems / proof processing / heap management / theory processing / pthread synchronization protocol / communications mechanism / theorem proving applications / realistic applications / system software / non-trivial applications / software transactional memory / parallel heap management / multicore hardware / proof tools / parallel search / specification tools / peculiar protocol / individual proof tools / parallel make tool / assignment operator / runtime systems / plug-in tools / automated reasoning tools / multi-processors / userinteraction in windowing systems / / OperatingSystem Linux / Dos / Microsoft Windows / POSIX / / Organization MIT / USENIX Association / at M¨unchen Institut f¨ur Informatik / / Person M. Herlihy / T. Harris / Isabelle Our / R. P. James / S. Peyton Jones / R. H. Halstead / Jr. / S. Marlow / / Position Inference engines General / editor / collector / fully concurrent garbage collector / manager / future scheduler / garbage-collector / garbage collector / scheduler / Isar interpreter / current sequential garbage collector / concurrent / generational garbage collector / programmer / / ProgrammingLanguage Mlton / Java / Standard ML of New Jersey / Erlang / C / Haskell / Multilisp / Standard ML / Alice ML / C++ / Scala / / ProvinceOrState New Jersey / / PublishedMedium Theoretical Computer Science / / Technology functional programming / object-oriented programming / Virtual Machine / Linux system / peculiar protocol / two processors / operating system / html / shared memory / operating systems / Java / pthread synchronization protocol / / URL http /
SocialTag |
Efficient Parallel Programming in Poly/ML and Isabelle/ML David C. J. Matthews Makarius Wenzel