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

alec library [69 articles]

最近 alec さんのライブラリ .
  • Parameterized Notions of Computation
    Proceedings of Workshop on Mathematically Structured Functional Programming (July 2006)
    by Robert Atkey
    posted to shcaml by alec on 2008-04-12 23:50:08 as ** along with 2 people mstone tov
  • Generalising monads to arrows
    Science of Computer Programming, Vol. 37, No. 1--3. (2000), pp. 67-111.
    by John Hughes
    posted to shcaml by alec on 2008-04-12 23:49:52 as ** along with 4 people tov calvins pedagand americovargas
  • A syntactic approach to type soundness
    Inf. Comput., Vol. 115, No. 1. (November 1994), pp. 38-94.
    by Andrew K Wright, Matthias Felleisen
    posted to lambda-calculus types by alec on 2008-03-27 20:51:49 as ** along with 1 person pedagand
  • Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem
    Indagationes Mathematicae (Proceedings), Vol. 75, No. 5. (1972), pp. 381-392.
    by NG de Bruijn
    posted to lambda-calculus by alec on 2008-03-27 20:44:32 as ** along with 2 people pile tov
  • An introduction to fibrations, topos theory, the effective topos, and modest sets
    by Wesley Phoa
    posted to logic toposes by alec on 2007-12-02 22:29:30 as ***** along with 1 person and 1 group mahler Rightscom
  • Extending Typestate Checking Using Conditional Liveness Analysis
    IEEE Trans. Softw. Eng., Vol. 19, No. 5. (May 1993), pp. 478-485.
    by RE Strom, DM Yellin
    posted to typestates by alec on 2007-11-15 22:14:40 as ***
  • Adoption and focus: practical linear types for imperative programming
    SIGPLAN Not., Vol. 37, No. 5. (May 2002), pp. 13-24.
    by Manuel Fahndrich, Robert Deline
    posted to exceptions linear-types by alec on 2007-11-15 16:31:25 as **
  • Resource usage analysis for a functional language with exceptions
    (2006), pp. 38-47.
    by Futoshi Iwama, Atsushi Igarashi, Naoki Kobayashi
    posted to exceptions linear-types types by alec on 2007-11-01 13:44:32 as read
  • The semantic package
    by Peter M Neergaard, Arne J Glenstrup
    posted to docs latex by alec on 2007-10-28 00:44:57 as read
  • Asynchronous Functional Session Types
    No. 2007--251. (May 2007)
    by Simon Gay, Vasco T Vasconcelos
    posted to session-types types by alec on 2007-10-07 17:03:57 as read
  • Categories, Types, and Structures : An Introduction to Category Theory for the Working Computer Scientist (Foundations of Computing Series)
    (23 August 1991)
    by Andrea Asperti, Giuseppe Longo
    posted to category-theory types by alec on 2007-09-30 22:26:52 as **** along with 2 people and 1 group aleks masteraka Compilers
  • C Programming Language (2nd Edition)
    (22 March 1988)
    by Brian W Kernighan, Dennis M Ritchie
    posted to c shcaml by alec on 2007-08-20 21:15:59 as read along with 12 people ujh reisender sprite gardak leftlu ljcamargos padraic velasco bringert aespinosa alexzeh citeasm
  • Revised$^5$ Report on the Algorithmic Language Scheme
    ACM SIGPLAN Notices, Vol. 33, No. 9. (1998), pp. 26-76.
    by Richard Kelsey, William Clinger, Jonathan R (editors)
    posted to scheme shcaml by alec on 2007-08-20 21:10:58 as ** along with 6 people and 1 group samth dherman pnkfelix tov dfisher d23 NU-PRL
  • Standard for information technology - portable operating system interface (POSIX). Shell and utilities
    IEEE Std 1003.1, 2004 Edition. The Open Group Technical Standard. Base Specifications, Issue 6. Includes IEEE Std 1003.1-2001, IEEE Std 1003.1-2001/Cor 1-2002 and IEEE Std 1003.1-2001/Cor 2-2004. Shell and Utilities (2004)
    posted to shcaml unix by alec on 2007-08-20 19:58:27 as read along with 2 people heiko_reese MatsKindahl
  • Automatic management of operating-system resources
    (1997), pp. 274-279.
    by Olin Shivers
    posted to shcaml by alec on 2007-08-20 18:24:23 as read along with 1 person voigt
  • A Scheme Shell
    (1994)
    by O Shivers
    posted to shcaml unix by alec on 2007-08-20 18:23:22 as read along with 1 person tov
  • An Introduction to the Polymorphic Lambda Calculus
    (1990), pp. 77-86.
    by John C Reynolds
    edited by G Huet
    posted to polymorphism system-f by alec on 2007-02-23 20:04:39 as read
  • Foundations of Actor Semantics
    (1981)
    by William D Clinger
    posted to actors by alec on 2006-12-13 22:49:51 as ** along with 3 people elferdo flavian NSumner
  • Proofs and types
    (1989)
    by Jean-Yves Girard, Paul Taylor, Yves Lafont
    posted to logic by alec on 2006-12-13 22:36:15 as ** along with 2 people AndreasSchropp jonathlela
  • Lolli: An Extension of
    by Prolog With
    posted to linear-logic prolog by alec on 2006-12-04 04:28:14 as **
  • Language Trees and Zipping
    (19 Dec 2001)
    by Dario Benedetto, Emanuele Caglioti, Vittorio Loreto
    posted to information-theory by alec on 2006-12-04 04:22:02 as read along with 1 person baronka
  • Linear Type Inference For A Functional Language With Processes
    by K Barthelmann
    posted to linear-logic processcalculi types by alec on 2006-07-21 17:43:44 as **
  • Practical analysis for refactoring
    (1999)
    by Donald B Roberts
    posted to refactoring by alec on 2006-07-13 16:04:34 as ** along with 1 person emerson
  • Refactoring Object-Oriented Frameworks
    (1992)
    by William F Opdyke
    posted to refactoring by alec on 2006-07-13 16:01:10 as ** along with 4 people and 1 group eabait assnoodles emerson yijunyu NU-PRL
  • A language for bi-directional tree transformations
    (2003)
    by M Greenwald, J Moore, B Pierce, A Schmitt
    posted to source-transformation by alec on 2006-07-12 00:13:40 as ** along with 1 person scis0000001
  • Implicit Parameters: Dynamic Scoping with Static Types
    (2000), pp. 108-118.
    by Jeffrey R Lewis, Mark Shields, John Launchbury, Erik Meijer
    posted to dynamic-binding by alec on 2006-07-12 00:11:15 as ** along with 1 person and 1 group dherman NU-PRL
  • Dynamically Scoped Functions for Runtime Modification
    by Pascal Costanza
    posted to dynamic-binding by alec on 2006-07-12 00:10:50 as ** along with 2 people and 1 group dherman jrw NU-PRL
  • Down with Emacs Lisp: Dynamic Scope Analysis
    (2001), pp. 38-49.
    by Matthias Neubauer, Michael Sperber
    posted to dynamic-binding by alec on 2006-07-12 00:10:27 as ** along with 1 person and 1 group dherman NU-PRL
  • A Syntactic Theory of Dynamic Binding
    Vol. 1214 (apr 1997), pp. 727-741.
    by Luc Moreau
    posted to dynamic-binding by alec on 2006-07-12 00:10:07 as ** along with 2 people and 1 group dherman jrw NU-PRL
  • From dynamic binding to state via modal possibility
    (2003), pp. 207-218.
    by Aleksandar Nanevski
    posted to dynamic-binding by alec on 2006-07-12 00:08:40 as ** along with 2 people and 1 group dherman EdwardKmett NU-PRL
  • SOBER: statistical model-based bug localization
    Vol. 30, No. 5. (September 2005), pp. 286-295.
    by Chao Liu, Xifeng Yan, Long Fei, Jiawei Han, Samuel P Midkiff
    posted to afmining by alec on 2006-06-14 17:50:00 as **** along with 1 person and 1 group rblake uiuc-cs
  • Types and Subtypes for Client-Server Interactions
    (1999), pp. 74-90.
    by Simon J Gay, Malcolm Hole
    posted to processcalculi types by alec on 2006-06-14 03:59:33 as *****
  • Improving Data-flow Analysis with Path Profiles
    (1998), pp. 72-84.
    by Glenn Ammons, James R Larus
    posted to afmining by alec on 2006-06-12 23:22:31 as ***** along with 1 person iff
  • Dynamically inferring temporal properties
    (2004), pp. 23-28.
    by Jinlin Yang, David Evans
    posted to afmining by alec on 2006-06-12 19:06:06 as **
  • From Run-time Behavior to Usage Scenarios: An Interaction-Pattern Mining Approach
    by Mohammad E Ramly, Eleni Stroulia, Paul Sorenson
    posted to afmining by alec on 2006-06-12 19:04:44 as ** along with 1 person kmartine
  • Encoding Program Executions
    (2001), pp. 221-230.
    by Steven P Reiss, Manos Renieris
    posted to afmining by alec on 2006-06-12 19:03:23 as **
  • The sk-strings method for inferring PFSA
    (1997)
    by A Raman, J Patrick
    posted to afmining by alec on 2006-06-12 19:02:44 as **
  • Static verification of dynamically detected program invariants: Integrating Daikon and ESC/Java
    (2001)
    by Jeremy W Nimmer, Michael D Ernst
    posted to afmining by alec on 2006-06-12 19:02:17 as ** along with 1 person and 1 group jolilius TUCS-ES_Lab
  • Automatic generation of program specifications
    (2002)
    by J Nimmer, M Ernst
    posted to afmining by alec on 2006-06-12 19:01:50 as ** along with 2 people and 2 groups newdawn sjgaller Context-driven-testers Desgin-by-Contract
  • Invariant inference for static checking:
    (2002), pp. 11-20.
    by Jeremy W Nimmer, Michael D Ernst
    posted to afmining by alec on 2006-06-12 19:00:50 as **
  • Automatic extraction of object-oriented component interfaces
    (2002)
    by J Whaley, M Martin, M Lam
    posted to afmining by alec on 2006-06-12 18:59:43 as **
  • Inference of Component Protocols by the kBehavior Algorithm
    (2004)
    by Leonardo Mariani, Mauro Pezzè
    posted to afmining by alec on 2006-06-12 18:57:21 as **
  • Jungloid mining: helping to navigate the API jungle
    Vol. 40, No. 6. (June 2005), pp. 48-61.
    by David Mandelin, Lin Xu, Rastislav Bod&\#237;k, Doug Kimelman
    posted to afmining by alec on 2006-06-12 18:44:25 as ** along with 1 person yang
  • Dynamine: Finding Common Error Patterns by Mining Software Revision Histories
    (2005)
    by V Livshits, T Zimmermann
    posted to afmining by alec on 2006-06-12 18:43:41 as ** along with 1 person pollaeng
  • PR-Miner: automatically extracting implicit programming rules and detecting violations in large software code
    Vol. 30, No. 5. (September 2005), pp. 306-315.
    by Zhenmin Li, Yuanyuan Zhou
    posted to afmining by alec on 2006-06-12 18:41:20 as ** along with 3 people jespera pfrancis fgeller
  • Visualization of test information to assist fault localization
    (2002), pp. 467-477.
    by James A Jones, Mary J Harrold, John Stasko
    posted to afmining by alec on 2006-06-12 18:40:04 as ** along with 4 people V creswick emerson duckysherwood
  • Tracking down software bugs using automatic anomaly detection
    (2002), pp. 291-301.
    by Sudheendra Hangal, Monica S Lam
    posted to afmining by alec on 2006-06-12 18:38:41 as ** along with 2 people wjfjin irejectthispaper
  • Finding failures by cluster analysis of execution profiles
    (2001), pp. 339-348.
    by William Dickinson, David Leon, Andy Podgurski
    posted to afmining by alec on 2006-06-12 18:36:21 as **
  • Data mining and cross-checking of execution traces: a re-interpretation of Jones, Harrold and Stasko test information
    (2005), pp. 396-399.
    by Tristan Denmat, Mireille Ducass&\#233;, Olivier Ridoux
    posted to afmining by alec on 2006-06-12 18:34:56 as **
  • Lightweight Defect Localization for Java
    Lecture Notes in Computer Science, Vol. 3586 (2005), pp. 528-550.
    by Valentin Dallmeier, Christian Lindig, Andreas Zeller
    posted to afmining by alec on 2006-06-12 18:33:32 as **
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/alec

    Result page: 1 2 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.