Eelco Visser  Home/Search
Context
Related
| cs.uu.nl/~visser/ft...Vis95AMILP.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: cs.uu.nl/~visser/ftp/index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ) Eelco Visser Programming Research Group, University of Amsterdam, Kruislaan 403, NL-1098 SJ Amsterdam, The Netherlands email: visser@fwi.uva.nl, http://adam.fwi.uva.nl/visser/ Abstract Context-free grammars can be used in algebraic specification instead of first-order signatures to define the structure of algebras. The rigidity of these first-order structures enforces a choice between strongly typed structures with little genericity or generic operations over untyped structures.... (Update)
Similar documents (at the sentence level):
13.1%: Polymorphic Syntax Definition - Visser (1997) (Correct)
10.6%: Syntax Definition for Language Prototyping - Visser (1997) (Correct)
Active bibliography (related documents): More All
0.5: The family of Affix Grammars - Koster (1995) (Correct)
0.5: The Compiler Construction System GENTLE - Manual and Tutorial - Vollmer (1992) (Correct)
0.3: Unknown - Type Prod List (Correct)
Similar documents based on text: More All
0.3: Solving Type Equations in Multi-Level Specifications - Visser (1996) (Correct)
0.3: Using Filters for the Disambiguation of Context-free Grammars - Klint, Visser (1994) (Correct)
0.2: Unknown - Then The Set (Correct)
BibTeX entry: (Update)
@misc{ visser-polymorphic,
author = "Eelco Visser",
title = "Polymorphic Syntax Definition (Extended Abstract)",
url = "citeseer.ist.psu.edu/visser95polymorphic.html" }
Citations (may not include all citations):809 A theory of type polymorphism in programming (context) - Milner - 1978
343 Principal typeschemes for functional programs (context) - Damas, Milner - 1982
135 Definite Clause Grammars for language analysis---a survey of.. (context) - Pereira, Warren - 1980
128 Efficient Parsing for Natural Languages (context) - Tomita - 1985
82 Principles of OBJ (context) - Futatsugi, Goguen et al. - 1985
58 Memoing for Logic Programs (context) - appear - 1992
24 Formal Syntax and Semantics of Programming Languages (context) - Slonneger, Kurtz - 1995
17 How to make algebraic specifications more understandable: An.. (context) - Bidoit, Gaudel et al. - 1989
16 A family of syntax definition formalisms - Visser - 1995
10 Equational specification of abstract types and combinators (context) - Meinke
6 ATLAS: A typed language for algebraic specification (context) - Hearn, Meinke - 1994
6 Writing meta-level specifications in ASF+SDF (context) - Klint - 1994
4 Combinatory Algebraic Specification & Compilation of List Ma.. - Visser - 1993
2 Revised Report on the Algorithmic Language Algol (context) - Koster, Sintzoff et al. - 1976
2 Existence of a van Wijngaarden syntax for every recursively .. (context) - Sintzoff - 1967
1 Initial algebra semantics and continuous algebras (context) - Reid, Conference et al. - 1977
1 volume 626 of Lecture Notes in Computer Science (context) - Boerger, Jaeger et al.
1 Functional programs with multi-level signatures (context) - Visser - 1996
1 and Warren (context) - Intelligence, Pereira - 1983
Documents on the same site (http://www.cs.uu.nl/~visser/ftp/index.html): More
Generation of Formatters for Context-free Languages - van den Brand, Visser (1995) (Correct)
Specification of Rewriting Strategies - Luttik, Visser (1997) (Correct)
A Case Study in Optimizing Parsing Schemata by Disambiguation.. - Visser (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