headers
shelarcy | 1 Jun 2006 20:57
Picon
Gravatar

ANNOUNCE: Kamiariduki - the system to judge your derivative work's purpose and license is valid with Ceative Commons License Works..

Daar all,

I am pleased to announce the preview release of kamiariduki, the system to
judge your derivative work's purpose and license is valid with other works
what is mainly under Creative Commons License.

I don't know good phrase that explain this software directory and simply. I
used DRM (Degital Rights Management) for people (or Creators) a few place.
People missunderstood this system. Because DRM is usually used for closed
system, not open system.

sourcefourge site : https://sourceforge.net/projects/kamiariduki/
files: https://sourceforge.net/project/showfiles.php?group_id=168626

Creative Common web site: http://creativecommons.org/

This Application depend on many libraries. So if you want to know about
that, you must read README file. library dependencied includes
  * patched version of wxHaskell
  (* if build with Mac OS X platform, you need to put those libraries for
     dependencies directory
     * SYB3
     * Subversion trunk of AutoFroms: http://autoforms.sourceforge.net/  )

The current status of kamiariduki is very experimental. If you want to  
management
derivative works lisence, this worls. But it lacks many fundamental  
functionalities
and will have many bugs.
(Continue reading)

Permalink | Reply | 0 comments |
headers
Bulat Ziganshin | 1 Jun 2006 21:59
Picon

Announce of Arrays & References library version 0.1

Good day, Haskellers!

i glad to present my new library that is compatible with Hugs 03,
Hugs 05 and GHC. the library features:

- Unboxed references in IO and ST monads, namely IOURef and STURef.
It is a direct replacement for widely used "fast unboxed variables"
modules, with interface modelled after the IORef/STRef interface and
support for all integral, floating point and pointer types plus Char
and Bool (see "Examples/URef.hs" for usage details).

- Monad-independent interfaces to boxed and unboxed references. This
allows to write algorithms that works with mutable state but still can
be executed both in IO and ST monads (look at "Examples/Universal.hs"
for a cool demonstration).

- Syntax sugar to make using of mutable objects easier (=:, +=, -=,
val, ref, uref). Mutable objects that can be used with this sugar
includes all sorts of references, mutable arrays and hash tables

The library also includes refactored implementation of Data.Array.* modules.
The main user-visible change comparing to original is the support for
dynamic arrays, i.e. arrays whose bounds may be changed at runtime
("Examples/Array/Dynamic.hs" shows various ways of their usage).
I also implemented long-awaited polymorphism for unboxed arrays.

The library can be downloaded as http://freearc.narod.ru/ArrayRef.tar.gz
Full documentation is at http://haskell.org/haskellwiki/Library/ArrayRef

I thanks Oleg Kiselyov who is pointed how to implement unboxed arrays better,
(Continue reading)

Permalink | Reply | 0 comments |
headers
oleg | 2 Jun 2006 18:41
Picon
Favicon

A road for Haskell into the kernel of a full-fledged OS


	I'm attending a USENIX conference and just had a nice talk
with Andrew Tanenbaum. As some may know, he's working on the new
version of Minix, Minix3. It is actually working, now with the X
windows interface:

	http://www.minix3.org

Andrew Tanenbaum said that it is important for a language like OCaml
or Haskell to get more visibility among the OS developers; and Minix
offers a very good way to do that. Minix3 is based on micro-kernel;
all of the OS services (memory manager, file system, all the drivers,
etc.) run as regular processes communicating through a well-defined
protocol. It is irreleveant what language these services are written
in, so long as they obey the protocol. Some of Andrew Tanenbaum's
students are interested in re-writing some of Minix3 OS services (like
device drivers or file systems, currently written in C) in Ocaml and
Cyclone. He is interested in the outcome. Haskell is a good candidate
too. It is quite instructive to compare a device driver in Haskell
with the original C driver -- it terms of length, speed, time to
write, number of bugs, etc. Andrew Tananbaum suggested that the
terminal driver may be the best start, because it is 
quite stand-alone, small and its protocol is simple.

	With Minix, we can replace one kernel service of the
full-fledged, working OS with the one written in Haskell -- and
immediately see how it all works. If it doesn't, the rest of OS still
works and so we can unload the faulty service and load another
implementation. Minix3 does indeed offer an easy road to the OS kernel 
for a language other than C. I said that there may be quite a bit of
(Continue reading)

Permalink | Reply | 5 comments |
headers
Santiago Escobar | 2 Jun 2006 19:25
Picon

CFP: 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'06)

       [ We apologize for multiple copies ]

*******************************************************************

     2nd International Workshop on Automated
          Specification and Verification
               of Web Systems (WWV'06)

            Cyprus, November 15-19, 2006
               (Track of ISoLA 2006)

      http://www.dsic.upv.es/workshops/wwv06

*******************************************************************

SCOPE

The  increased  complexity  of Web sites and the explosive growth of
Web-based applications has turned their design and construction into
a  challenging problem. Nowadays, many companies have diverted their
Web   sites   into   interactive,   completely-automated,  Web-based
applications (such  as  Amazon, on-line banking, or travel agencies)
with  a  high complexity that requires appropriate specification and
verification  techniques and tools. Systematic, formal approaches to
the  analysis  and  verification  can  address  the problems of this
particular  domain  with  automated  and  reliable  tools  that also
incorporate semantic aspects.

We solicit paper on formal methods and techniques applied to Web
sites, Web services or Web-based applications, such as:
(Continue reading)

Permalink | Reply | 0 comments |
headers
Joel Reymont | 2 Jun 2006 19:35
Picon
Gravatar

Re: A road for Haskell into the kernel of a full-fledged OS


On Jun 2, 2006, at 5:41 PM, oleg <at> pobox.com wrote:

> It is quite instructive to compare a device driver in Haskell
> with the original C driver -- it terms of length, speed, time to
> write, number of bugs, etc.

I think this is an awesome idea. I believe the folks at Galois have  
customized the Haskell runtime for embedded devices but... I wonder  
if us mere mortals will spend more time fighting laziness (and thus  
high memory usage) than focusing on driver functionality.

	Thanks, Joel

--
http://wagerlabs.com/
Permalink | Reply | 2 comments |
headers
Greg Buchholz | 2 Jun 2006 20:01

Re: A road for Haskell into the kernel of a full-fledged OS

Joel Reymont wrote:
> 
> I think this is an awesome idea. I believe the folks at Galois have  
> customized the Haskell runtime for embedded devices but... I wonder  
> if us mere mortals will spend more time fighting laziness (and thus  
> high memory usage) than focusing on driver functionality.

    In a similar vein, the Coyotos Project ( http://coyotos.org/ ) is 
writing their own language, BitC, to support their microkernel...

http://www.coyotos.org/docs/bitc/spec.html

    "BitC is conceptually derived in various measure from Standard ML,
    Scheme, and C. Like Standard ML [10], BitC has a formal semantics,
    static typing, a type inference mechanism, and type variables. Like
    Scheme [8], BitC uses a surface syntax that is readily represented as
    BitC data. Like C [1], BitC provides full control over data structure
    representation, which is necessary for high-performance systems
    programming. The BitC language is a direct expression of the typed
    lambda calculus with side effects, extended to be able to reflect the
    semantics of explicit representation."

Greg Buchholz
Permalink | Reply | 0 comments |
headers
J.N. Oliveira | 3 Jun 2006 11:26
Picon
Favicon

Last CFP: FM-Ed'06 - Formal Methods in the Teaching Lab


Call for Papers -- Submission deadline: June 9, 2006

                              FORMAL METHODS IN THE TEACHING LAB
                 Examples, Cases, Assignments and Projects Enhancing Formal Methods Education

                                http://www.di.uminho.pt/FME-SoE/FMEd06/

                             A Workshop at the Formal Methods 2006 Symposium
                                  Workshop: Saturday, August 26, 2006
                                    Symposium: August 21 - 27, 2006
                              McMaster University, Hamilton, Ontario, Canada

I. ORGANIZATION

This workshop is organized by the Formal Methods Europe Subgroup on Education.

        Dines Bj?rner (JAIST, Japan)
        Eerke Boiten (University of Kent, UK)
        Raymond Boute (Universiteit Gent, Belgium)
        Andrew Butterfield (Trinity College, Dublin)
        John Fitzgerald (University of Newcastle upon Tyne, UK)
        Randolph Johnson
        Steve King (University of York, UK)
        Peter Lucas
        Michael Mac an Airchinnigh (Trinity College, Dublin)
        Dino Mandrioli (Politecnico di Milano, Italy)
        Andrew Martin (Oxford University, UK)
        Jos? Oliveira (Universidade do Minho, Portugal) -- Convenor
        Kees Pronk (Technische Universiteit Delft, NL)
(Continue reading)

Permalink | Reply | 0 comments |
headers
Robert Dockins | 3 Jun 2006 19:54

ANNOUNCE: Edison 1.2

Fellow Haskellers,

I am pleased to announce the final, stable release of Edison 1.2.  Edison is a 
library of efficient, purely-functional data structures for Haskell.  Many 
thanks to all of you who helped with your comments and suggestions during the 
release candidate phase!

Edison 1.2 represents the first major release of Edison in several years and 
my first release as maintainer.  The following list highlights major changes 
since the 1.1 release:

    * Typeclasses updated to use functional dependencies
    * Several new implementations
    * Modules renamed to use the hierarchical module extension
    * Documentation haddockized
    * Source moved to a darcs repository
    * Build system cabalized
    * Unit tests integrated into a single driver program which exercises all 
the concrete implementations shipped with Edison

The project homepage is located at:

http://www.eecs.tufts.edu/~rdocki01/edison.html

API documentation is avaliable at:

http://www.eecs.tufts.edu/~rdocki01/docs/edison/index.html

And the main source distribution may be downloaded from:
(Continue reading)

Permalink | Reply | 0 comments |
headers
Mario Blazevic | 4 Jun 2006 18:35
Favicon

Edison 1.2 and profiling


The profiled version of the latest Edison library doesn't work for me.

I got Edison 1.2 via darcs. I used the regular 'make system' command to
build and install the regular (non-profiled) version of Edison. Then I
went to edison-api and edison-core subdirectories, in turn, and executed
the Cabal commands:

    runhaskell Setup.hs clean
    runhaskell Setup.hs configure --enable-library-profiling
    runhaskell Setup.hs build
    runhaskell Setup.hs install

The library seems to be properly installed:

    $ ls -l /usr/local/lib/EdisonCore-1.2/ghc-6.4.2/
    total 9985
    drwxr-xr-x 3 root root      72 Jun  3 20:28 Data
    -rw-r--r-- 1 root root 1939264 Jun  4 12:08 HSEdisonCore-1.2.o
    -rw-r--r-- 1 root root 2932114 Jun  4 12:08 libHSEdisonCore-1.2.a
    -rw-r--r-- 1 root root 5339788 Jun  4 12:08 libHSEdisonCore-1.2_p.a

     $ ls -l /usr/local/lib/EdisonCore-1.2/ghc-6.4.2/Data/Edison/Assoc/
    total 720
    -rw-r--r-- 1 root root 86508 Jun  4 12:08 AssocList.hi
    -rw-r--r-- 1 root root 86513 Jun  4 12:08 AssocList.p_hi
    -rw-r--r-- 1 root root 61267 Jun  4 12:08 Defaults.hi
    -rw-r--r-- 1 root root 61272 Jun  4 12:08 Defaults.p_hi
    -rw-r--r-- 1 root root 67740 Jun  4 12:08 PatriciaLoMap.hi
    -rw-r--r-- 1 root root 67745 Jun  4 12:08 PatriciaLoMap.p_hi
(Continue reading)

Permalink | Reply | 2 comments |
headers
Robert Dockins | 4 Jun 2006 19:11

Re: Edison 1.2 and profiling


On Jun 4, 2006, at 12:35 PM, Mario Blazevic wrote:

>
> The profiled version of the latest Edison library doesn't work for me.
>
> I got Edison 1.2 via darcs. I used the regular 'make system'  
> command to
> build and install the regular (non-profiled) version of Edison. Then I
> went to edison-api and edison-core subdirectories, in turn, and  
> executed
> the Cabal commands:
>
>     runhaskell Setup.hs clean
>     runhaskell Setup.hs configure --enable-library-profiling
>     runhaskell Setup.hs build
>     runhaskell Setup.hs install
>
>
> The library seems to be properly installed:
>
>     $ ls -l /usr/local/lib/EdisonCore-1.2/ghc-6.4.2/
>     total 9985
>     drwxr-xr-x 3 root root      72 Jun  3 20:28 Data
>     -rw-r--r-- 1 root root 1939264 Jun  4 12:08 HSEdisonCore-1.2.o
>     -rw-r--r-- 1 root root 2932114 Jun  4 12:08 libHSEdisonCore-1.2.a
>     -rw-r--r-- 1 root root 5339788 Jun  4 12:08  
> libHSEdisonCore-1.2_p.a
>
>      $ ls -l /usr/local/lib/EdisonCore-1.2/ghc-6.4.2/Data/Edison/
(Continue reading)

Permalink | Reply | 0 comments |

Gmane