About site: Programming/Languages/Haskell/Libraries - A Compiler Toolkit in Haskell
Return to Computers also Computers
  About site: http://www.cse.unsw.edu.au/~chak/haskell/ctk/

Title: Programming/Languages/Haskell/Libraries - A Compiler Toolkit in Haskell A set of modules for creating compilers in Haskell. [Open Source, GPL]
Top_Free_Graphics Links to templates, graphics, animation, Flash, fonts, wallpapers, and screensavers.

HIPPI-Serial HIPPI 800 and 1600 serial specification.

infoDNS Domain name search, registration and services.

RFC_0973 Domain System Changes and Observations. P.V. Mockapetris. January 1986 .

Scobleizer Robert Scoble comments on technology news, especially that related to blogging and the Internet.

Ross,_Meg_-_digitalMeg Provides design and digital illustration services.

  Alexa statistic for http://www.cse.unsw.edu.au/~chak/haskell/ctk/





Get your Google PageRank






Please visit: http://www.cse.unsw.edu.au/~chak/haskell/ctk/
  Related sites for http://www.cse.unsw.edu.au/~chak/haskell/ctk/
    Lars_Sam Includes downloads for the SAM Coupé, PC freeware programs, special versions of Spectrum 128K games with SAA1099 support, and instant loading, a Sample Editor, where you can edit your favorite 4 bit
    Polar_Systems,_Inc_ Offers a range of services relating to local-area and wide-area network design, installation, administration and support.
    Firewall_Comparison__Checkpoint_Firewall-1_and_Cisco_PIX One consulting firm's views on setup, licensing, tech support, 3rd party modules, platform dependence, documentation, logging and pricing.
    RFC_1824 The Exponential Security System TESS: An Identity-Based Cryptographic Protocol for Authenticated Key-Exchange (E.I.S.S.-Report 1995/4). H. Danisch. August 1995.
    RFC_2741 Agent Extensibility (AgentX) Protocol Version 1. M. Daniele, B. Wijnen, M. Ellison, D. Francisco. January 2000.
    A_Descent_into_Limbo Article by Brian W. Kernighan.
    Insession_Technologies Offers business software and services that facilitate communication, data movement, transaction processing, workflow and systems monitoring across incompatible systems and the Internet.
    Oak_Leaf_Enterprises Mere Mortals framework for Visual FoxPro.
    Henry\'s_Hints_on_Web_Access Discusses the invisible image techniques for text only browsers.
    KriYan_Software_Technologies Offers various accounting packages.
    BACFUG_(San_Francisco_Bay_Area_ColdFusion_User_Group) The official Adobe ColdFusion user group for the San Francisco Bay Area. Host monthly meetings and a help/job mailing list.
    GF-admin A simple content management system. Support for news, pages, sections, comments and multiple site styles.
    International_Knowledge_Measurement IKM provides online skills assessment with brands such as TeckChek for IT Professionals since 1987.
    RFC_3022 Traditional IP Network Address Translator (Traditional NAT). P. Srisuresh, K. Egevang. January 2001.
    Bumpzee__Australian_Blogs Top blog entries and most popular blog entries for the Australian Blogs community at Bumpzee.
    SISC__Second_Interpreter_of_Scheme_Code Extensible, Java-based interpreter of full implementation of Scheme R5RS standard; uses modern interpretation methods, outperforms extant JVM interpreters, often by over 10 times. [Open Source MPL, GP
    Codalogic_LMX__XML_Schema_to_C++_binding_compiler Easy-to-use tool for compiling XML schema into C++ classes.
    Who_Does Free Web-based project management software, task and time planning, team collaboration and documents sharing.
    Web2Pop Allows the reading of Web-based e-mail accounts through standard e-mail clients.
    Namesco_Limited Offers a domain name registration service, virtual and dedicated server hosting with access to MySQL, PHP, ASP and Frontpage extensions, and e-commerce support.
This is websites2007.org cache of m/ as retrieved on 2008.10.10 websites2007.org's cache is the snapshot that we took of the page as we crawled the web. The page may have changed since that time.
A Compiler Toolkit in Haskell

A Compiler Toolkit in Haskell

Functional languages like Haskell are ideal for implementing compilers. Complemented with a lexer and parser generator, they provide much of the functionality and ease-of-use associated with specialized compiler tools (aka compiler compilers) while being more flexible, better supported, and guaranteeing better long time availability. There is a significant set of functionality that is required in each compiler like symbol table management, input-output operations, error management, and so on, which are good candidates for code reuse. The Compiler Toolkit is an attempt to provide an open collection of modules for these recurring tasks in a popular functional language. The toolkit is used for the interface generator C->Haskell. Although the toolkit is developed with the Glasgow Haskell Compiler (GHC), a special effort is made to keep the system portable. In fact, all code that is either not Haskell 98 is located in a single module. Furthermore, the code is well commented, additional documentation is provided in a technical report, and the source code of two compilers currently developed on top of the toolkit is available. A subset of the toolkit, called CTKlight, that essentially provides support for implementing syntactical analysis plus some utilities without the other, more heavy-weight features of the toolkit is available separately. It works with both GHC and Hugs 98. The latest news: *new* [18 May 5] Version 0.27.0 of CTK and CTKlight have been released; they contain support for GHC 6.4 packages [10 May 5] Version 0.26.2 of CTK and CTKlight have been released

Functionality

Currently, the toolkit provides functionality in three main areas plus some infrastructure like a sophisticated makefile system and some utility routines. General Purpose This includes finite maps, pretty printing, and generation of unique names. Symbols & Attributes Datatypes and routines for handling identifiers, attribute tables, and hierarchical name spaces. State Monad-based handling of compiler-global state (tracking and formating of error messages, exception handling, management of compiler options, and so on) and phase-local state information (identifier-object associations, error recovery information, and so on). Syntax Self-optimizing combinators for lexical and syntactical analysis. The parser combinators are based on ideas from Swierstra & Duponcheel (but don't support error correction yet). The lexer combinators are similar in spirit, as they - at runtime - generate a state transition table to speed up the recognition process, but the applied technique is (as far as I know) original - a paper is available. In a small compiler project, these two modules can be used without the state handling (to make for a more light-weight system). See Chapter 5 in the documentation and CTKlight. Of special interest might be the implementation of structure tree attributes, as it is rather different from the "traditional way" of building compilers in functional languages. Instead of being stored directly in the structure tree, the attributes are located in separate attribute tables that are indexed by attribute identifiers contained in each tree node. This minimizes the need to modify the structure tree during attribute evaluation and makes it easy to discard no longer needed attributes.

Usability

In its current state, the Compiler Toolkit already provides a significant amount of core functionality, which is reasonably well tested. While it is still consider to be a beta and has not undergone much performance debugging, it is already expected it to be helpful to somebody starting a new compiler effort.

Software

To build the code, you need a reasonably recent version of the Glasgow Haskell Compiler. Release ctk-0.27.0.tar.gz Release ctk-0.26.0.tar.gz CTKlight The following releases of the Compiler Toolkit Light are available: ctkl-0.27.0-src.tar.gz ctkl-0.26.0-src.tar.gz Copyleft and Feedback The code is covered by the GPL (GNU General Public License); CTKlight is available under the LGPL (GNU Library General Public License). Bug reports, comments, suggestions, and code contributions should be directed to chak@cse.unsw.edu.au

Acknowledgements

Sven Panne authored the module GetOpt.hs for processing command-line arguments. Gabriele Keller, Roman Lechtchinsky, Wolf Pfannenstiel, and Martin Simons provided feedback in the context of the Nepal compiler project. Simon L. Peyton Jones suggested a number of valuable improvements to the self-optimising lexer library. This page is part of Manuel Chakravarty's WWW-stuff. Last modified: Wed May 18 14:50:56 EST 2005
 

A

set

of

modules

for

creating

compilers

in

Haskell.

[Open

Source,

GPL]

http://www.cse.unsw.edu.au/~chak/haskell/ctk/

A Compiler Toolkit in Haskell 2008 October

dvd rental

dvd


A set of modules for creating compilers in Haskell. [Open Source, GPL]

Rules

© 2008 Internet Explorer 5+ or Netscape 6+
Recommended Sites: 1. Arts - Business - Computers - Games - Health - Home - Kids and Teens - News - Recreation - Reference - Regional - Science - Shopping - Society - Sports - World Miss Gallery - Top Anime Hentai - DVD rental by mail - Samsung - Loans - The eBay Song - Debt Help - Premade MySpace Layouts
2008-10-10 21:42:11

Copyright 2005, 2006 by Webmaster
Websites is cool :) 227Drzwi - Hotel Ginebra - Wesele - Konie - Torebki