Ralf Lämmel, et al.  Home/Search
Context
Related
| cwi.nl/~ralf/plp.ps 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.vu.nl/Laptob/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We describe a Prolog-based approach to the development of language processors (such as preprocessors, frontends, evaluators, tools for software modification and analysis). The design of the corresponding environment Laptob for prological language processing is outlined. Language processor definitions in Laptob are basically Prolog programs. The programs might contain grammars, that is, we consider logic grammars. The programs can be typed, and they can be higher-order. The adaptation and... (Update)
Active bibliography (related documents): More All
1.7: Applications of Logic Programming in Software Engineering - Ciancarini, Levi (1995) (Correct)
1.2: Roles of Program Extension - Lämmel, Riedewald, Lohmann (2000) (Correct)
1.1: Reconstruction of Paradigm Shifts - Lämmel, Riedewald (1999) (Correct)
Similar documents based on text: More All
0.3: Model Checking the Garbage Collection Mechanism of SMV - Eisner (2001) (Correct)
0.3: Test Case Characterisation By Regular Path Expressions - Lämmel, Harm (Correct)
0.2: Prological Features In A Functional Setting Axioms And.. - Hinze (1998) (Correct)
BibTeX entry: (Update)
@misc{ mmel-prological,
author = "Ralf Lämmel and et al.",
title = "Prological Language Processing",
url = "citeseer.ist.psu.edu/476638.html" }
Citations (may not include all citations):440 The Art of Prolog (context) - Sterling, Shapiro - 1994
210 Functional Programming with Bananas (context) - Meijer, Fokkinga et al. - 1991
191 A meta-environment for generating programming environments (context) - Klint - 1993
179 The Godel Programming Language (context) - Hill, Lloyd - 1994
135 Definite Clause Grammars for Language Analysis---A Survey of.. (context) - Pereira, Warren - 1980
127 Centaur: the system - Borras, Clement et al. - 1988
120 Monad transformers and modular interpreters - Liang, Hudak et al. - 1995
109 A polymorphic type system for PROLOG (context) - Mycroft, O'Keefe - 1984
99 Building Program Optimizers with Rewriting Strategies - Visser, Benaissa et al. - 1998
94 ACM Transactions on Programming Languages and Systems (context) - Brogi, Mancarella et al. - 1994
70 A Grammatical View of Logic Programming (context) - Deransart, Maluszy'nski - 1993
59 Flexible Compiler Construction System (context) - Gray, Heuring et al. - 1992
45 Typol: A formalism to implement natural semantics (context) - Despeyroux - 1988
37 Software---Practice and Experience (context) - Warren, compiler - 1980
36 Compiler Design (context) - Wilhelm, Maurer - 1995
35 implementation and evaluation of the FNC-2 attribute grammar.. (context) - Jourdan, Parigot et al. - 1990
30 ACM Transactions on Programming Languages and Systems (context) - Cohen, Hickey et al. - 1987
30 A Tool Box for Compiler Construction (context) - Grosch, Emmelmann - 1990
29 An overview of ELAN (context) - Borovansk'y, Kirchner et al. - 1998
28 Number 26 in Cambridge Tracts in Theoretical Computer Scienc.. (context) - Mosses - 1992
27 Directional Types and the Annotation Method - Boye, Maluszynski - 1997
18 Semantics of programming languages: A tool-oriented approach - Heering, Klint - 2000
17 The Language Development Laboratory - Harm, Lammel et al. - 1997
16 Dealing with Large Bananas - Lammel, Visser et al.
13 Skeletons and Techniques as a Normative Approach to Program .. - Kirschenbaum, Michaylov et al. - 1996
13 A Workbench for Developing Logic Programs by Stepwise Enhanc.. (context) - Lakhotia - 1989
13 Springer-Verlag (context) - Dahl, Abramson - 1989
10 ObjectOriented Environments: The Mjlner Approach (context) - Knudsen, Loefgren et al. - 1994
10 Definite Clause Translation Grammars (context) - Abramson - 1984
10 A sentence generator for testing parsers (context) - Purdom - 1972
8 Higher Order Logic Programming in Prolog - Naish - 1996
7 The LDL -- Language Development Laboratory (context) - Riedewald - 1991
7 Prolog in Practical Compiler Writing (context) - Paakki - 1991
7 The LDL---Language Development Laboratory (context) - Riedewald - 1992
7 Compiler prototyping using formal semantics (context) - Pleban - 1984
6 Software Testing for Conventional and Logic Programming (context) - Jack - 1996
5 Two-dimensional Approximation Coverage - Harm, Lammel - 2000
4 The Design of a Language Processor Generator (context) - Koskimies, Nurmi et al. - 1988
4 A Logic-Based Modification of Attribute Grammars for Practic.. (context) - Paakki - 1990
4 Entwicklung einer Sprache zur Unterstutzung von Design Patte.. (context) - Bunnig - 1999
4 Declarative aspect-oriented programming (context) - Lammel
3 Effective Meta-programming in Declarative Languages - Bowers - 1998
3 Compilerkonstruktion und Grammatiken syntaktischer Funktione.. (context) - Riedewald - 1979
3 logic-programming (context) - Standard, www - 1995
2 A semantic evaluator generating system in prolog (context) - Henriques
2 Using an attribute grammar as a logic program (context) - Riedewald, Lammel
2 Reconstruction of paradigm shifts (context) - Lammel, Riedewald - 1999
2 Test-case generation from Prolog-based specifications (context) - Denney - 1991
2 Automatic implementation of programming languages using obje.. - Zumer, Korbar et al. - 1997
2 Roles of Program Extension - Lammel, Riedewald et al. - 2000
1 Programming Design Patterns (context) - Forbrig, Lammel
1 Formal Syntax and Semantics --- A Laboratory Based Approach (context) - Slonneger, Kurtz - 1995
1 LPS---a Language Prototyping System (context) - Gayo - 2000
1 Automatisierte Generierung von Benutzungsschnittstellen (context) - Kiaupat - 1999
1 A note on the speed of prolog (context) - Paakki - 1988
1 Programming Languages Implementation and Logic Programming (context) - Deransart, Lorho et al. - 1989
1 Rapid Prototyping of Programming Language Semantics Using Pr.. (context) - Bryant, Pan - 1989
1 Umsetzung allgemeiner Integritatsbedingungen in Vor- und Nac.. (context) - Tetzner - 1997
1 MODEL-HS - An Approach to Specify Hybrid Systems for Symboli.. (context) - Tetzner, Riedewald - 1999
1 Methodological and Tool Support for a TaskOriented Developme.. (context) - Dittmar, Forbrig - 1999
1 Towards an Expert System for Compiler Writing (context) - Abramson - 1987
1 A practical implementation of DCGs (context) - Paakki - 1990
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