- Haskell - Haskell.org

FME'2002, 2nd CFP
by Lars-Henrik Eriksson 10 Dec '01

10 Dec '01

apologies if you receive multiple copies... FORMAL METHODS EUROPE FME 2002 "Formal Methods: Getting IT Right" International Symposium and Tutorials http://floc02.diku.dk/FME/ 20-24 July 2002 Second Call for Papers ********************** FME 2002 is the eleventh in a series of symposia organised by Formal Methods Europe, an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. These symposia have been notably successful in bringing together a community of users, researchers, and developers of precise mathematical methods for software development. In 2002 the symposium will be held in conjunction with the third Federated Logic Conference (FLoC'02) in Copenhagen, Denmark. The theme of FME 2002 is Formal Methods: Getting IT Right. The double meaning is intentional. On the one hand, the theme acknowledges the significant contribution formal methods can make to Information Technology, by enabling computer systems to be described precisely and reasoned about with rigour. On the other hand, it recognises that current formal methods are not perfect, and further research and practice are required to improve their foundations, applicability and effectiveness. FME seeks papers in all aspects of formal methods for computer systems, including the following: * theoretical foundations * practical use and case studies * specification and modelling techniques * software development and refinement * tool support and software engineering environments for formal methods * verification and validation * hidden formal methods, and making benefits available to non-experts * reusable domain theories * method integration * hardware verification In addition to presentations of submitted papers, the symposium will offer tutorials, workshops, invited speakers, and tool demonstrations. PAPERS Full papers should be submitted in Postscript or PDF format by e-mail to reach the Program Co-chairs by 15 January 2002. Papers will be refereed by the Program Committee and must be original research papers that have not been submitted elsewhere for publication. Accepted papers will be published in the symposium proceedings. Papers should not exceed twenty pages, although longer papers will be considered if their content justifies it. LNCS format should be used: see http://www.springer.de/comp/lncs/authors.html for details. Please include a short list of keywords on a separate line at the end of the abstract, beginning with the word "Keyword:" in boldface. OTHER SYMPOSIUM ACTIVITIES Tutorials and workshops will be held on 20-21 July 2002. Each tutorial will last one-half or one day. Proposals are welcome, and should be directed to the Program Co-chairs by 15 January 2002; more details will appear on the web-site above. Tool demonstrations will also take place during the symposium, with the opportunity for presentations to be made about each tool. Proposals for tool demonstrations should be made to the Tool Demonstration Coordinator, with whom provison of necessary computing facilities should be discussed. PEOPLE Organising Chair Dines Bjørner Informatics and Mathematical Modelling Building 322, Richard Petersens Plads Technical University of Denmark DK-2800 Lyngby, Denmark Tel: +45 4525 3720 Email: db(a)imm.dtu.dk Programme Co-chairs Lars-Henrik Eriksson, Industrilogik L4i AB Box 6205, SE-102 34 Stockholm, Sweden Tel: +46 8 670 37 10 Fax: +46 8 32 12 82 Email: lhe(a)L4i.se Peter Lindsay, Software Verification Research Centre The University of Queensland, Queensland 4072, Australia Tel: +61 7 3365 2005 Fax: +61 7 3365 1533 Email: Peter.Lindsay(a)svrc.uq.edu.au Programme Committee Bernhard Aichernig Graz University of Technology, Austria Juan Bicarregui Rutherford Appleton Laboratory, UK Ernie Cohen Telcordia Technologies, USA Ben Di Vito NASA Langley Research Center, USA Cindy Eisner IBM Haifa Research Laboratory, Israel Lars-Henrik Eriksson (co-chair) Industrilogik, Sweden John Fitzgerald Transitive Technologies Ltd, UK Jim Grundy Intel Corporation, USA Yves Ledru LSR/IMAG, France Peter Lindsay (co-chair) University of Queensland, Australia Markus Montigel University of New Orleans, USA Richard Moore IFAD, Denmark Tobias Nipkow Technische Universität München, Germany Colin O'Halloran Qinetiq (ex-DERA), UK Jose Oliveira Universidade do Minho, Portugal Nico Plat West Consulting, The Netherlands Jeannette Wing Carnegie Mellon University, USA Jim Woodcock Oxford University, UK Joakim von Wright Åbo Akademi University, Finland Pamela Zave AT&T Laboratories, USA Tool Demonstration Coordinator Paul Mukherjee The Institute of Applied Computer Sciense (IFAD) Forskerparken 10, DK-5230 Odense M, Denmark Tel: +45 6315 7131 Fax: +45 6593 2999 Email: paul.mukherjee(a)ifad.dk IMPORTANT DATES Submission of papers, tutorial proposals and workshop proposals: 15 January 2002 Notification of acceptance/rejection: 27 March 2002 Camera ready final version of papers due: 10 May 2002 l

1 0

Re: --+ not treated as a start of a comment
by Ian Lynagh 09 Dec '01

09 Dec '01

On Sun, Dec 09, 2001 at 09:50:18PM +0100, Feliks Kluzniak wrote: > > > while the report (and hugs) believe "--+ 1" is a comment. > > If a bystander is allowed to comment... > > Actually, the newer versions of the report say you can use "--" to begin a legal > lexeme (Sec. 2.3, p. 6). Euch. Is --- the start of a comment? Either way the lexical syntax needs to be changed, either to comment -> dashes {any}<symbol {any}> newline dashes -> -- {-} or to comment -> dashes {any}<symbol {any}> newline dashes -> -- Thanks Ian

1 0

Great Site!
by welcome 09 Dec '01

09 Dec '01

To be removed from this list simply reply with remove in the subject line. Dear Webmaster, Okay you have a great web site? Submitted to all of the search engines? Even hired some college kid to "promote" you to all of the FFA boards that nobody ever reads? If so I guess that you monthly site traffic is probably in the region of 10 to 100 visitors if you are lucky and you are feeling rather depressed - right? Well we have the definitive answer - we positively guarantee you high quality, genuine traffic to your web site. We make just one 100% guaranteed and solid promise to you - "WE WILL GET PEOPLE LOOKING AT YOUR WEB SITE WITHIN A MONTH - AND IF WE DON'T GET THE AMOUNT OF VISITORS TO YOU THAT WE PROMISE YOU CAN HAVE YOUR MONEY BACK - period" Take a few seconds to see what you get from TrafficFusion.Com The Ultimate Traffic Source ! http://www.trafficfusion.com This the one and only package of it's kind you will never find a more complete source to drive traffic to your web site and it is only being offered for a limited time! Here's What You'll Get: 1,000 Guaranteed Visitors every month for one full year! ($19.95 Value every Month!) 5,000 FREE Banner Impressions Guaranteed every month for one full year! ($24.95 Value every Month!) $500 in FREE Keywords on a Major Search Engine! (That's 50,000 targeted visitors) Free Submission of your Press Release to over 2,500 Media Sources Nationwide every month for one full year! (That's $249 Value!) E-Mail over 1,000,000 Opt-in subscribers daily! Spam Free! (That's a $199 monthly Value) That's a yearly Value of Over $3500 Yours for less than you pay for hosting every month!! You'll Also Get "Guaranteed Hits Secrets Exposed" This package shows you how to generate up to 1,000 hits per hour anytime you want to (and even shows you how to make that 1,000 hits equal even more!). You will have Full Resale Rights to resell the "Guaranteed Hits Secrets Exposed" for any price you choose! (This sells daily on eBay for $199) You'll Also Get: Instant Access To To 1,000's of Resources! Free multi-submission to 100,000's of sites; Instantly! 1000's of FREE reports, ebooks, tutorials and more! Dozens of FREE traffic building tools! Huge collection of home-based internet business links and resources! FREE software including submission utilities, FREE ebook compiler software, meta-tag optimization tools, etc.! Links to over 10,000 FREE ad sites including search engines, classifieds, ffa pages, etc.! FREE webmaster services such as link and html checkers, keyword utilities, doorway page generators, color and graphics tools, etc. FREE web graphics for your website including logo templates, borders & backgrounds, buttons, ebook graphics ,etc. Plus much more! http://www.trafficfusion.com If you are serious about the success of your site give us a shot! There will never be another opportunity to get such a complete promotional package! This is not a quick fix! We will deliver traffic to your site month after month! This is a Full 1 Year membership in our program! We are the traffic professionals! Thanks http://www.trafficfusion.com

1 0

Wichtig
by XxHackerabwehrxX＠mail.com 09 Dec '01

09 Dec '01

Hi, wir unterlagen einem Angriff verantwortungsloser ausl�ndischer Hacker, deshalb sind wir aus Sicherheitsgr�nden auf einen besseren Server umgezogen. Es kam zu kurzen Ausf�llen, wir bitten Sie um Verst�ndnis. Wir zeigen in der neuen Auflage der *Hackerschule*, wie Sie die teuren ***0190 Dialer*** umgehen und so die kostenpflichtigen (zB. Sex-) Angebote zum Nulltarif nutzen! Wir zeigen Ihnen wie Sie einen beliebigen (AOL, AIM, Yahoo usw.) Chatraum total kontrollieren und mit mehreren Namen on sind! Wir haben nat�rlich auch SMS Programme die funzen..;-) Nat�rlich bezahlen Sie noch immer alle SMS �ber Ihr Handy. Wie lange noch ????...den Code gibts hier: Sie kennen die Konten Ihres Nachbarn noch nicht?...;-) In Ihrem Postfach tummeln sich Sexanbieter? Wir zeigen Ihnen, wie Sie diese loswerden...:-) http://tip.nu/hackerabwehr Das gesammte Wissen und die Toolz der erfolgreichsten Hacker! Sie finden st�ndig in der *Hackerschule* Mailbomber, Nuker, Scanner, IRC-Bots, Trojaner (Netbus, BO, Sub7...), Handy-Sicherheits-Software (Sie wissen schon... falls ein "Sicherheits"-Code vergessen wurde.. ), Virii, Worms, Crack-Tools, Calling-Card-Generatoren, Creditcard-Tools, DoS-Tools, POD-Tools uvm... ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ACHTUNG: Wir d�rfen hier aus rechtlichen Gr�nden nicht alles nennen... ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ **WMHS**

1 0

CFP: WRS 2002 - 2nd WS on Reduction Strategies in Rewriting and Programming
by Bernhard Gramlich 08 Dec '01

08 Dec '01

[Apologies for multiple copies of this announcement] ************************************************************************** *************** first call for papers and participation **************** ************************************************************************** Second International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2002) http://www.dsic.upv.es/users/elp/WRS2002 held in conjunction with RTA 2002 Copenhagen, Denmark, July 21, 2002 -------------------------------------------------------------------------- BACKGROUND AND AIMS Reduction strategies in rewriting and programming have attracted an increasing attention within the last years. New types of reduction strategies have been invented and investigated, and new results on rewriting / computation under particular strategies have been obtained. Research in this field ranges from primarily theoretical questions about reduction strategies to very practical application and implementation issues. The need for a deeper understanding of reduction strategies in rewriting and programming, both in theory and practice, is obvious, since they bridge the gap between unrestricted general rewriting (computation) and (more deterministic) rewriting with particular strategies (programming). Moreover, reduction strategies provide a natural way to go from operational principles (e.g., graph and term rewriting, narrowing, lambda-calculus) and semantics (e.g., normalization, computation of values, infinitary normalization, head-normalization) to implementations of programming languages. Therefore any progress in this area is likely to be of interest not only to the rewriting community, but also to neighbouring fields like functional programming, functional-logic programming, and termination proofs of algorithms. The workshop wants to provide a forum for the presentation and discussion of new ideas and results, recent developments, new research directions, as well as of surveys on existing knowledge in this area. Furthermore we aim at fostering interaction and exchange between researchers and students actively working on such topics. The workshop will be held in conjunction with RTA 2002 in Copenhagen (Denmark) on July 21, 2002. The workshop is (co-)organized by TU Valencia and TU Wien. TOPICS OF INTEREST Topics of interest include, but are not restricted to, - theoretical foundations for the definition and semantic description of reduction strategies - strategies in different frameworks (term rewriting, graph rewriting, infinitary rewriting, lambda calculi, higher order rewriting and explicit substitutions, conditional rewriting, rewriting with built-ins, narrowing, constraint solving, etc.) and their application in (equational, functional, functional-logic) programming (languages) - properties of reduction strategies / computations under strategies (e.g., completeness, computability, decidability, complexity, optimality, (hyper-)normalization, cofinality, fairness, perpetuality, context-freeness, neededness, laziness, eagerness, strictness) - interrelations, combinations and applications of reduction under different strategies (e.g., equivalence conditions for fundamental properties like termination and confluence, applications in modularity analysis, connections between strategies of different frameworks, etc.) - program analysis and other semantics-based optimization techniques dealing with reduction strategies - rewrite systems / tools / implementations with flexible / programmable strategies as essential concept / ingredient - specification of reduction strategies in (real) languages - data structures and implementation techniques for reduction strategies. SUBMISSIONS We solicit papers on all aspects of reduction strategies in rewriting and programming. Submissions should describe unpublished work, except for survey papers which are explicitly welcome, too. Submissions should not exceed 10 pages (however, survey papers may be longer) and be sent in postscript format to the PC co-chairs to the following e-mail address: wrs02(a)dsic.upv.es before April 15, 2002. Submissions should include the title, authors' names, affiliations, addresses, and e-mail. Selection of papers by the PC will be based on originality, significance, and correctness. Accepted papers will be included in the workshop proceedings that will be available at the workshop, and electronically on the web. Final versions will be due by June 17, 2002. PUBLICATION Accepted papers will be included in the workshop proceedings that will be available at the workshop, and electronically on the web. A special issue of the Journal of Symbolic Computation on Reduction Strategies in Rewriting and Programming will be designated for revised and extended versions of selected contributions from both WRS 2001 (Utrecht, May 2001) and WRS 2002. PROGRAM COMMITTEE Sergio Antoy Portland (USA) Roberto Di Cosmo Paris VII (France) Bernhard Gramlich (co-chair) Wien (Austria) Michael Hanus Kiel (Germany) Claude Kirchner Nancy (France) Paul Klint CWI Amsterdam (The Netherlands) Salvador Lucas (co-chair) Valencia (Spain) Manfred Schmidt-Schauss Frankfurt am Main (Germany) Yoshihito Toyama Tohoku (Japan) ORGANIZERS Bernhard Gramlich (co-chair) Technische Universitaet Wien Salvador Lucas (co-chair) Universidad Politecnica de Valencia IMPORTANT DATES Deadline for submissions: April 15, 2002 Notification: May 27, 2002 Final versions due: June 17, 2002 Workshop: July 21, 2002 FURTHER INFORMATION WRS 2002 website: http://www.dsic.upv.es/users/elp/WRS2002 WRS 2002 e-mail address: wrs02(a)dsic.upv.es RTA 2002 website: http://www.ericsson.com/cslab/rta2002/ FLoC 2002 website: http://floc02.diku.dk WRS 2002 website at FLoC: http://floc02.diku.dk/WRS **************************************************************************

1 0

Kid's Holiday Gift of the Year
by marks＠desertsurf.com 08 Dec '01

08 Dec '01

1 0

Icsm 2002 Call for Papers
by icsmif＠unisannio.it 07 Dec '01

07 Dec '01

Dear Colleague I would like to invite you at the IEEE International Conference on Software Maintenance, 2002, and associated workshops: SCAM, WSE, and WESS next October 2002 in Montreal, Canada. Outstanding Keynotes such as Jon Pincus, Microsoft, Industrial and experience papers, reseach papers, tutorials, tool expositions, dissertation forum, workshops, panels, and other exciting activities have been planned. We hope that this CFP will be useful for your work. Please forward the following to anybody who you think may be interested. Our apologies if you received multiple copy of this. If you would like to be removed from our list please send an email to icsm2002.info(a)unisannio.it with REMOVE in the subject. ICSM2002 Giuliano Antoniol, Program CoChair Ira D. Baxter, Program CoChair ============================================================================ IEEE International Conference on Software Maintenance 2002 Sponsored by IEEE ICSM-2002, Montreal, Canada, 3-6 October 2002 http://www.icsm2002.org icsm2002.info(a)unisannio.it Call for Papers Theme: Maintaining distributed heterogeneous systems ICSM is the major international conference in the field of software and systems maintenance, evolution, and management. This year's theme elaborates on last year's theme of "systems and software evolution in the era of the internet". Standalone legacy applications of yesterday and novel applications using today's technologies are rapidly becoming integrated as part of enterprise-wide and industry-wide systems. The need for rapid integration has led to many distributed heterogeneous systems that are very challenging to maintain and evolve. ICSM 2002 will address these new scenarios and the major challenges on maintenance and evolution. The focus of the conference will be on the new challenges that heterogeneous systems pose for software maintenance, and the new opportunities for researchers and practitioners. A main goal of ICSM is to promote interaction between researchers and practitioners. ICSM 2002 will bring together researchers, practitioners, developers and users of tools, technology transfer experts, and project managers. Jon Pincus (Microsoft) will describe how Microsoft handles software enhancements. Other outstanding Keynote speakers are being arranged. Past conferences have had Parnas, Rombach, McCabe, and Jacobson. ICSM-2002 will offer technical presentations and demonstrations from academia and industry. We are particularly interested in exchanging concepts, prototypes, research ideas, and other results that could contribute to the academic arena and also benefit business and the industrial community. ICSM 2002 will be participatory, with working collaborative sessions and presentations of industry projects. The Conference will be held in conjunction with: WESS -- Workshop on Empirical Studies of Software Maintenance. SCAM -- Source Code Analysis and Manipulation WSE -- Workshop on WEBsite Evolution Topics of interest include but are not restricted to the following aspects of maintenance and evolution: - Methods and theories - Maintenance and/or productivity metrics - Organizational frameworks - Preventive maintenance - Design for maintenance - Tools and environments - Life cycle and process control - Models/methods for error prediction - User interface evolution - Commercial off-the-shelf (COTS) - Third party maintenance - Freeware and open source applications - Program comprehension - Software and system visualisation - Knowledge based systems - Measurement of software - Formal methods - Legal aspects and standards - Software reusability - Internet and distributed systems - Empirical studies - Testing and regression testing - Remote, tele-work - Version and configuration management - Processes and strategies - Management and organisation - Co-operative applications - Source code analysis and manipulation - Processes and strategies - Impact of new software practices - Programming languages - Reengineering and reverse engineering - Multimedia systems RESEARCH PAPERS: Research papers should describe original and significant work in the research and practice of software maintenance and evolution. Case studies, empirical research, and experiments are particularly welcome. We also welcome papers that present leading edge and novel ideas in maintenance. Papers must not exceed 5000 words (10 pages IEEE style) in length, in English. To encourage strong submissions a prize will be awarded for the "Best Paper as Submitted". This Prize is offered by John Wiley & Sons, the publishers of the Journal of Software Maintenance and Evolution. The Program Committee will select the winner and a formal presentation of the Prize will be made in Montreal at ICSM 2002. FAST TRACK PAPERS: Fast Track papers should describe on-going research activities, or summarize the experience in software maintenance and evolution. Papers must not exceed 4 pages, IEEE style, in length, in English. Accepted fast-track papers will be included in a dedicated section of the conference proceedings. DISSERTATION FORUM: We welcome submissions of young researchers that have delivered their dissertation (Masters or Ph.D.) in the last three years. An award will be issued for the best submission. Four page summaries of accepted dissertations will be included in the conference proceedings and a special forum section will be organised at the conference. INDUSTRIAL APPLICATIONS: Proposals for presentations of Industrial Applications are welcome. These can be state-of-the-art descriptions, experience reports and survey reports from real projects, industrial practices and models, or tool demonstrations. A dedicated sub-committee of the program committee will review Industrial Application proposals and a 1-page summary of accepted proposals will be included in the conference proceedings. TUTORIALS: Tutorials should present software maintenance and evolution topics of interest to practitioners. Tutorials may be full day or half-day in length. SUBMISSION STYLE: PDF and/or Postscript electronic submission only. Papers longer than 15 pages or 6000 words will be returned to the authors. Acceptance notification will occur June 1, 2002. IMPORTANT DATES Research Papers deadline: 15 Feb. 2002 mailto:icsm2002.full@unisannio.it Fast Track Papers deadline: 1 May 2002 mailto:icsm2002.short@unisannio.it Dissertation Forum deadline: 15 Febr. 2002 mailto:icsm2002.thesis@unisannio.it Industrial Applications deadline: 15 March 2002 mailto:icsm2002.industry@unisannio.it Tutorials deadline: 15 Feb. 2002 mailto:icsm2002.tutorial@unisannio.it

1 0

class parameters to existential datatypes
by Hal Daume III 07 Dec '01

07 Dec '01

Hi, I would like to be able to write something like this: > data Foo c = forall a . c a => Foo a Unfortunately, this isn't allowed (apparently) because it's an illegal class assertion (or at least that's what ghc tells me). My motivation for doing this is I want to have something like List, but a class list where all you know is that every element is a member of some class. I would write something like: > data CList c = CNil > | forall a . (c a) => CCons a (CList c) that way I could have something like the prototypical: > class Shape a where { area :: a -> Double } > data Circle = Circle Double > data Rectangle = Rectangle Double Double > instance Shape Circle where { area (Circle r) = 2 * pi * r } > instance Shape Rectangle where { area (Rectangle l w) = l*w } > MyList :: CList Shape > MyList = CCons (Circle 5) (CCons (Rectangle 2 3) CNil) and then maybe have a function: > totalArea :: (CList Shape) -> Double > totalArea = sum . map area obviously this function declaration is also invalid. so I have two questions: 1) Is there any particular reason whey we can't do this (it would break some type safety things or whatever) 2) Any ways to get around it? Thanks! - Hal

3 2

TV Cuddle Blanket The gift everybody will want !!!
by TV Cuddle Blanket 07 Dec '01

07 Dec '01

Click the link to read the message. http://www.tvcuddleblanket.com/email//read_mail.php?c=7&u=6328

1 0

Re: Haskell Persistence
by Andre Santos 07 Dec '01

07 Dec '01

Hi, a paper describing what a student and I did is in http://www.cin.ufpe.br/~alms/ps/persiste.ps.gz . The idea was to have a class supporting the persistence operations (more in the style of serialization) and to have specific data structures to allow a quicker retrieval of the data ("Persistence Containers"). This is similar to what we have in some Object Oriented Databases. For the low level implementation we used the work on Binary I/O work of Wallace/Runciman. But in order to get more portability we reimplemented parts of it using Strings/Chars for I/O, which ended up very inneficient in Haskell. Some things that might help are: - better binary I/O and/or to interface with some low level existing persistence mechanism. - I believe a kind of reflection mechanism would make things much easier and more efficient to implement. Although automatic derivation of the instances helps. There are some other references in the paper. cheers, Andre. > | -----Original Message----- > | From: Vorin, Michael [mailto:michael.vorin@eds.com] > | Sent: 07 December 2001 03:21 > | To: haskell(a)haskell.org > | Subject: Haskell Persistence > | > | > | I am interested in pursuing practical development of > | persistence in Haskell. To this end I have been looking for > | code/systems which have been developed previously to build > | upon - not wishing to reinvent the wheel. > | > | I have found some references in the literature but have been > | enable to track down any "artefacts". > | > | I was hopping someone could help me. > | > | I have found: > | (1) Efficient Persistent Haskell, Tony Davie, Kevin Hammond, > | and Juan Quintela Division of Computer Science, University of > | St Andrews, 1998 > | > | (2) Models for Persistence in Lazy Functional Programming > | Systems, McNally, University of St Andrews, 1993. > | > | (3) A Functional Database (1989) (Correct) Phil Trinder > | > | (4) Two Models For Integrating Persistence and Lazy > | Functional Languages > | (1991) David J. McNally, Antony J.T. Davie > | > | (5) Realizing State-Based Database Concepts in a Non-Strict, > | Statically Typed, Purely Functional Persistent Programming > | Language Yoshihiko Ichikawa Department of Information > | Sciences, Ochanomizu University > | > | > | _______________________________________________ > | Haskell mailing list > | Haskell(a)haskell.org http://www.haskell.org/mailman/listinfo/haskell > | >

1 0