Lisa A. Walton  Home/Search
Context
Related
| ogi.edu/PacSoft/publication...ppiso.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: ogi.edu/PacSoft/pub...bibliograph (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A Domain-Speci#c Language #DSL# is a small, usually declarative, language expressiveover the distinguishing characteristics of a set of programs in a particular problem domain. Often they are used as input to application generators that create program instances possessing the distinguishing characteristics described in input speci#cations. When reasoning about the correctness of a generated application with respect to some criteria, it quite useful to be able to utilize the logic of the... (Update)
Similar documents (at the sentence level):
58.6%: Generating the Parser-Pretty-Printer Isomorphism.. - Walton (1998) (Correct)
Active bibliography (related documents):
0.5: Towards Reliable Modelling with Stochastic Process Algebras - Bradley (1999) (Correct)
Similar documents based on text: More All
0.2: Pattern-driven Reduction in Haskell - Harrison, Kieburtz (2002) (Correct)
0.2: From Domain Analysis to Domain-Specific Languages - Lisa Walton (1998) (Correct)
0.2: Defining and Implementing Closed, Domain-Specific Languages - Kieburtz (2000) (Correct)
BibTeX entry: (Update)
@misc{ walton-generating,
author = "Lisa A. Walton",
title = "Generating the Parser-Pretty-Printer Isomorphism (Correct-by-Construction
Proofs of Properties of Domain-Specic Language)",
url = "citeseer.ist.psu.edu/walton98generating.html" }
Citations (may not include all citations):1 Software Engineering Institute (context) - translation, report - 1989
1 Marina del Rey CA (context) - Institute - 1994
1 Modular denotational semantics (context) - CIS-, Kansas et al. - 1993
1 A software engineering experiment in software component gene.. (context) - rey, Dino et al. - 1996
Documents on the same site (http://church.cse.ogi.edu/PacSoft/publications/bibliograph.html): More
Reactive Functional Programming - Kieburtz (1998) (Correct)
Combining Closure Conversion with Closure Analysis using.. - Tolmach (1997) (Correct)
From Interpreter to Compiler using Staging and Monads - Sheard, Benaissa (1998) (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