新規登録 | ログイン | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

oliverh library [11 articles]

最近 oliverh さんのライブラリ .
  • Code Normal Forms
    Software Engineering Workshop, 2005. 29th Annual IEEE/NASA (2005), pp. 97-108.
    by M Pizka
    posted to normalization redundancy by oliverh on 2006-06-02 16:07:05 as **
  • Clone Detection Using Abstract Syntax Trees
    (1998), pp. 368-377.
    by Ira D Baxter, Andrew Yahin, Leonardo M De Moura, Marcelo Sant'anna, Lorraine Bier
    posted to no-tag by oliverh on 2006-06-02 14:38:57 as **
  • Identifying redundancy in source code using fingerprints
    (1993), pp. 171-183.
    by Howard J Johnson
    posted to redundancy by oliverh on 2006-06-02 14:35:09 as **
  • Formal Semantics of Programming Languages: -- An Overview --
    Electronic Notes in Theoretical Computer Science, Vol. 148, No. 1. (1 February 2006), pp. 41-73.
    by Peter D Mosses
    posted to semantics by oliverh on 2006-05-11 17:56:40 as ** along with 3 people leonardo Malcohol mldechert
  • Aspect-oriented programming and modular reasoning
    (2005), pp. 49-58.
    by Gregor Kiczales, Mira Mezini
  • A Structural Approach to Operational Semantics
    No. DAIMI FN-19. (1981)
    by GD Plotkin
  • Dynamic Typing in a Statically Typed Language
    ACM Transactions on Programming Languages and Systems, Vol. 13, No. 2. (April 1991), pp. 237-268.
    by Mart∈ Abadi, Luca Cardelli, Benjamin Pierce, Gordon Plotkin
  • Reusable Monadic Semantics of Object Oriented Programming Languages
    by Labra JE Gayo, Cueva JM Lovelle, Luengo MC Diez, Cernuda
  • Language prototyping using modular monadic semantics
    (1999)
    by J Labra, J Cueva, C Luengo
    posted to semantics by oliverh on 2006-05-05 19:23:29 as ** along with 1 person glaubersp
  • Monad transformers and modular interpreters
    (1995), pp. 333-343.
    by Sheng Liang, Paul Hudak, Mark Jones
  • Inheritance in Smalltalk-80: A Denotational Definition
    (1988), pp. 80-87.
    by Samuel Kamin
    posted to denotational semantics smalltalk by oliverh on 2006-05-05 13:08:12 as **
  • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/oliverh

    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.