Sergei Abramov, Robert Glück  Home/Search
Context Related
| diku.dk/diku/semantics/pa...D354.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/researchgroups/to...1998 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper, semantics modifiers exist for a wide class of computational problems, including non-standard computation, program analysis and (Update)
Context of citations to this paper: More
.... approximations or set based analysis) 12] Interpreters Language independence can be achieved through the interpretive approach [18, 7, 1]: an interpreter serves as mediator between a (domain specific) language and the language for which the program transformer is defined....
.... Abramov and Robert Gluck x P y (1) Inverse interpreter inv int (2) Inverse compiler x P 1 y P inv comp As shown in [3, 4], inverse computation and program inversion can be related conveniently using the Futamura projections known from partial evaluation: a program...
Cited by: More
From Standard To Non-Standard Semantics By Semantics Modifiers - Abramov, Glück (2001) (Correct)
The Universal Resolving Algorithm: Inverse Computation in a.. - Abramov, Glück (2000) (Correct)
Abstraction-Based Partial Deduction for Solving Inverse.. - Glück, Leuschel (2000) (Correct)
Active bibliography (related documents): More All
1.3: A Roadmap to Metacomputation by Supercompilation - Glück, Sĝrensen (1996) (Correct)
0.4: Occam's Razor in Metacomputation: the Notion of a Perfect.. - Glück, Klimov (1993) (Correct)
0.3: Jones Optimality, Binding-Time Improvements, and the Strength of.. - Glück (Correct)
Similar documents based on text: More All
0.3: Combining Semantics with Non-Standard Interpreter Hierarchies - Abramov, Glück (2000) (Correct)
0.2: The Universal Resolving Algorithm and Its Correctness.. - Abramov, Glück (2002) (Correct)
0.2: Better Nonstandard Universes With Applications - Jin (1997) (Correct)
Related documents from co-citation: More All
3: Program transformation with metasystem transitions (context) - Turchin - 1993
3: Running programs backwards: the logical inversion of imperative computation - Ross - 1997
2: Ehkvivalentnye preobrazovanija rekursivnykh funkcij na Refale (context) - Turchin - 1972
BibTeX entry: (Update)
S.M. Abramov, R. Gluck. Semantics modifiers: An approach to non-standard semantics of programming languages. In M. Sato, Y. Toyama (eds.), International Symposium on Functional and Logic Programming, 247--270. World Scientific, 1998. http://citeseer.ist.psu.edu/abramov98semantics.html More
@inproceedings{ abramov98semantics,
author = "Sergei M. Abramov and Robert Gl{\"u}ck",
title = "Semantics Modifiers: an Approach to Non-Standard Semantics of Programming Languages",
booktitle = "Third Fuji International Symposium on Functional and Logic Programming",
publisher = "World Scientific",
editor = "Masahiko Sato and Yoshihito Toyama",
pages = "247--270",
year = "1998",
url = "citeseer.ist.psu.edu/abramov98semantics.html" }
Citations (may not include all citations):638 Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
257 Report on the Programming Language Haskell (context) - Hudak - 1992
138 Abstract Interpretation of Declarative Languages (context) - Abramsky, Hankin - 1987
85 An experiment in partial evaluation: the generation of a com.. (context) - Jones, Sestoft et al. - 1985
57 The concept of a supercompiler (context) - Turchin - 1986
39 Journal of Functional Programming (context) - Gluck, generation - 1994
37 Occam's razor in metacomputation: the notion of a perfect pr.. (context) - Gluck, Klimov - 1993
30 The algorithm of generalization in the supercompiler (context) - Turchin - 1988
29 An experimental program transformation and synthesis system (context) - Darlington - 1981
25 the essence of compilation (context) - Ershov - 1978
19 Program transformation with metasystem transitions (context) - Turchin - 1993
18 Generating optimizing specializers (context) - Gluck, Jorgensen - 1994
11 Partial evaluation of computing process -- an approach to a .. (context) - Futamura - 1971
11 Running programs backwards: the logical inversion of imperat.. - Ross - 1997
10 Inversion and metacomputation (context) - Yu - 1991
7 The generation of inverse functions in Refal (context) - Yu - 1988
7 Polyvariant expansion and compiler generators - Thiemann, Sperber - 1996
6 Function inversion (context) - Harrison - 1988
5 Metacomputation and its applications (context) - Abramov, prilozhenija - 1995
5 Metacomputation and program testing (context) - Abramov - 1993
4 Ehkvivalentnye preobrazovanija rekursivnykh funkcij na Refal.. (context) - Turchin - 1972
1 Metavychislinija i logicheskoe programmirovanie (context) - Abramov - 1991
Documents on the same site (http://www.diku.dk/research-groups/topps/bibliography/1998.html): More
Conjunctive Partial Deduction: Foundations.. - De Schreye.. (1994) (Correct)
A Precise Version of the Time Hierarchy for Language - Ben-Amram (1998) (Correct)
Pointer Machines and Pointer Algorithms: an Annotated Bibliography - Ben-Amram (1995) (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