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

Group: NU-PRL - library [757 articles]

グループ NU-PRL のメンバーが最近追加した論文の一覧
  • Haskell 98 Language and Libraries: The Revised Report
    (05 May 2003)
    by Simon P Jones
    posted to haskell by samth to the group NU-PRL on 2007-09-11 03:11:57 as ** along with 2 people tov jimburton
  • Interlanguage Migration: From Scripts to Programs
    (October 2006)
    by Sam Tobin-Hochstadt, Matthias Felleisen
    posted to typed-scheme type-dynamic hybrid-typing gradual-typing by dherman to the group NU-PRL on 2007-06-14 18:27:58 as **
  • Amber
    (1986)
    by Luca Cardelli
    posted to type-dynamic hybrid-typing gradual-typing dynamic-typing amber by dherman to the group NU-PRL on 2007-05-31 13:15:27 as **
  • The Quest Language and System
    (1994)
    by L Cardelli
    posted to type-dynamic quest hybrid-typing gradual-typing dynamic-typing by dherman to the group NU-PRL on 2007-05-31 13:12:40 as ** along with 1 person tautologico
  • The Amber Machine
    (1986), pp. 48-70.
    by L Cardelli
    edited by G Cousineau, PL Curien, B Robinet
    posted to amber by dherman to the group NU-PRL on 2007-05-31 13:07:48 as **
  • The Cecil Language Specification and Rationale: Version 2.0
    (1995)
    by Craig Chambers
    posted to type-dynamic hybrid-typing gradual-typing dynamic-typing by dherman to the group NU-PRL on 2007-05-31 13:05:39 as ** along with 1 person Leho
  • Space-Efficient Gradual Typing
    (April 2007)
    by David Herman, Aaron Tomb, Cormac Flanagan
    posted to type-dynamic hybrid-typing gradual-typing dynamic-typing by dherman to the group NU-PRL on 2007-05-31 12:49:51 as ** along with 1 person jrw
  • Dynamics in ML
    Vol. 523 (1991), pp. 406-426.
    by Leroy Xavier, Michael Mauny
    edited by J Hughes
    posted to type-dynamic hybrid-typing gradual-typing dynamic-typing by dherman to the group NU-PRL on 2007-05-31 12:48:24 as ** along with 1 person jrw
  • Gradual Typing for Objects
    (2007)
    by Jeremy Siek, Walid Taha
    posted to type-dynamic gradual-typing dynamic-typing by dherman to the group NU-PRL on 2007-05-31 12:41:36 as ** along with 1 person jrw
  • Key Exchange Protocols: Security Definition, Proof Method and Applications
    by Anupam Datta, Ante Derek, John C Mitchell, Bogdan Warinschi
    posted to security keyexchange by assnoodles to the group NU-PRL on 2007-05-10 11:38:02 as ***
  • Nominal Techniques in Isabelle/HOL
    : Automated Deduction – CADE-20 (2005), pp. 38-53.
    by Christian Urban, Christine Tasson
    posted to nominal by samth to the group NU-PRL on 2007-04-05 20:25:33 as read
  • 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 to the group NU-PRL on 2007-03-02 02:46:29 as ** along with 2 people scavadini tesissvc
  • 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 to the group NU-PRL on 2007-03-02 00:59:54 as **
  • 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 to the group NU-PRL on 2007-03-02 00:50:07 as ** along with 1 person praveenbala
  • Optimizing pattern matching
    (2001), pp. 26-37.
    by Fabrice Le Fessant, Luc Maranget
    posted to pattern-matching by dherman to the group NU-PRL on 2007-02-19 17:13:23 as **
  • The Tomita Parsing Algorithm (LR(k) with Dynamic Programming)
    by Mark Hopkins
    posted to parsing lr-parsing glr-parsing extensible-syntax by dherman to the group NU-PRL on 2007-02-09 14:42:20 as **
  • 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 to the group NU-PRL on 2007-02-09 14:40:47 as ** along with 1 person jonathlela
  • Generalized LR Parsing
    (1991)
    by M Tomita
    posted to parsing lr-parsing glr-parsing extensible-syntax by dherman to the group NU-PRL on 2007-02-09 14:40:12 as **
  • C Implementation of Tomita's Algorithm
    posted to parsing lr-parsing glr-parsing extensible-syntax by dherman to the group NU-PRL on 2007-02-09 14:39:22 as **
  • Wikipedia: LR parser
    posted to parsing lr-parsing extensible-syntax by dherman to the group NU-PRL on 2007-01-10 14:13:19 as **
  • Wikipedia: Simple LR parser
    posted to parsing lr-parsing extensible-syntax by dherman to the group NU-PRL on 2007-01-10 14:12:39 as **
  • Wikipedia: Canonical LR parser
    posted to parsing lr-parsing extensible-syntax by dherman to the group NU-PRL on 2007-01-10 14:12:03 as **
  • Wikipedia: GLR parser
    posted to parsing lr-parsing glr-parsing extensible-syntax by dherman to the group NU-PRL on 2007-01-10 14:11:23 as **
  • Wikipedia: LALR parser
    posted to parsing lr-parsing lalr-parsing extensible-syntax by dherman to the group NU-PRL on 2007-01-10 14:10:39 as **
  • 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 to the group NU-PRL on 2007-01-10 14:04:37 as **
  • 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 to the group NU-PRL on 2007-01-10 14:01:54 as **
  • 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 to the group NU-PRL on 2007-01-10 13:55:26 as **
  • 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 to the group NU-PRL on 2007-01-10 13:53:20 as ** along with 1 person ryanc
  • 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 to the group NU-PRL on 2007-01-10 13:51:49 as **
  • 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 to the group NU-PRL on 2007-01-10 13:50:09 as ** along with 1 person ajk
  • A Generated Parser of C++
    by Warwick Irwin, Neville Churcher
    posted to parsing lr-parsing glr-parsing extensible-syntax by dherman to the group NU-PRL on 2007-01-10 13:48:37 as **
  • 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 to the group NU-PRL on 2007-01-10 13:47:24 as **
  • Generalized left corner parsing
    (1977), pp. 170-182.
    by Alan J Demers
    posted to parsing lc-parsing extensible-syntax by dherman to the group NU-PRL on 2007-01-10 13:47:02 as ** along with 1 person jonathlela
  • Elkhound Algorithm
    by Scott Mcpeak
    posted to parsing lr-parsing glr-parsing extensible-syntax elkhound by dherman to the group NU-PRL on 2007-01-10 13:46:10 as **
  • 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 to the group NU-PRL on 2007-01-10 13:44:05 as **
  • Elkhound: A Fast, Practical GLR Parser Generator
    (December 2002)
    by Scott Mcpeak
    posted to parsing lr-parsing glr-parsing extensible-syntax elkhound by dherman to the group NU-PRL on 2007-01-10 13:39:54 as **
  • Grammars and Parsing - Chapter 11
    (2001)
    by Johan Jeuring, Doaitse Swierstra
    posted to parsing lr-parsing ll-parsing extensible-syntax by dherman to the group NU-PRL on 2007-01-10 13:31:15 as **
  • Grammars and Parsing
    (2001)
    by Johan Jeuring, Doaitse Swierstra
    posted to parsing lr-parsing ll-parsing extensible-syntax by dherman to the group NU-PRL on 2007-01-10 13:25:33 as **
  • 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 to the group NU-PRL on 2007-01-10 13:22:03 as **
  • 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 to the group NU-PRL on 2007-01-10 13:20:52 as ** along with 6 people Neeperando mldechert chandlerc dfisher rob_quill jasmithoffice
  • Modeling Erlang in the pi-calculus
    (2005), pp. 72-77.
    by Thomas Noll, Chanchal K Roy
    posted to erlang pi-calculus by dherman to the group NU-PRL on 2006-11-15 18:57:38 as ** along with 6 people and 2 groups tautologico bfraser keigoi tov janschaefer mcclurmc TU-KL-SoftwareTechnologyGroup Lambda the Ultimate
  • A Framework for Certified Program Analysis
    by And I Applications
    posted to certified-analysis modular-analysis by dherman to the group NU-PRL on 2006-11-15 18:55:42 as **
  • Javascript Instrumentation for Browser Security
    by Dachuan Yu, Ajay Chander, Nayeem Islam, Igor Serikov
    posted to browser-security javascript by dherman to the group NU-PRL on 2006-11-15 18:52:51 as **
  • Linear Abadi and Plotkin Logic
    (1 Nov 2006)
    by Lars Birkedal, Rasmus E Møgelberg, Rasmus L Petersen
    posted to coinduction linear-logic programming-logic recursive-types by JacquesC to the group NU-PRL on 2006-11-02 13:52:04 as **
  • The second Futamura projection for type-directed partial evaluation
    (1999), pp. 22-32.
    by Bernd Grobauer, Zhe Yang
    posted to partial-evaluation by dherman to the group NU-PRL on 2006-10-28 11:05:25 as **
  • Online type-directed partial evaluation for dynamically-typed languages
    by E Sumii, N Kobayashi
    posted to dynamic-typing partial-evaluation by dherman to the group NU-PRL on 2006-10-28 11:05:01 as ** along with 1 person JeffreyPalmer
  • Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation
    (1998), pp. 240-252.
    by Vincent Balat, Olivier Danvy
    posted to eval partial-evaluation staged-programming strong-normalization by dherman to the group NU-PRL on 2006-10-28 11:04:31 as **
  • Type-directed partial evaluation
    (1996), pp. 242-257.
    by Olivier Danvy
    posted to partial-evaluation by dherman to the group NU-PRL on 2006-10-28 11:03:19 as ** along with 2 people JeffreyPalmer keigoi
  • Towards a Cost-Effective Estimation of Uncaught Exceptions in SML Programs
    (1997), pp. 98-113.
    by Kwangkeun Yi, Sukyoung Ryu
    posted to control exception-analysis exceptions return by dherman to the group NU-PRL on 2006-10-28 10:49:33 as **
  • Assessing the Overhead of ML Exceptions by Selective CPS Transformation
    (September 1998)
    by Jung-Taek Kim, Kwangkeun Yi, Olivier Danvy
    posted to continuations cps exception-analysis exceptions return by dherman to the group NU-PRL on 2006-10-28 10:47:43 as **
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/group/8

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