新規登録 | ログイン | 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
    posted to aop by oliverh on 2006-05-11 17:19:11 as ** along with 6 people and 1 group bfraser steamloom KarlKlose rdyer ktonon alphabetagamma Laboratory for Software Design
  • A Structural Approach to Operational Semantics
    No. DAIMI FN-19. (1981)
    by GD Plotkin
    posted to operational semantics by oliverh on 2006-05-11 16:27:43 as ** along with 2 people and 1 group rgrig cdiggins SRG_at_UCD
  • 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
    posted to semantics by oliverh on 2006-05-09 16:37:58 as ** along with 9 people and 1 group twleung dherman jacob tautologico amorkan lyongu hannes clausej cogumbreiro NU-PRL
  • Reusable Monadic Semantics of Object Oriented Programming Languages
    by Labra JE Gayo, Cueva JM Lovelle, Luengo MC Diez, Cernuda
    posted to monads oop semantics by oliverh on 2006-05-05 19:24:14 as ** along with 1 person and 1 group mcclurmc Lambda the Ultimate
  • 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
    posted to denotational monads semantics by oliverh on 2006-05-05 19:05:21 as ** along with 6 people and 1 group eaubin JacquesC rwtodd cedricboidin bfraser pile NU-PRL
  • 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.