From Till.Mossakowski at dfki.de Mon Apr 2 16:05:25 2007 From: Till.Mossakowski at dfki.de (Till Mossakowski) Date: Mon, 02 Apr 2007 16:05:25 +0200 Subject: [Hets-devel] Problem with compilation of Hets Message-ID: <46110DA5.9040707@dfki.de> [Rainer: urgently: please, solce this problem!!] Dear Hetters, there is a problem with compilation of Hets. The problem vanishes if (1) you replace utils/outlineAxioms by the attached file (2) you execute the following commands: cvs up -r 1.40 Common/AS_Annotation.der.hs cvs up -r 1.57 Logic/Prover.hs cvs up -r 1.51 Static/DGToSpec.hs cvs up -r 1.56 GUI/ProofManagement.hs cvs up -r 1.44 OMDoc/HetsDefs.hs cvs up -r 1.59 OMDoc/OMDocInput.hs Basically, this undoes Rainer's recent changes. Then things compile. Rainer claims that his latest version compiles, but we cannot reproduce this here. This hack only works if you do *not modify* the above files afterwards. At a later stage, when everything works again, you can return to the latest versions with cvs up -dPA Greetings, Till -- Till Mossakowski Office: Phone +49-421-218-64226 DFKI Lab Bremen Cartesium Fax +49-421-218-9864226 Robert-Hooke-Str. 5 Enrique-Schmidt-Str. 5 Till.Mossakowski at dfki.de D-28359 Bremen Room 2.051 http://www.dfki.de/sks/till Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH principal office: Trippstadter Str. 122, D-67663 Kaiserslautern management board: Prof. Wolfgang Wahlster (chair), Dr. Walter Olthoff supervisory board: Prof. Hans A. Aukes (chair) Amtsgericht Kaiserslautern, HRB 2313 -------------- next part -------------- A non-text attachment was scrubbed... Name: outlineAxioms Type: application/octet-stream Size: 2506816 bytes Desc: not available Url : http://www.informatik.uni-bremen.de/pipermail/hets-devel/attachments/20070402/65fbbb69/attachment-0001.obj From Till.Mossakowski at dfki.de Tue Apr 3 13:57:56 2007 From: Till.Mossakowski at dfki.de (Till Mossakowski) Date: Tue, 03 Apr 2007 13:57:56 +0200 Subject: [Hets-devel] Hets compiles again Message-ID: <46124144.2080905@dfki.de> Dear Hetters, Hets now compiles again. Greetings, Till -- Till Mossakowski Office: Phone +49-421-218-64226 DFKI Lab Bremen Cartesium Fax +49-421-218-9864226 Robert-Hooke-Str. 5 Enrique-Schmidt-Str. 5 Till.Mossakowski at dfki.de D-28359 Bremen Room 2.051 http://www.dfki.de/sks/till Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH principal office: Trippstadter Str. 122, D-67663 Kaiserslautern management board: Prof. Wolfgang Wahlster (chair), Dr. Walter Olthoff supervisory board: Prof. Hans A. Aukes (chair) Amtsgericht Kaiserslautern, HRB 2313 From luecke at informatik.uni-bremen.de Tue Apr 10 14:01:21 2007 From: luecke at informatik.uni-bremen.de (Dominik Luecke) Date: Tue, 10 Apr 2007 14:01:21 +0200 Subject: [Hets-devel] Hets-Installers, Hets-Life-CD Message-ID: <461B7C91.4030207@informatik.uni-bremen.de> Hello, new versions of the Hets installers are available on http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/installation_e.htm these installers are the second release candidates. And now... we are proud to present Thiemos first version of a Hets-Life-CD available from http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/live-cd/hets_livecd_i386.iso this CD is based on the Knoppix-CD... and it should run on any PC. Cheers, Dominik -- Dominik Luecke Phone +49-421-218-64265 Dept. of Computer Science Fax +49-421-218-9864265 University of Bremen luecke at tzi.de P.O.Box 330440, D-28334 Bremen PGP-Key ID 0x2D82571B From A.M.Gimblett at swansea.ac.uk Sat Apr 21 17:46:13 2007 From: A.M.Gimblett at swansea.ac.uk (Andy Gimblett) Date: Sat, 21 Apr 2007 16:46:13 +0100 Subject: [Hets-devel] Candidates for Common.Utils ? Message-ID: <20070421154613.GA25416@cspcag2.swan.ac.uk> Hi there, I've written a couple of functions which, it seems to me, might be candidates for Common.Utils since they're quite generally applicable and don't really "belong" in the module in which they're currently defined. However, before I modify any modules outside of my safe & friendly CspCASL-land, I thought I'd check if a) this kind of thing is desirable; b) the functions seem reasonable. They are: -- | A function inspired by python's string.split(). A list is split -- on a separator which is itself a list (not a single element). split :: Eq a => [a] -> [a] -> [[a]] split tok splitme = unfoldr (sp1 tok) splitme where sp1 _ [] = Nothing sp1 t s = case find (t `isSuffixOf`) $ (inits s) of Nothing -> Just (s, []) Just p -> Just (take (length p - length t) p, drop (length p) s) -- | String strip in style of python string.strip() strip :: String -> String strip s = dropWhile ws $ reverse $ dropWhile ws $ reverse s where ws = (`elem` [' ', '\n', '\t', '\r']) Examples: *Main> split ", " "one, two, three, four" ["one","two","three","four"] *Main> split "an" "banana" ["b","","a"] *Main> split [2,3] [1,2,3,4,3,2,1,2,3,4] [[1],[4,3,2,1],[4]] *Main> strip " hello " "hello" My original formulation of split() was restricted to Strings (ie type sig was String -> String -> [String]), but on looking at Common.Utils.splitOn() I realised it could be generalised in the above manner. OTOH strip is, by its nature, restricted to strings, I suppose. :-) Any comments? Best regards, -Andy -- Andy Gimblett Computer Science Department University of Wales Swansea http://www.cs.swan.ac.uk/~csandy/ From i.normann at iu-bremen.de Thu Apr 26 11:48:20 2007 From: i.normann at iu-bremen.de (Immanuel Normann) Date: Thu, 26 Apr 2007 11:48:20 +0200 Subject: [Hets-devel] [Fwd: [Haskell-cafe] .... master thesis topic] related to HasCASL Message-ID: <1177580900.15773.109.camel@erdbeere> Dear Hetters, as subscriber of the haskell-cafe mailing list I came across this email I am forwarding to you herewith. A master student is asking questions relating very much to the research field of the hets community (e.g. about HasCasl). He sent his email three days ago to haskell-cafe. As nobody has responded yet in this actual responsive mailing list I am feeling that haskell-cafe (including myself) is the wrong community to answer his questions. May be he can benefit from your competency and some of you find some time to help him (afterall this might be a small contribution to enlarge the hets community itself). Thanks, Immanuel P.S.: He is talking about "HasCASL professors" who he has contacted already. Don't know who he is referring to. If he already contact some of you I am sorry for spamming. -------------- next part -------------- An embedded message was scrubbed... From: "Glauber Cabral" Subject: [Haskell-cafe] About functional programing, type theory and a master thesis topic Date: Mon, 23 Apr 2007 14:13:24 -0300 Size: 5944 Url: http://www.informatik.uni-bremen.de/pipermail/hets-devel/attachments/20070426/30b3ac7c/attachment.mht From glauber.sp at gmail.com Thu Apr 26 21:51:54 2007 From: glauber.sp at gmail.com (Glauber Cabral) Date: Thu, 26 Apr 2007 16:51:54 -0300 Subject: [Hets-devel] [Fwd: [Haskell-cafe] .... master thesis topic] related to HasCASL In-Reply-To: <1177580900.15773.109.camel@erdbeere> References: <1177580900.15773.109.camel@erdbeere> Message-ID: Hi Immanuel. Thanks for redirecting me for hets list. I've already sent this email to professors Till, Maeder and Lutz. They've answered me and I started reading a little bit more about types inside Haskell before I could discuss something in depth with them. I'm still stating using Haskell (I've already read 2 books already, but 've programmed just a little). I'll write another email to this list later, with my thoughts about the papers I've read. Thank you =) Glauber. On 4/26/07, Immanuel Normann wrote: > Dear Hetters, > > as subscriber of the haskell-cafe mailing list I came across this email > I am forwarding to you herewith. A master student is asking questions > relating very much to the research field of the hets community (e.g. > about HasCasl). He sent his email three days ago to haskell-cafe. As > nobody has responded yet in this actual responsive mailing list I am > feeling that haskell-cafe (including myself) is the wrong community to > answer his questions. May be he can benefit from your competency and > some of you find some time to help him (afterall this might be a small > contribution to enlarge the hets community itself). > > Thanks, > Immanuel > > P.S.: He is talking about "HasCASL professors" who he has contacted > already. Don't know who he is referring to. If he already contact some > of you I am sorry for spamming. > > > > ---------- Forwarded message ---------- > From: "Glauber Cabral" > To: haskell-cafe at haskell.org > Date: Mon, 23 Apr 2007 14:13:24 -0300 > Subject: [Haskell-cafe] About functional programing, type theory and a master thesis topic > Hi everybody =) > First time I write to the list. > My name is Glauber and I'm doing my master course at UNICAMP, Brazil, > under supervisor of Prof. Dr. Arnaldo Vieira Moura. > > I'm interested in Haskell, type theory and algebraic specification > (formal methods). I've been studying these subjects to my > Computer-Science-Bachelor-degree-final work. It was an implementation > of an homomorphism between a little constructive algebraic > specification code (based mainly in Loeckx's Specification of Abstract > Data Types) and a Haskell code. SableCC was used as tool to implement > the interpreter because I've already used it before. One theme to work > one should be implementing this in Haskell itself, but there is > already HasCASL. > > I've already contacted the HasCASL professors and I'm reading more > about the project. > At the same time, I want to look for some theme under type theory, too. > The main concern about HasCASL is that I want to get in deep touch > with functional programming during my master thesis and I'm not sure > (yet) if studying HasCASL would get me there. > > I've reading some papers about type theory and Haskell (mainly the > ones suggested in the haskell.org site) and as I could see the topics > are very interesting. I'm not sure, however, if there is something > that can be done in a 2-year-master course. Mainly, they propose new > extensions that have became new languages (Cayenne, Omega and > Epigram). > > Other topic I'd like to get in touch is theorem proving. As I could > see, Coq and Isabelle are the most used with Haskell. Indeed, HasCASL > use Isabelle and this could be a nice thing to work on, as was > suggested by HasCASL professors. > > As I know that lots of you here are researchers, I'd like to ask some > opinions about what can be done as a master thesis having in mind that > I want to continue in a PhD course after the master one. > > Sorry if the email is too large. And thank for the patience and for > any opinion you can give me. > > Yours, > Glauber. > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe at haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe > >