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

dherman library [441 articles]

最近 dherman さんのライブラリ .
  • A technique for handling macro instructions
    Commun. ACM, Vol. 2, No. 11. (November 1959), pp. 21-22.
    by Irwin D Greenwald
    posted to extensible-syntax list-extensible-languages macros by dherman on 2008-03-18 14:53:59 as **
  • The Share 709 System: Programming and Modification
    J. ACM, Vol. 6, No. 2. (April 1959), pp. 128-133.
    by Irwin D Greenwald, Maureen Kane
    posted to list-extensible-languages by dherman on 2008-03-18 14:53:22 as **
  • A general purpose macrogenerator
    The Computer Journal, Vol. 8, No. 3. (1 March 1965), pp. 225-241.
    by C Strachey
    posted to extensible-syntax list-extensible-languages macros by dherman on 2008-03-18 14:52:49 as **
  • MP/1--a FORTRAN macroprocessor
    The Computer Journal, Vol. 14, No. 3. (1 March 1971), pp. 229-231.
    by IA Macleod
    posted to list-extensible-languages extensible-syntax macros by dherman on 2008-03-18 14:42:26 as **
  • Tabled evaluation with delaying for general logic programs
    Journal of the ACM, Vol. 43, No. 1. (1996), pp. 20-74.
    by Weidong Chen, David S Warren
    posted to backward-chaining datalog logic-programming by dherman on 2008-03-18 14:38:37 as **
  • What you always wanted to know about Datalog (and never dared to ask)
    Knowledge and Data Engineering, IEEE Transactions on, Vol. 1, No. 1. (1989), pp. 146-166.
    by S Ceri, G Gottlob, L Tanca
    posted to datalog logic-programming by dherman on 2008-03-18 14:35:55 as ** along with 4 people buchgeher dullhunk dyoo PierreDeL
  • Efficient Top-Down Computation of Queries under the Well-Founded Semantics
    Journal of Logic Programming, Vol. 24, No. 3. (1995), pp. 161-199.
    by Weidong Chen, Terrance Swift, David S Warren
    posted to backward-chaining datalog logic-programming by dherman on 2008-03-18 14:35:26 as **
  • SRFI 72: Hygienic macros
    by Andre van Tonder
    posted to hygiene macros by dherman on 2007-10-23 14:43:04 as ** along with 1 person dfisher
  • Dylan Reference Manual: Chapter 10 - Macros
    posted to extensible-syntax macros parsing by dherman on 2007-10-23 14:42:21 as **
  • Interlanguage Migration: From Scripts to Programs
    (October 2006)
    by Sam Tobin-Hochstadt, Matthias Felleisen
    posted to gradual-typing hybrid-typing type-dynamic typed-scheme by dherman on 2007-06-14 18:27:58 as ** along with 1 group NU-PRL
  • Amber
    (1986)
    by Luca Cardelli
    posted to amber dynamic-typing gradual-typing hybrid-typing type-dynamic by dherman on 2007-05-31 13:15:27 as ** along with 1 group NU-PRL
  • The Quest Language and System
    (1994)
    by L Cardelli
    posted to dynamic-typing gradual-typing hybrid-typing quest type-dynamic by dherman on 2007-05-31 13:12:40 as ** along with 1 person and 1 group tautologico NU-PRL
  • The Amber Machine
    (1986), pp. 48-70.
    by L Cardelli
    edited by G Cousineau, PL Curien, B Robinet
    posted to amber by dherman on 2007-05-31 13:07:48 as ** along with 1 group NU-PRL
  • The Cecil Language Specification and Rationale: Version 2.0
    (1995)
    by Craig Chambers
    posted to dynamic-typing gradual-typing hybrid-typing type-dynamic by dherman on 2007-05-31 13:05:39 as ** along with 1 person and 1 group Leho NU-PRL
  • Space-Efficient Gradual Typing
    (April 2007)
    by David Herman, Aaron Tomb, Cormac Flanagan
    posted to dynamic-typing gradual-typing hybrid-typing type-dynamic by dherman on 2007-05-31 12:49:51 as ** along with 1 person and 1 group jrw NU-PRL
  • Dynamics in ML
    Vol. 523 (1991), pp. 406-426.
    by Leroy Xavier, Michael Mauny
    edited by J Hughes
    posted to dynamic-typing gradual-typing hybrid-typing type-dynamic by dherman on 2007-05-31 12:48:24 as ** along with 1 person and 1 group jrw NU-PRL
  • Gradual Typing for Objects
    (2007)
    by Jeremy Siek, Walid Taha
    posted to dynamic-typing gradual-typing type-dynamic by dherman on 2007-05-31 12:41:36 as ** along with 1 person and 1 group jrw NU-PRL
  • Certification of programs for secure information flow
    Commun. ACM, Vol. 20, No. 7. (July 1977), pp. 504-513.
    by Dorothy E Denning, Peter J Denning
    posted to browser-security javascript security-flow-analysis by dherman on 2007-03-02 02:46:29 as ** along with 2 people and 1 group scavadini tesissvc NU-PRL
  • Moving Trust Out of Application Programs: A Software Architecture Based on Multi-Level Security Virtual Machines
    (2006)
    by Michael Franz
    posted to browser-security javascript vm by dherman on 2007-03-02 00:59:54 as ** along with 1 group NU-PRL
  • Cross Site Scripting Prevention with Dynamic Data Tainting and Static Analysis
    (February 2007)
    by Philipp Vogt, Florian Nentwich, Nenad Jovanovic, Engin Kirda, Christopher Kruegel, Giovanni Vigna
    posted to browser-security javascript security-flow-analysis tainting by dherman on 2007-03-02 00:50:07 as ** along with 1 group NU-PRL
  • Optimizing pattern matching
    (2001), pp. 26-37.
    by Fabrice Le Fessant, Luc Maranget
    posted to pattern-matching by dherman on 2007-02-19 17:13:23 as ** along with 1 group NU-PRL
  • The Tomita Parsing Algorithm (LR(k) with Dynamic Programming)
    by Mark Hopkins
    posted to parsing lr-parsing glr-parsing extensible-syntax by dherman on 2007-02-09 14:42:20 as ** along with 1 group NU-PRL
  • An Efficient Augmented-Context-Free Parsing Algorithm
    Computational Linguistics, Vol. 13, No. 1-2. (1987), pp. 31-46.
    by Masaru Tomita
    posted to parsing lr-parsing glr-parsing extensible-syntax by dherman on 2007-02-09 14:40:47 as ** along with 1 person and 1 group jonathlela NU-PRL
  • Generalized LR Parsing
    (1991)
    by M Tomita
    posted to parsing lr-parsing glr-parsing extensible-syntax by dherman on 2007-02-09 14:40:12 as ** along with 1 group NU-PRL
  • C Implementation of Tomita's Algorithm
    posted to parsing lr-parsing glr-parsing extensible-syntax by dherman on 2007-02-09 14:39:22 as ** along with 1 group NU-PRL
  • Wikipedia: LR parser
    posted to parsing lr-parsing extensible-syntax by dherman on 2007-01-10 14:13:19 as ** along with 1 group NU-PRL
  • Wikipedia: Simple LR parser
    posted to parsing lr-parsing extensible-syntax by dherman on 2007-01-10 14:12:39 as ** along with 1 group NU-PRL
  • Wikipedia: Canonical LR parser
    posted to parsing lr-parsing extensible-syntax by dherman on 2007-01-10 14:12:03 as ** along with 1 group NU-PRL
  • Wikipedia: GLR parser
    posted to parsing lr-parsing glr-parsing extensible-syntax by dherman on 2007-01-10 14:11:23 as ** along with 1 group NU-PRL
  • Wikipedia: LALR parser
    posted to parsing lr-parsing lalr-parsing extensible-syntax by dherman on 2007-01-10 14:10:39 as ** along with 1 group NU-PRL
  • Tomita-Style Generalised LR Parsers
    (December 2000)
    by Elizabeth Scott, Adrian Johnstone, Shamsa S Hussain
    posted to rmglr-parsing parsing lr-parsing glr-parsing extensible-syntax by dherman on 2007-01-10 14:04:37 as ** along with 1 group NU-PRL
  • Right nulled GLR parsers
    ACM Trans. Program. Lang. Syst., Vol. 28, No. 4. (July 2006), pp. 577-618.
    by Elizabeth Scott, Adrian Johnstone
    posted to rnglr-parsing parsing lr-parsing glr-parsing extensible-syntax by dherman on 2007-01-10 14:01:54 as ** along with 1 group NU-PRL
  • Generalized Bottom Up Parsers With Reduced Stack Activity
    The Computer Journal, Vol. 48, No. 5. (1 January 2005), pp. 565-587.
    by Elizabeth Scott, Adrian Johnstone
    posted to parsing lr-parsing glr-parsing extensible-syntax by dherman on 2007-01-10 13:55:26 as ** along with 1 group NU-PRL
  • Lexer and Parser Generators in Scheme
    (2004)
    by Scott Owens, Matthew Flatt, Olin Shivers, Benjamin Mcmullan
    posted to parsing meta-programming lr-parsing lalr-parsing extensible-syntax by dherman on 2007-01-10 13:53:20 as ** along with 1 person and 1 group ryanc NU-PRL
  • Evaluating GLR parsing algorithms
    Sci. Comput. Program., Vol. 61, No. 3. (August 2006), pp. 228-244.
    by Adrian Johnstone, Elizabeth Scott, Giorgios Economopoulos
    posted to parsing lr-parsing glr-parsing extensible-syntax by dherman on 2007-01-10 13:51:49 as ** along with 1 group NU-PRL
  • Efficient Computation of LALR(1) Look-Ahead Sets
    ACM Trans. Program. Lang. Syst., Vol. 4, No. 4. (October 1982), pp. 615-649.
    by Frank Deremer, Thomas Pennello
    posted to parsing lr-parsing lalr-parsing glr-parsing extensible-syntax by dherman on 2007-01-10 13:50:09 as ** along with 1 person and 1 group ajk NU-PRL
  • A Generated Parser of C++
    by Warwick Irwin, Neville Churcher
    posted to parsing lr-parsing glr-parsing extensible-syntax by dherman on 2007-01-10 13:48:37 as ** along with 1 group NU-PRL
  • A Hybrid GLR Algorithm for Parsing with Epsilon Grammars
    No. 1994-004. (FebruaryFebruary, 1994)
    by Marwan Shaban
    posted to parsing lr-parsing glr-parsing extensible-syntax by dherman on 2007-01-10 13:47:24 as ** along with 1 group NU-PRL
  • Generalized left corner parsing
    (1977), pp. 170-182.
    by Alan J Demers
    posted to parsing lc-parsing extensible-syntax by dherman on 2007-01-10 13:47:02 as ** along with 1 person and 1 group jonathlela NU-PRL
  • Elkhound Algorithm
    by Scott Mcpeak
    posted to parsing lr-parsing glr-parsing extensible-syntax elkhound by dherman on 2007-01-10 13:46:10 as ** along with 1 group NU-PRL
  • Elkhound: A Fast, Practical GLR Parser Generator (Addendum)
    (September 2004)
    by Scott Mcpeak
    posted to parsing lr-parsing glr-parsing extensible-syntax elkhound by dherman on 2007-01-10 13:44:05 as ** along with 1 group NU-PRL
  • Elkhound: A Fast, Practical GLR Parser Generator
    (December 2002)
    by Scott Mcpeak
    posted to parsing lr-parsing glr-parsing extensible-syntax elkhound by dherman on 2007-01-10 13:39:54 as ** along with 1 group NU-PRL
  • Grammars and Parsing - Chapter 11
    (2001)
    by Johan Jeuring, Doaitse Swierstra
    posted to parsing lr-parsing ll-parsing extensible-syntax by dherman on 2007-01-10 13:31:15 as ** along with 1 group NU-PRL
  • Grammars and Parsing
    (2001)
    by Johan Jeuring, Doaitse Swierstra
    posted to parsing lr-parsing ll-parsing extensible-syntax by dherman on 2007-01-10 13:25:33 as ** along with 1 group NU-PRL
  • Generalised Reduction Modified LR Parsing for Domain Specific Language Prototyping
    (2002)
    by A Johnstone, E Scott
    posted to parsing lr-parsing glr-parsing extensible-syntax by dherman on 2007-01-10 13:22:03 as ** along with 1 group NU-PRL
  • Compilers: Principles, Techniques, and Tools (2nd Edition)
    (31 August 2006)
    by Alfred V Aho, Monica S Lam, Ravi Sethi, Jeffrey D Ullman
    posted to parsing extensible-syntax compiler by dherman on 2007-01-10 13:20:52 as ** along with 5 people and 1 group jasmithoffice rob_quill mldechert chandlerc dfisher NU-PRL
  • Modeling Erlang in the pi-calculus
    (2005), pp. 72-77.
    by Thomas Noll, Chanchal K Roy
    posted to erlang pi-calculus by dherman on 2006-11-15 18:57:38 as ** along with 6 people and 3 groups tautologico bfraser keigoi tov janschaefer mcclurmc NU-PRL TU-KL-SoftwareTechnologyGroup Lambda the Ultimate
  • A Framework for Certified Program Analysis
    by And I Applications
    posted to certified-analysis modular-analysis by dherman on 2006-11-15 18:55:42 as ** along with 1 group NU-PRL
  • Javascript Instrumentation for Browser Security
    by Dachuan Yu, Ajay Chander, Nayeem Islam, Igor Serikov
    posted to browser-security javascript by dherman on 2006-11-15 18:52:51 as ** along with 1 group NU-PRL
  • The second Futamura projection for type-directed partial evaluation
    (1999), pp. 22-32.
    by Bernd Grobauer, Zhe Yang
    posted to partial-evaluation by dherman on 2006-10-28 11:05:25 as ** along with 1 group NU-PRL
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/dherman

    Result page: 1 2 3 4 5 6 7 8 9 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.