Niels H. Christensen  Home/Search
Context Related
| diku.dk/diku/semantics/pa...D497.ps.gz 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: diku.dk/topps/bibliography...2003 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: State Machines (ASM) -- a semantic formalism in which a source program is mapped to an abstract imperative program performing updates on a state. The state of an ASM is a model of a first-order logic with a finite number of predicates and function symbols. (Update)
Similar documents based on text: More All
0.2: Binding-Time Analysis in Partial Evaluation: One Size.. - Christensen, Glück.. (2000) (Correct)
0.1: Towards Format Repositories for Web Archives - Christensen (2004) (Correct)
0.1: Design and Implementation of Simple Object.. - Mernik, Novak.. (2001) (Correct)
BibTeX entry: (Update)
N. H. Christensen. Domain-specific languages in software development -- and the relation to partial evaluation. PhD thesis, DIKU, Dept. of Computer Science, University of Copenhagen, Universitetsparken 1, DK-2100 Copenhagen East, Denmark, July 2003. http://citeseer.ist.psu.edu/christensen03domainspecific.html More
@misc{ christensen03domainspecific,
author = "N. Christensen",
title = "Domain-specific languages in software development -- and the relation to
partial evaluation",
text = "N. H. Christensen. Domain-specific languages in software development --
and the relation to partial evaluation. PhD thesis, DIKU, Dept. of Computer
Science, University of Copenhagen, Universitetsparken 1, DK-2100 Copenhagen
East, Denmark, July 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/christensen03domainspecific.html" }
Citations (may not include all citations):1399 Compilers Principles (context) - Aho, Sethi et al. - 1986
638 Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
309 Symbolic Logic and Mechanical Theorem Proving (context) - Chang, Lee - 1973
242 Concurrent Programming in Erlang - Armstrong, Virding et al.
232 Program Analysis and Specialization for the C Programming La.. (context) - Andersen - 1994
165 Generative Programming: Methods (context) - Czarnecki, Eisenecker - 2000
109 Theoretical Computer Science (context) - Cardelli, Gordon - 2000
98 Mix: a self-applicable partial evaluator for experiments in .. (context) - Jones, Sestoft et al. - 1989
96 Automatic autoprojection of recursive equations with global .. - Bondorf, Danvy - 1991
85 An experiment in partial evaluation: the generation of a com.. (context) - Jones, Sestoft et al. - 1985
76 A uniform approach for compile-time and run-time specializat.. - Consel, Hornof et al. - 1996
76 a better support of static data flow - Consel, Danvy - 1991
73 and machine-independent dynamic code generation (context) - Engler, Hsieh et al. - 1996
68 Including group-by in query optimization - Chaudhuri, Shim - 1994
57 Modern Compiler Implementation in Java (context) - Appel - 1998
43 Accurate binding-time analysis for imperative languages: flo.. - Hornof, Noye - 1999
41 Automatic program specialization: a re-examination from basi.. (context) - Jones - 1988
39 Improving binding times without explicit CPS-conversion (context) - Bondorf - 1992
38 The Join-Calculus: a Calculus for Distributed Mobile Program.. (context) - Fournet - 1998
38 Static and dynamic semantics processing - Consel, Danvy - 1991
35 Generalized partial computation (context) - Futamura, Nogi - 1988
34 Computability and Complexity from a Programming Perspective (context) - Jones - 1997
31 Language Prototyping: An Algebraic Specification Approach (context) - van Deursen, Heering et al. - 1996
29 Modular domain specific languages and tools - Hudak - 1998
28 Polyvariant binding-time analysis for applicative languages - Consel - 1993
27 Compiling embedded languages - Elliott, Finne et al. - 2000
26 Polyvariant mixed computation for analyzer programs (context) - Bulyonkov - 1984
25 Toward parametric verification of open distributed systems - Dam, Fredlund et al. - 1998
18 Occam's razor in metacomputation: the notion of a perfect pr.. - Gluck, Klimov - 1993
18 Generating optimizing specializers (context) - Gluck, Jrgensen - 1994
18 Fixpoint computation for polyvariant static analyses of high.. - Ashley, Consel - 1994
17 Architecturing software using: A methodology for language de.. - Consel, Marlet - 1998
17 Compiler generation by partial evaluation: a case study (context) - Gomard, Jones - 1991
16 The development of Erlang - Armstrong - 1997
16 KHEPERA: A system for rapid implementation of domain specifi.. - Faith, Nyland et al. - 1997
15 A partial evaluator and its use as a programming tool (context) - Beckman, Haraldson et al. - 1976
15 Partial evaluation scheme for concurrent languages and its c.. - Hosoya, Kobayashi et al. - 1996
14 Programming pearls: Little languages (context) - Bentley - 1986
12 the partial computation principle (context) - Ershov - 1977
11 Partial evaluation of computing process -- an approach to a .. (context) - Futamura - 1999
9 Self-applicable partial evaluation for the pi-calculus - Gengler, Martel - 1996
9 Verification of erlang programs using abstract interpretatio.. (context) - Huch - 1999
9 A formalism for translator interactions (context) - Earley, Sturgis - 1970
9 Binding-time analysis for both static and dynamic expression.. - Asai - 1999
7 Extracting polyvariant binding time analysis from polyvarian.. (context) - Bulyonkov - 1993
7 Included in the Similix distribution (context) - Bondorf, Manual et al. - 1993
7 The metafront system: Extensible parsing and transformation - Brabrand, Schwartzbach et al. - 2003
7 and binding-time analysis (context) - Jones, Glenstrup et al. - 2002
7 Research on domain-specific embedded languages and program g.. - Kamin - 1998
6 Partial deduction and driving are equivalent - Gluck, Srensen - 1994
5 BTA algorithms to ensure termination of off-line partial eva.. - Glenstrup, Jones - 1996
4 XML in a nutshell (context) - Harold, Means - 2002
4 Industrial applications of ASF+SDF (context) - van den Brand, van Deursen et al. - 1996
4 Binding-time analysis and the taming of C pointers - Andersen - 1993
4 An introduction to online and offline partial evaluation usi.. (context) - Hatcliff - 1999
3 Department of Information Technology (context) - Carlsson, Gustavsson et al. - 2000
3 Binding-time analysis in partial evaluation: one size does n.. - Christensen, Gluck et al. - 2000
3 The five orders of ignorance (context) - Armour - 2000
3 line and off-line partial evaluation: semantic specification.. (context) - Consel, Khoo - 1995
3 Cc - a generic framework for domain specific languages - Fromherz, Gupta et al. - 1997
2 Lecture Notes in Computer Science (context) - Czarnecki, sterbye et al. - 2002
2 A calculus of mobile resources - Godskesen, Hildebrandt et al. - 2002
2 and the strength of program specializers (context) - Gluck, binding-time - 2002
1 Handbook of Programming Languages (context) - Hudak - 1998
1 Building program generators the easy way (context) - Kamin
1 Practice and Theory (context) - Glenstrup, Makholm et al. - 1999
1 Post Mortems from Game Developer (context) - Grossman - 2003
1 The business of software: Zeppelins and jet planes: a metaph.. (context) - Armour - 2001
1 uncol diagram (context) - Bratman, form - 1961
1 A roadmap to metacomputation by supercompilation (context) - Gluck, Srensen - 1996
1 Albert Kriegshaber (context) - Kleinrubatscher
1 Understanding Relational Database Query Languages (context) - Dietrich - 2001
1 Staging analysis using abstraction-based program specializat.. (context) - Hatcliff, Dwyer et al. - 1998
Documents on the same site (http://www.diku.dk/topps/bibliography/2003.html): More
Transforming Interpreters into Inverse Interpreters by.. - Glück, Kawada, al. (2003) (Correct)
A Program Inverter for a Functional Language with Equality and .. - Glück, Kawabe (2003) (Correct)
Automatic Program Specialization for Java - Schultz, Lawall, Consel (2000) (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