Adam Granicz, Jason Hickey  Home/Search
Context Related
| hawaii.edu/HICSS36/HICSSp...STDSL02.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: hawaii.edu/HICS...icHICSS__36Web (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper describes a practical approach for implementing domain-specific languages with extensible compilers. Given a compiler with one or more front-end languages, we introduce the idea of a "generic" front-end that allows the syntactic and semantic specification of domainspecific languages. Phobos, our generic front-end, offers modular language specification, allowing the programmer to define new syntax and semantics incrementally. (Update)
Cited by: More
Reliable Frameworks for Extensible Compilers - Jason Hickey Nathan (Correct)
Compiler Implementation in a Formal Logical Framework - Hickey, Nogin, Granicz.. (2003) (Correct)
Formal Compiler Implementation in a Logical Framework - Hickey, Nogin, Granicz.. (2003) (Correct)
Similar documents (at the sentence level):
38.5%: Extensible Compilers - Granicz, Hickey (Correct)
37.4%: Phobos: A front-end approach to extensible compilers - Granicz, Hickey (2002) (Correct)
Active bibliography (related documents): More All
0.4: Automatic Generation of Language-based Tools Using.. - Henriques, Pereira, .. (2004) (Correct)
0.3: MetaPRL - A Modular Logical Environment - Hickey, Nogin, Constable.. (2003) (Correct)
0.3: Rewriting UNITY - Granicz, Zimmerman, Hickey (Correct)
Similar documents based on text: More All
0.4: Formal Design Environments - Aydemir, Granicz, Hickey (2002) (Correct)
0.2: Process Migration and Transactions Using a Novel.. - Hickey, Smith.. (2002) (Correct)
Related documents from co-citation: More All
9: Sequent schema for derived rules (context) - Nogin, Hickey
7: The MetaPRL Logical Programming Environment (context) - Hickey - 2001
6: Process migration and transactions using a novel intermediate language - Hickey, Smith et al. - 2002
BibTeX entry: (Update)
A. Granicz and J. Hickey. Phobos: A front-end approach to extensible compilers (long version). Technical Report caltechCSTR:2002.006, Computer Science Dept., California Institute of Technology, 2002. http://citeseer.ist.psu.edu/granicz03phobos.html More
@misc{ granicz02phobos,
author = "A. Granicz and J. Hickey",
title = "Phobos: A front-end approach to extensible compilers",
text = "A. Granicz and J. Hickey. Phobos: A front-end approach to extensible compilers
(long version). Technical Report caltechCSTR:2002.006, Computer Science
Dept., California Institute of Technology, 2002.",
year = "2002",
url = "citeseer.ist.psu.edu/granicz03phobos.html" }
Citations (may not include all citations):99 Handbook of Theoretical Computer Science (context) - Leeuwen - 1990
82 Algebraic Semantics of Imperative Programs (context) - Goguen, Malcolm - 1996
53 The semantics of reflected proof - Allen, Constable et al. - 1990
41 Objective ML: A simple object-- oriented extension of ML (context) - emy, Vouillon - 1997
29 Formal aspects and development environments for Montages - Anlauff, Kutter et al. - 1997
25 Deterministic parsing of ambiguous grammars (context) - Aho, Johnson et al. - 1975
19 The MetaPRL Logical Programming Environment (context) - Hickey - 2001
18 Semantics of programming languages: a tool-oriented approach - Heering, Klint - 2000
16 Sequent schema for derived rules (context) - Nogin, Hickey - 2002
16 The Java syntactic extender (context) - Bachrach, Playford - 2001
14 Extensible syntax with lexical scoping - Cardelli, Matthes et al. - 1994
12 Phobos: A front-end approach to extensible compilers - Granicz, Hickey - 2002
10 Rewrite Proofs and Computations - Jouannaud - 1995
8 SmartTools: A Generator of Interactive Environments Tools - Attali, Courbis et al. - 2027
7 Fast tactic-based theorem proving - Hickey, Nogin - 2000
6 Yacc: a parser generator (context) - Johnson, Sethi - 1990
4 Modern compiler implementation in ML: basic techniques (context) - Appel - 1997
4 LISA: An Interactive Environment for Programming Language De.. (context) - Marjan, Mitja et al. - 2002
4 Compiling Rewrite Systems: The ASF+SDF Compiler (context) - van den Brand, Heering et al. - 2002
3 Ganz and Amr Sabry and Walid Taha (context) - Steven - 2001
1 Une extension de l'interpretation de G odel al'analyse (context) - Girard - 1971
1 ACM SIGSOFT Software Engineering Notes (context) - az, analysis et al. - 1990
1 Appears in NASA technical report NASA/ CP (context) - Aydemir, Granicz et al. - 2002
1 ANon-type-theoretic Definition of Martin-L of's Types (context) - Allen - 1987
http://mojave.cs.caltech.edu
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.hicss.hawaii.edu/HICSS36/jicHICSS_-_36Web.htm): More
Applying Multiple Query Optimization in Mobile Databases - Malladi, Davis (2003) (Correct)
Synthesizing Evocative Imagery through Design Patterns - Russell, Dieberger (2003) (Correct)
Evaluating Telemedicine Systems Success: A Revised Model - Hu (2003) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC