Регистрация | Вход в службу | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

plaugg type_systems [4 articles]

Recent papers added to plaugg library classified by the tag type_systems. You can also see everyone's type_systems.
  • Principles of Program Analysis
    (1999)
    by Flemming Nielson, Hanne R Nielson, Chris Hankin
    posted to alias_analysis callgraph controlflow data_flow graph interprocedural static_analysis type_systems by plaugg on 2006-03-21 16:52:14 as read along with 1 person zuleger
  • A Type-Based Approach to Program Security
    (1997), pp. 607-621.
    by Dennis M Volpano, Geoffrey Smith
    posted to security static_analysis type_systems by plaugg on 2006-03-21 16:35:06 as **** along with 2 people scavadini tesissvc
  • Static enforcement of security with types
    Vol. 35, No. 9. (September 2000), pp. 34-45.
    by Christian Skalka, Scott Smith
    posted to java security static_analysis type_systems by plaugg on 2006-03-21 16:32:47 as ****
  • Putting curry-howard to work
    (2005), pp. 74-85.
    by Tim Sheard
    posted to type_systems by plaugg on 2006-03-15 14:41:13 as read along with 11 people and 3 groups draganigajic greenrd yallop thsutton voigt mahler KarlKlose mcclurmc robotact jimburton americovargas Rightscom SRG_at_UCD Lambda the Ultimate
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/plaugg/tag/type_systems

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.