[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#152199: ITP: cwi-xt -- Bundle of CWI tools



Package: wnpp
Version: N/A; reported 2002-07-07
Severity: wishlist

cwi tools are a set of packages from "Centrum voor Wiskunde en Informatica"(www.cwi.nl),
it includes metapackage cwi-xt and metapackage 0cwi-stratego.

packages list (classified by priority) :

Package name		: cwi-aterm
Version			: 1.6.7
Url			: http://www.cwi.nl/projects/MetaEnv/aterm/aterm-1.6.7.tar.gz
Upstream Authors	: Pieter Olivier <olivierp@cwi.nl>
			  Hayco de Jong  <jong@cwi.nl>
Licence			: LGPL
Description		: Data type (Tree) for exchange in distributed applications
 ATerm (short for Annotated Term) is an abstract data type designed
 for the exchange of tree-like data structures between distributed 
 applications. 
 .
 The ATerm library forms a comprehensive procedural interface which 
 enables creation and manipulation of ATerms in C. 
 The ATerm implementation is based on maximal subterm sharing and 
 automatic garbage collection. 
 .
 A binary exchange format for the concise representation of ATerms 
 (sharing preserved) allows the fast exchange of ATerms between 
 applications. In a typical application---parse trees which contain 
 considerable redundant information---less than 2 bytes are needed to 
 represent a node in memory, and less than 2 bits are needed to represent
 it in binary format. The implementation of ATerms scales up to the 
 manipulation of ATerms in the giga-byte range.


Package name		: cwi-toolbuslib
Version			: 0.2
Url			: http://www.cwi.nl/projects/MetaEnv/toolbuslib/toolbuslib-0.2.tar.gz
Build-depends		: cwi_aterm
Upstream Authors	: Hayco de Jong <jong@cwi.nl>
			  Merijn de Jonge <mdejonge@cwi.nl>
			  Paul Klint <paulk@cwi.nl>
			  Tobias Kuipers <kuipers@cwi.nl>
			  Pieter Oliver <olivierp@cwi.nl>
			  Jeroen Scheerder <js@cwi.nl>
Licence			: GPL
Description		: C Libraries needed to connect to the ToolBus
 The ToolBus library is a small software package that contains 
 C libraries needed for ToolBus clients to connect to the ToolBus.


Package name		: cwi-pt-support
Version			: 0.9
Url			: http://www.cwi.nl/projects/MetaEnv/pt-support/pt-support-0.9.tar.gz
Build-depends		: cwi_toolbus
fUpstream Authors	: jurgenv@cwi.nl
			  vandenbr@loria.fr
			  mdejonge@cwi.nl
			  markvdb@cwi.nl
			  jong@cwi.nl
Licence			: GPL
Description		: Librairies and Parse Tools for the parser tree format AsFix2
 This package provides a typed C interface for the construction and 
 manipulation of parse trees. This interface is based on the cwi_aterm 
 library. Part of it is generated automatically and another part is 
 written by hand. 
 .
 Among others, this package provides tools for unparsing and
 visualization of parse trees. There are also library functions and
 tools for flattening lexicals, lists and layout. AsFix2 with
 flattened lexicals, lists and layout is called AsFix2Me. This is the
 parse tree format that is used in the MetaEnvironment.


Package name		: cwi-sglr
Version			: 3.7
Url			: http://www.cwi.nl/projects/MetaEnv/sglr/sglr-3.7.tar.gz
Build-depends		: cwi-pt-support
Upstream Authors	: Jeroen Scheerder <js@cwi.nl>
Licence			: GPL
Description		: A scannerless generalized LR parser
 The SGLR parser interprets parse tables generated by the
 ParsetableGenerator from an SDF2 syntax definition. The parser
 outputs parse trees or parse forests. Scannerless means that no
 scanner is used to tokenize the input stream. SGLR takes characters
 as tokens and uses a parse table that contains enough information for
 both the lexical and the context-free syntax. Generalized means that
 the parser finds all possible derivations for a certain input string.
 .
 The effect is that an SGLR parser does not complain about conflicts 
 in the parse table. 


Package name		: cwi-srts
Version			: 0.8
Url			: http://www.stratego-language.org/ftp/srts-0.8.tar.gz
Builds-depends		: cwi-aterm
Upstream Authors	: Eelco Visser <visser@acm.org>
Licence			: GPL
Description		: The Stratego Run Time System
 Stratego is a modular language for the specification of 
 fully automatic program transformation systems based on the 
 paradigm of rewriting strategies.


package_name		: cwi-ssl
version			: 0.8
Url			: http://www.stratego-language.org/ftp/ssl-0.8beta1.tar.gz
Builds-depends		: cwi-srts
Upstream Authors	: Eelco Visser <visser@acm.org>
Licence			: GPL
Description		: Stratego Standard Library 
 Stratego is a modular language for the specification of 
 fully automatic program transformation systems based on the 
 paradigm of rewriting strategies.


Package name		: cwi-cgen
Version			: 0.8
Url			: http://www.stratego-language.org/ftp/cgen-0.8.tar.gz
Builds-depends		: cwi-ssl
Upstream Authors	: Eelco Visser <visser@acm.org>
Licence			: GPL
Description		: Generating C source code
 This is a package with utitilities supporting the generation 
 of C source code from Stratego code.

Package name		: cwi-gpp-boot
Version			: 2.2.1
Url			: http://www.stratego-language.org/ftp/cgen-0.8.tar.gz
Builds-depends		: cwi-ssl
Upstream Authors	: Eelco Visser <visser@acm.org>
Licence			: GPL
Description		: bootstrapped C sources of GPP
 The generic pretty-printer (GPP) packages inludes tools for unparsing and
 pretty-printing (formatting) parse trees of any context-free grammar
 represented in AsFix. The language independent markup language Box is 
 used to connect source language dependent front-ends to target
 language dependent back-ends. A front-end translates a term over a
 language to Box, to describe its intended layout. 
 A back-end translates a Box term to some output format


Package name		: cwi-sc-boot
Version			: 0.8
Url			: http://www.stratego-language.org/ftp/sc-boot-0.8.tar.gz
Builds-depends		: cwi-cgenm swi-gpp-boot
Upstream Authors	: Eelco Visser <visser@acm.org>
Licence			: GPL
Description		: bootstrapped compiler (generated C sources) 
 Stratego is a modular language for the specification of 
 fully automatic program transformation systems based on the 
 paradigm of rewriting strategies.


Package name		: cwi-asfix-tools
Version			: 0.3
Url			: http://www.cwi.nl/~mdejonge/downloads/asfix-tools-0.3.tar.gz
Builds-depends		: cwi-sc-boot
Upstream Authors	: Eelco Visser (visser@cs.uu.nl), Universiteit Utrecht
			  Joost Visser (jvisser@cwi.nl), CWI
			  Merijn de Jonge (mdejonge@cwi.nl), CWI
Licence			: GPL
Description		: Tools for AsFix manipulation
 This package contains a collection of tools for visualisation 
 and manipulation of AsFix parse trees. 


Package name		: cwi-graph-tools
Version			: 0.3
Url			: http://www.cwi.nl/~mdejonge/downloads/graph-tools-0.3.tar.gz
Builds-depends		: cwi-asfix-tools
Upstream Authors	: Eelco Visser (visser@cs.uu.nl), Universiteit Utrecht
			  Joost Visser (jvisser@cwi.nl), CWI
			  Merijn de Jonge (mdejonge@cwi.nl), CWI
Licence			: GPL
Description		: Tools for Graph manipulation
 This package contains a collection of tools for graph 
 representation and manipulation


Package name		: cwi-asf-support
Version			: 0.7
Url			: http://www.cwi.nl/projects/MetaEnv/asf-support/asf-support-0.7.tar.gz
Builds-depends		: cwi-pt-support
Upstream Authors	: markvdb@cwi.nl
			  jong@cwi.nl
			  jurgenv@cwi.nl
Licence			: GPL
Description		: Interface for creating and manipulating ASF rewrite systems
 The syntax of terms in ASF is user-defined, so this library only 
 contains an interface for the fixed parts of the ASF syntax.
 For handling terms in user-defined syntax, use the
 ParseTreeSupportLibrary.
 The larger part of the asf-support library is generated from the 
 syntax of ASF. 


Package name		: cwi-asc-support
Version			: 1.4
Url			: http://www.cwi.nl/projects/MetaEnv/asc-support/asc-support-1.4.tar.gz
Builds-depends		: cwi-asf-support
Upstream Authors	: Mark van den Brand (markvdb@cwi.nl)
			  Pieter Olivier (olivierp@cwi.nl)
Licence			: GPL
Description		: ASF+SDF runtime library
 The library libasc-support is a runtime library which is required
 to build stand-alone executables from C files generated by the 
 ASF+SDF compiler.


Package name		: cwi-sdf-support
Version			: 0.8
Url			: http://www.cwi.nl/projects/MetaEnv/sdf-support/sdf-support-0.8.tar.gz
Builds-depends		: cwi-pt-support
Upstream Author		: jurgenv@cwi.nl
			  jong@cwi.nl
			  markvdb@cwi.nl
Licence			: GPL
Description		: The SDF support library. 
 This library provides a programmers interface for manipulating 
 syntax definitions in the SDF2 formalism. The larger part of it 
 is generated from the syntax definition of SDF2, and some higher
 level functionality is written by hand. 


Package name		: cwi-pgen
Version			: 1.4
Url			: http://www.cwi.nl/projects/MetaEnv/pgen/pgen-1.4.tar.gz
Builds-depends		: cwi-sglr, cwi-sdf-support, cwi-asc-support
Upstream Authors	: Mark van den Brand (markvdb@cwi.nl)
Licence			: GPL
Description		: A parser generator for SDF to be used with sglr.
 A parse table generator for SDF2. This generator accepts arbitrary
 context-free grammars written in the grammar formalism SDF2. Grammars
 are first normalized to remove unneccessary syntactic sugar. What is
 left is a simple context-free grammar, for which an SLR automaton is
 generated. This parse table can be interpreted by the SGLR parser.


Package name		: cwi-gpp
Version			: 2.2
Url			: http://www.cwi.nl/~mdejonge/downloads/gpp-boot-2.2.1.tar.gz
Builds-depends		: cwi-asfix-tools, cwi-sglr, cwi-pgen,
graphviz, cwi-graph-tools, cwi-stratego
Upstream Author		: Merijn de Jonge (mdejonge@cwi.nl), CWI
Licence			: GPL
Description		: Generic pretty-printer package
 The generic pretty-printer packages inludes tools for unparsing and 
 pretty-printing (formatting) parse trees of any context-free grammar
 represented in AsFix. The language independent markup language Box is 
 used to connect source language dependent front-ends to target
 language dependent back-ends. A front-end translates a term over a
 language to Box, to describe its intended layout. 
 A back-end translates a Box term to some output format


Package name		: cwi-sdf-tools
Version			: 0.3
Url			: http://www.cwi.nl/~mdejonge/downloads/sdf-tools-0.3.tar.gz
Builds-depends		: cwi-graph-tools, cwi-pgen
Upstream Authors	: Eelco Visser (visser@cs.uu.nl), Universiteit Utrecht
			  Joost Visser (jvisser@cwi.nl), CWI
			  Merijn de Jonge (mdejonge@cwi.nl), CWI
Licence			: GPL
Description		: A collection of tools for operation on SDF modules
 SDF stands for Syntax Definition Formalism, and it s just that: 
 a formalism to define syntax.
 SDF is richer than BNF. It is modular. It can be used to define 
 lexical and context-free gram-mars alike. 
 It is supported by a parser generator.


Package name		: cwi-gb
Version			: 1.0
Url			: http://www.cwi.nl/~mdejonge/downloads/gb-1.0.tar.gz
Builds-depends		: cwi-asfix-tools, cwi-sdf-tools, cwi-sglr,
cwi-pgen, cwi-gpp
Upstream Authors	: Eelco Visser, Universiteit Utrecht
			  Joost Visser, CWI
			  Merijn de Jonge, CWI
Licence			: GPL
Description		: The Grammar Base, a collection of SDF grammars
 SDF stands for Syntax Definition Formalism, and it s just that: 
 a formalism to define syntax.
 SDF is richer than BNF. It is modular. It can be used to define 
 lexical and context-free gram-mars alike. 
 It is supported by a parser generator. 


Package name		: cwi-stratego-tools
Version			: 0.3
Url			: http://www.cwi.nl/~mdejonge/downloads/stratego-tools-0.3.tar.gz
Builds-depends		: cwi-graph-tools, cwi-pgen
Upstream Authors	: Eelco Visser (visser@cs.uu.nl), Universiteit Utrecht
			  Joost Visser (jvisser@cwi.nl), CWI
			  Merijn de Jonge (mdejonge@cwi.nl), CWI
Licence			: GPL
Description		: Tools for manipulation of Stratego programs
 This package contains a collection of tools for manipulation 
 and generation of Stratego programs.


Package name		: cwi-aterm-tools
Version			: 0.3
Url			: http://www.cwi.nl/~mdejonge/downloads/aterm-tools-0.3.tar.gz
Builds-depend		: cwi-stratego
Upstream Authors	: Eelco Visser (visser@cs.uu.nl), Universiteit Utrecht
			  Joost Visser (jvisser@cwi.nl), CWI
			  Merijn de Jonge (mdejonge@cwi.nl), CWI
Licence			: GPL
Description		: Tools for manipulation of ATerms.
 This package conatains a collection of tools for visualisation 
 and manipulation of ATerms.


Package name		: cwi-grammar-recovery
Version			: 0.3
Url			: http://www.cwi.nl/~mdejonge/downloads/grammar-recovery-0.3.tar.gz
Builds-depends		: cwi-asfix-tools, cwi-stratego, cwi-sdf-tools
upstream Authors	: Eelco Visser (visser@cs.uu.nl), Universiteit Utrecht
			  Joost Visser (jvisser@cwi.nl), CWI
			  Merijn de Jonge (mdejonge@cwi.nl), CWI
Licence			: GPL
Description		: A collection of tools for (SDF) grammar recovery. 
 SDF stands for Syntax Definition Formalism, and it s just that: 
 a formalism to define syntax.
 SDF is richer than BNF. It is modular. It can be used to define 
 lexical and context-free gram-mars alike. 
 It is supported by a parser generator.


Package name		: cwi-boxenv
Version			: 1.9
Url			: http://www.cwi.nl/~mdejonge/downloads/boxenv-1.9.tar.gz
Builds-depends		: cwi-stratego
Upstream Authores	: Merijn de Jonge (mdejonge@cwi.nl)
Licence			: GPL
Description		: A LaTeX style package used to process gpp LaTeX files
 The generic pretty-printer packages inludes tools for unparsing and 
 pretty-printing (formatting) parse trees of any context-free grammar
 represented in AsFix. The language independent markup language Box is 
 used to connect source language dependent front-ends to target
 language dependent back-ends. A front-end translates a term over a
 language to Box, to describe its intended layout. 
 A back-end translates a Box term to some output format


Package name		: cwi-stratego-front
Version			: 0.8
Url			: http://www.cwi.nl/~mdejonge/downloads/boxenv-1.9.tar.gz
Builds-depends		: cwi-stratego-tools, cwi-sdf-tools
Upstream Authors	: Merijn de Jonge (mdejonge@cwi.nl)
Licence			: GPL
Description		: The stratego compiler
 Stratego is a modular language for the specification of 
 fully automatic program transformation systems based on the 
 paradigm of rewriting strategies.
 .
 This package contains the front-end of the Stratego compiler.


Package name		: cwi-sc
Version			: 0.8 
Url			: http://www.stratego-language.org/ftp/sc-0.8.tar.gz
Builds-depends		: cwi-stratego-front
Upstream Authors	: Eelco Visser <visser@acm.org> 
Licence			: GPL
Description		: Stratego Compiler
 Stratego is a modular language for the specification of 
 fully automatic program transformation systems based on the 
 paradigm of rewriting strategies.
 .
 This package contains the Stratego compiler.


Package name		: cwi-stratego
Version			: 0.8
Buils-depends		: cwi-sc
Description		: Stratego Compiler
 A metapckage containing Stratego Compiler
 .
 Stratego is a modular language for the specification of 
 fully automatic program transformation systems based on the 
 paradigm of rewriting strategies.
 

Pakage name		: cwi-xt
Version			: 1.1
Builds-depends		: cwi-gb, cwi-grammar-recovery, cwi-boxenv, cwo-aterm-tools
Description		: Bundle of CWI tools
 A metapackage containing tools for building ProgramTransformation 
 systems. 
 The tools include parser generation, pretty-printing, 
 abstract syntax tree representation, tree transformation, 
 and building and bundling of systems.

-- System Information:
Debian Release: 3.0
Architecture: i386
Kernel: Linux speedblue 2.4.19-pre9 #6 Sat Jun 8 00:20:25 CEST 2002 i686
Locale: LANG=C, LC_CTYPE=C

-- no debconf information



-- 
To UNSUBSCRIBE, email to debian-wnpp-request@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org



Reply to: