Search
 
   

22 results for "domain:citeseerx.ist.psu.edu"

  1. 3
    Impact of Economics on Compiler Optimization (2001) pdf compilers citeseerx.ist.psu.edu
    GeoffWozniak avatar via GeoffWozniak 5 days ago | cached | 3 comments
  2. 6
    Abstract machines for programming language implementation (2000) ☶ compilers design programming citeseerx.ist.psu.edu
    andyc avatar via andyc 24 days ago | cached | no comments
  3. 2
    Formal Verification of a Flash Memory Device Driver - An Experience Report (2008) ☶ pdf c formalmethods hardware citeseerx.ist.psu.edu
    nickpsecurity avatar via nickpsecurity 26 days ago | cached | no comments
  4. 4
    Refinement Types for TLA+ (2014) ☶ pdf formalmethods plt citeseerx.ist.psu.edu
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
  5. 6
    Olmar: Manipulating C and C++ abstract syntax trees in Ocaml (2007) ☶ pdf c c++ compilers ml citeseerx.ist.psu.edu
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  6. 2
    Scalable Bloom Filters pdf compsci citeseerx.ist.psu.edu
    pushcx avatar via pushcx 6 months ago | cached | no comments
  7. 2
    The ABC Structure Editor ☶ pdf plt python citeseerx.ist.psu.edu
    lorddimwit avatar via lorddimwit 6 months ago | cached | no comments
  8. 2
    Capsules and Types in Fresco (1991) pdf formalmethods programming citeseerx.ist.psu.edu
    nickpsecurity avatar via nickpsecurity 7 months ago | cached | no comments
  9. 2
    Privad: Practical Privacy in Online Advertising (2011) pdf compsci privacy web citeseerx.ist.psu.edu
    nickpsecurity avatar via nickpsecurity 9 months ago | cached | no comments
  10. 27
    Oberon - The Overlooked Jewel pdf historical programming citeseerx.ist.psu.edu
    nickpsecurity avatar via nickpsecurity 9 months ago | cached | 12 comments
  11. 1
    versat - A Verified, Modern, SAT Solver (2012) pdf formalmethods programming citeseerx.ist.psu.edu
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | 1 comment
  12. 1
    Detrimental Effects of Reward: Reality or Myth? (1996) pdf cogsci citeseerx.ist.psu.edu
    pushcx avatar via pushcx 2 years ago | cached | no comments
  13. 2
    The state of the art of application restrictions and sandboxes and its shortfalls [2012] pdf security virtualization citeseerx.ist.psu.edu
    javier-lopez avatar via javier-lopez 3 years ago | cached | no comments
  14. 2
    Iterative and Incremental Development: A Brief History (2003) pdf practices citeseerx.ist.psu.edu
    GeoffWozniak avatar via GeoffWozniak 3 years ago | cached | no comments
  15. 3
    Lag, drag, void, and use - heap profiling and space efficient compilation revisited pdf compilers haskell citeseerx.ist.psu.edu
    fitzgen avatar via fitzgen 3 years ago | cached | no comments
  16. 4
    Fields in Physics are like Curried Functions or Physics for Functional Programmers pdf lisp programming citeseerx.ist.psu.edu
    rubenbarroso avatar via rubenbarroso 3 years ago | cached | 1 comment
  17. 6
    Exokernel: an operating system architecture for application-level resource management pdf compsci citeseerx.ist.psu.edu
    reiver avatar via reiver 3 years ago | cached | 1 comment
  18. 1
    Reflection and open implementations ☶ compsci citeseerx.ist.psu.edu
    SeanTAllen avatar via SeanTAllen 3 years ago | cached | no comments
  19. 12
    Algorithm W Step by Step ☶ pdf compsci citeseerx.ist.psu.edu
    SeanTAllen avatar via SeanTAllen 4 years ago | cached | no comments
  20. 5
    Monads as a theoretical foundation for AOP compsci citeseerx.ist.psu.edu
    puffnfresh avatar via puffnfresh 4 years ago | cached | 2 comments
Page: 1 2