Diomidis Spinellis  Home/Search
Context Related
| kerkis.math.aegean.gr/~ds...haskell.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: kerkis.math.aegean.gr/~dspin/p... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This report describes the design and implementation of HASKELL system. The areas implemented are the lexical analysis, parsing, intepretation of the lambda tree, and machine code generation. Because of the size, complexity and novelty of the language many of these areas present particular difficulty. A considarable amount of meta-programming was used in order to tackle the size of the project. Contents Introduction v 1 Lexical Analysis 1 1.1 Technical Overview 1 1.2 General Description 3 1.3... (Update)
Context of citations to this paper: More
.... system can be roughly divided into the following parts: Lexical analysis: The Haskell source is scanned converting the text into tokens [29]. Parsing: The stream of tokens from the lexical analyser is converted into a parse tree [29] Type checking: The parse tree is type...
Cited by: More
Implementing Haskell: Language Implementation as a Tool Building .. - Spinellis (1993) (Correct)
Active bibliography (related documents): More All
1.1: The Design and Implementation of a Two Process Prolog Debugger - Spinellis (1989) (Correct)
0.8: Trace: A Tool for Logging Operating System Call Transactions - Spinellis (1994) (Correct)
0.5: A Backtracking LR Algorithm for Parsing Ambiguous.. - Thurston, Cordy (2006) (Correct)
Similar documents based on text: More All
0.1: A Bibliography of Publications of Diomidis Spinellis - Diomidis Spinellis University (Correct)
0.0: Information Security Best Practice Dissemination: The.. - Spinellis, Gritzalis (1999) (Correct)
0.0: Lightweight Languages as Software Engineering Tools - Spinellis, al. (1997) (Correct)
Related documents from co-citation: More All
2: Analysis of pointer (context) - Suzuki - 1982
2: Programming with modules as typed functional programming (context) - Burstall - 1985
2: LaTeX: A Document Preparation System (context) - Lamport - 1986
BibTeX entry: (Update)
Spinellis D (1990) An implementation of the Haskell language. Project report, Imperial College, Department of Computing, London, UK. http://citeseer.ist.psu.edu/spinellis90implementation.html More
@mastersthesis{ spi90b,
School="Imperial College",
Author="Diomidis Spinellis",
Title="An Implementation of the {H}askell Language",
Year="1990",
Month=jun,
Address="London, UK",
url = "citeseer.ist.psu.edu/spinellis90implementation.html" }
Citations (may not include all citations):2732 Communicating sequential processes (context) - Hoare - 1978
476 Programming Language (context) - Kernighan, Ritchie - 1978
271 YACC -- yet another compiler-compiler - Johnson - 1975
257 Smalltalk 80: The Language and its Implementation (context) - Goldberg - 1980
227 Kernighan and Dennis M (context) - Brian - 1988
218 The mechanical evaluation of expressions (context) - Landin - 1963
206 Cambridge University Press (context) - Press, Flannery et al. - 1988
162 Programming in Modula (context) - Wirth - 1985
143 A new implementation technique for applicative languages (context) - Turner - 1979 DBLP
139 Recursive functions of symbolic expressions and their comput.. - McCarthy - 1960 ACM
132 Lex -- a lexical analyzer generator (context) - Lesk - 1975
109 The Implementation of Functional Programming Languages (context) - Jones - 1987
97 The AWK Programming Language (context) - Aho, Kernighan et al. - 1988 ACM
76 Software---Practice and Experience (context) - Wirth, implemenation - 1977
69 LATEX: A Document Preparation System (context) - Lamport - 1985 ACM
57 and Jeffrey D (context) - Aho, Sethi - 1985
39 selfdocumenting display editor (context) - Stallman, The et al. - 1984
37 Software---Practice and Experience (context) - Hanson, optimizations - 1983
37 Software--- Practice and Experience (context) - Lamb, of et al. - 1981
30 Field and Peter G (context) - Anthony - 1988
28 Awk -- a pattern scanning and processing language (context) - Aho, Kernighan et al. - 1979
26 Language development tools (context) - Johnson, Lesk - 1987
24 Harbison and Guy L (context) - Samuel - 1987
24 Software--- Practice and Experience (context) - Bailey, of et al. - 1985
24 Software--- Practice and Experience (context) - Lichtman, of et al. - 1986
24 Software---Practice and Experience (context) - Marks, PL - 1984
24 Software---Practice and Experience (context) - Waite, of - 1986
22 Communications of the ACM (context) - Bentley - 1986
21 Software--- Practice and Experience (context) - Robson, of - 1983
17 Software---Practice and Experience (context) - Klint - 1981
16 Report on the programming language haskell (context) - Hudak, Wadler et al. - 1989 ACM
16 Report on the programming language haskell (context) - Hudak, Wadler et al. - 1990 ACM
16 TBL -- a program to format tables (context) - Lesk - 1982
15 A system for typesetting mathematics - Kernighan, Cherry ACM DBLP
15 Xerox Palo Alto Research Center (context) - Teitelman, Manual - 1978
15 A typesetter-independent TROFF (context) - Kernighan
14 flex: fast lexical analyzer generator (context) - Paxson - 1989
14 A tour through the portable C compiler - Johnson - 1982
12 Computer Science andTechnologyDivision (context) - Warren, Prolog et al. - 1983
12 An introduction to the C shell (context) - Joy - 1986
11 Register allocation and exhaustive peephole optimization (context) - Davidson - 1984 DBLP
11 Computing Surveys (context) - Aho, Johnson - 1974
10 Implementation of an interpreter for abstract equations (context) - Hoffmann, O'Donnel et al. - 1985 ACM DBLP
8 Mkscan --- an interactive scanner generator (context) - Horspool, Levy - 1987
8 Software---Practice and Experience (context) - Griss, Hearn et al. - 1981
7 Software--- Practice and Experience (context) - Van Wyk, glue - 1986
7 evolution and application of functional programming language.. (context) - Hudak - 1989
7 Writing Efficient Programs (context) - Bentley - 1982 ACM
6 The evolution of UNIX system performance (context) - Feder - 1984
6 language calling sequence (context) - Johnson, Ritchie - 1981
6 Technical Report (context) - Cardelli, machine - 1985
6 Perl -- Practical Extraction and Report Language (context) - Wall - 1988
6 An introduction to the unix shell (context) - Bourne - 1986
5 The automatic generation of fast lexical analysers (context) - Heuring - 1986 ACM DBLP
4 Design of a LISP-based microprocessor (context) - Steele, Gerald - 1980 ACM DBLP
4 Parsing distfix operators (context) - Jones - 1986 ACM DBLP
4 Interpretation and code generation based on intermediate lan.. (context) - Kornerup, Kristensen et al. - 1980 DBLP
4 fsh --- a functional UNIX command interpreter (context) - Donald - 1987
3 Programming the User Inteface (context) - Brown, Cunningham - 1989
3 Programming in an interactive environment (context) - Sandewall - 1978
3 Error message management (context) - Douglas - 1990 ACM
3 db Reference Manual (context) - Naish - 1984
3 TROFF user's manual (context) - Ossanna - 1982
3 Computer-aided production of language implementation systems.. (context) - Lecarme, Pellissier et al. - 1982 DBLP
3 Distributed by the Free Software Foundation (context) - Stallman, compiler - 1989
2 Software---Practice and Experience (context) - Dedourek, Gujar et al. - 1980
2 UNIX TimeSharing System (context) - AT - 1985
2 Posted in the Usenet newsgroup comp (context) - Spinellis, profiler et al. - 1989
1 Associative arrays (context) - Bentley - 1985 ACM DBLP
1 A low-cost implementaion of coroutines for C (context) - Bailes - 1985
1 PEP: an interactive programming system with an algol-like pr.. (context) - an, Verster - 1984 DBLP
1 Free Software Foundation (context) - Close, Robbins et al. - 1989
1 Treatment of tab characters by a compiler (context) - Waite - 1985
1 NE 36th Way (context) - Corporation - 1988
1 UNIX programming (context) - Kernighan, Ritchie - 1982
1 Top-down design within a functional environment (context) - Leith - 1984
1 Software--- Practice and Experience (context) - Palme, the et al. - 1982
1 Rinehart and Winston (context) - manual, Holt - 1982
1 A Standard for Testing Application Software (context) - Perry - 1987 ACM
1 Software and Interfacing Techniques (context) - Triebel, Singh et al. - 1986
1 Communications of the ACM (context) - Suzuki, pointer - 1982
1 my system gives excellent error messages (context) - Brown - 1982
1 Statistics for FORTRAN identifiers and scatter storage techn.. (context) - Luri, Vandoni - 1973 DBLP
1 Grep wars: The strategic search initiative (context) - Hume - 1988
1 Hume of Bell Laboratories (context) - Hume, of - 1990
1 Does APL really neeed run-time parsing (context) - Strawn - 1977
1 Exploiting machinespecific pointer operations in abstract ma.. (context) - Fraser, Hanson - 1982
1 Software---Practice and Experience (context) - Sethi, actions - 1984
1 Foresman and Company (context) - Smith, Johnson et al. - 1987
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