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

cdiggins library [102 articles]

最近 cdiggins さんのライブラリ .
  • A Structural Approach to Operational Semantics
    No. DAIMI FN-19. (1981)
    by GD Plotkin
    posted to semantics by cdiggins on 2008-04-24 16:21:51 as ** along with 2 people and 1 group rgrig oliverh SRG_at_UCD
  • Metaphor in diagrams
    (1998)
    by A Blackwell
    posted to visual by cdiggins on 2008-03-11 02:37:28 as **
  • When Visual Programs are Harder to Read than Textual Programs
    (1992)
    by TRG Green, M Petre
    posted to visual by cdiggins on 2008-02-25 00:14:41 as **
  • Cognitive Factors in Programming with Diagrams
    Artificial Intelligence Review, Vol. 15, No. 1/2. (2001), pp. 95-114.
    by Alan F Blackwell, Kirsten N Whitley, Judith Good, Marian Petre
    posted to visual by cdiggins on 2008-02-24 23:32:43 as ** along with 1 person gkontos
  • Usability Analysis of Visual Programming Environments: A 'Cognitive Dimensions' Framework
    Journal of Visual Languages and Computing, Vol. 7, No. 2. (1996), pp. 131-174.
    by TRG Green, Marian Petre
    posted to visual by cdiggins on 2008-02-24 23:31:41 as ** along with 7 people and 1 group fryanpan creswick zzkt shilad scis0000001 lfdoherty lgrammel GroupLens
  • Proving Java Type Soundness
    (1999), pp. 83-118.
    by Don Syme
    posted to java soundness types by cdiggins on 2008-02-24 07:07:40 as **
  • Context-Oriented Programming
    by ML Gassanenko
    posted to cop by cdiggins on 2008-02-13 20:05:43 as **
  • A Type System For the Push-Enter Model
    by Kwanghoon C Cs
    posted to compilation stack types by cdiggins on 2008-02-11 15:40:02 as **
  • Making a Fast Curry
    by Push E Vs
    posted to compilers functional partial-evaluation by cdiggins on 2008-02-11 15:36:50 as ** along with 2 people and 1 group sclv SamB functional programming
  • Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded ML Programming
    (1999), pp. 70-81.
    by John Hughes, Lars Pareto
    posted to compilers stack types by cdiggins on 2008-02-11 05:02:10 as *****
  • Compiling Haskell by Program Transformation: A Report from the Trenches
    (1996), pp. 18-44.
    by Simon
    posted to compilers program transformation by cdiggins on 2008-02-09 23:22:08 as **
  • Optimizing Direct-threaded Code by Selective Inlining
    (1998), pp. 291-300.
    by Ian Piumarta, Fabio Riccardi
    posted to bytecode compil compilation compiler virtual-machines by cdiggins on 2008-02-08 00:07:17 as ** along with 2 people rnsanchez water451
  • Object-Oriented Type Inference
    SIGPLAN Notices, Vol. 26, No. 11. (1991)
    by Jens Palsberg, Michael I Schwartzbach
    edited by Norman Meyrowitz
    posted to inference oo types by cdiggins on 2008-02-05 00:34:39 as ** along with 2 people and 1 group dherman mcclurmc NU-PRL
  • Typing Haskell in Haskell
    (1999)
    by M Jones
    posted to haskell types by cdiggins on 2008-02-05 00:28:20 as ** along with 1 person dtim
  • Verification of xUML Specifications
    by In T Context
    posted to xuml by cdiggins on 2008-02-01 15:24:38 as **
  • MDA and Programming Languages
    (2002)
    by M Eichberg
    posted to mda uml xuml by cdiggins on 2008-01-30 03:43:49 as **
  • Model transformations and tool integration
    (2004)
    by L Tratt
    posted to mda uml xuml by cdiggins on 2008-01-30 03:39:24 as **
  • The MT model transformation language
    (2006)
    by Laurence Tratt
    posted to mda uml xuml by cdiggins on 2008-01-30 03:37:05 as **
  • Transformation: The missing link of MDA
    (2002)
    by A Gerber, M Lawley, K Raymond, J Steel, A Wood
    posted to mda uml xuml by cdiggins on 2008-01-30 03:34:50 as **
  • Anti-Yacc: MOF-to-text
    (2002)
    by D Hearnden, K Raymond
    posted to mda xuml by cdiggins on 2008-01-30 03:17:39 as **
  • Towards a Precise Definition of the OMG/MDA Framework
    (2001)
    by Jean Bezivin, Et
    posted to mda xuml by cdiggins on 2008-01-30 03:16:05 as **
  • Platform-independent modelling in MDA: supporting abstract platforms
    by Joao, Remco Dijkman, Marten van Sinderen, Luis F Pires
    posted to mda xuml by cdiggins on 2008-01-30 03:15:41 as **
  • Towards more ecient Software Engineering
    by With F Mda
    posted to mda xuml by cdiggins on 2008-01-30 03:15:23 as **
  • Model Driven Architecture Approach in Tropos
    by A Novikau
    posted to mda xuml by cdiggins on 2008-01-30 03:14:56 as **
  • Using UML Action Semantics for Executable Modeling and Beyond
    (2001), pp. 433-447.
    by Gerson Sunye, Francois Pennaneac'h, Wai M Ho, Alain Le Guennec, Jean M Jquel
    posted to mda semantics uml xuml by cdiggins on 2008-01-23 15:45:21 as **
  • On Formalizing the UML Object Constraint Language OCL
    Vol. 1507 (1998), pp. 449-464.
    by Mark Richters, Martin Gogolla
    edited by Tok W Ling, Sudha Ram, Mong L Lee
    posted to ocl uml by cdiggins on 2008-01-22 21:04:54 as ** along with 1 person xiangzhangchina
  • The UML as a Formal Modeling Notation
    (1997), pp. 75-81.
    by Robert France, Andy Evans, Kevin Lano
    edited by Haim Kilov, Bernhard Rumpe, Ian Simmonds
    posted to uml by cdiggins on 2008-01-22 21:04:07 as **
  • An ASM Semantics for UML Activity Diagrams
    by E Borger, A Cavarra, E Riccobene
    posted to semantics uml by cdiggins on 2008-01-22 21:03:53 as **
  • Generative Programming and Active Libraries (Extended Abstract)
    by Krzysztof Czarnecki, Ulrich Eisenecker, Et
    posted to generative metaprogramming programming by cdiggins on 2008-01-22 16:13:42 as ** along with 1 person miteshjain
  • Improving Bracket Abstraction -- A Cost Free Optimization
    No. CSIRP-91-3. (November 1991)
    by David J Stevens
    posted to combinators compilation compiler by cdiggins on 2007-12-30 21:06:56 as **
  • Bracket abstraction in the combinator system Cl(K)
    by Sabine Broda, Luís Damas
    posted to combinators compilation compiler by cdiggins on 2007-12-30 21:05:27 as **
  • A Static Semantics for Haskell
    (2002)
    by K Faxen
    posted to haskell by cdiggins on 2007-12-06 18:03:13 as ** along with 1 person and 1 group greenrd SRG_at_UCD
  • Monads for functional programming
    (1993)
    by Philip Wadler
    edited by ~broy
    posted to monads by cdiggins on 2007-12-06 16:23:08 as ** along with 18 people and 4 groups namin JeffreyPalmer cedricboidin grzegorz jburnim rahul damaru ben_moseley bunge glaubersp mingguo ds conal ariels hayeah SamB mmarcus americovargas Lambda the Ultimate functional programming SRL SIG
  • Monads and Composable Continuations
    Lisp and Symbolic Computation, Vol. 7, No. 1. (1994), pp. 39-56.
    by Philip Wadler
    posted to continuations monads by cdiggins on 2007-12-06 16:22:21 as ** along with 3 people bringert glaubersp benchambers
  • SINTL: A Strongly-Typed Generic Intermediate Language for Scheme
    by Mark Depristo
    posted to intermediate-language by cdiggins on 2007-12-06 15:48:26 as **
  • Compiling Standard ML to Java Bytecodes
    Vol. 34(1) (1999), pp. 129-140.
    by Nick Benton, Andrew Kennedy, George Russell
    posted to bytecode compiler intermediate-language jvml by cdiggins on 2007-12-06 15:47:25 as **
  • Mate: A tiny virtual machine for sensor networks
    (Oct. 2002)
    by P Levis, D Culler
    posted to embedded virtual-machines by cdiggins on 2007-12-03 06:11:58 as ** along with 1 person ramyeltarras
  • Minimizing Reference count Updating with Deferred and Anchored Pointers for Functional Data Structures
    SIGPLAN Notices, Vol. 29, No. 9. (1994), pp. 38-43.
    by $^♣$henry G Baker
    posted to garbage-collection by cdiggins on 2007-12-02 22:25:59 as **
  • A Modal Analysis of Staged Computation
    (1996), pp. 258-270.
    by Rowan Davies, Frank Pfenning
    posted to staged-computation by cdiggins on 2007-11-30 01:40:05 as **
  • A General Approach for Run-Time Specialization and its Application to C
    (1996), pp. 145-156.
    by Charles Consel, Francois Noel
    posted to specialization by cdiggins on 2007-11-30 01:39:41 as ** along with 2 people miteshjain ronnix
  • Lightweight Run-Time Code Generation
    (June 1994), pp. 97-106.
    by Mark Leone, Peter Lee
    posted to closures compilation by cdiggins on 2007-11-29 23:10:02 as ** along with 4 people bdauvergne miteshjain harshrc ronnix
  • Typed Closure Conversion
    (1996), pp. 271-283.
    by Yasuhiko Minamide, Gregory J Morrisett, Robert Harper
    posted to compiler by cdiggins on 2007-11-28 01:35:55 as ** along with 1 person d23
  • Lambda lifting: transforming programs to recursive equations
    (1985), pp. ??-??.
    by Thomas Johnsson
    posted to rewriting by cdiggins on 2007-11-25 17:20:44 as **
  • Theorems for Free!
    (1989), pp. 347-359.
    by Philip Wadler
    posted to proofs theory types by cdiggins on 2007-11-22 04:06:45 as ** along with 14 people and 2 groups samth dherman JacquesC greenrd rwtodd zednenem msakai lomeo ryanc tov jwm0123 KarlKlose dfisher americovargas NU-PRL SRG_at_UCD
  • Partial Evaluation of Computation Process - An Approach to a Compiler-Compiler
    Higher-Order and Symbolic Computation, Vol. 12, No. 4. (1999), pp. 381-391.
    by Yoshihiko Futamura
    posted to compiler partial-evaluation by cdiggins on 2007-11-22 03:09:16 as ** along with 3 people bunge scavadini ronnix
  • Type-Directed Partial Evaluation
    (1996), pp. 242-257.
    by O Danvy
    posted to evaluation partial types by cdiggins on 2007-11-22 03:06:06 as **
  • Teaching Functional Programming to First-Year Students
    Journal of Functional Programming, Vol. 3, No. 1. (1993), pp. 49-65.
    by Stef Joosten, Klaas van den Berg, Gerrit Van Der Hoeven
    posted to teaching by cdiggins on 2007-11-10 16:01:11 as **
  • Type-Preserving Compilation of Featherweight Java
    (2001)
    by Christopher League, Valery Trifonov, Zhong Shao
    posted to intermediate java by cdiggins on 2007-11-06 20:14:38 as **
  • Type-indexed rows
    ACM SIG\-PLAN Notices, Vol. 36, No. 3. (2001), pp. 261-275.
    by Mark Shields, Erik Meijer
    posted to row by cdiggins on 2007-11-06 19:43:55 as **
  • Type Inference for Record Concatenation and Multiple Inheritance
    (1989), pp. 92-97.
    by Mitchell Wand
    posted to row by cdiggins on 2007-11-06 19:30:35 as **
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/cdiggins

    Result page: 1 2 3 Next RIS BibTeX RSS
    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.