In the first phase of this project (integrated in the laboratory work for the Métodos Formais de Programação II course), I made a reengennering of the PUReCamila interpreter, described here.
In the second of this project (integrated in Laboratório de Métodos Formais), I am working on the implementation of VDM and VDM++ features in Haskell to integrate in Camila.
VDM++ features
VDM++, in comparison with VDM has the following extra features:
Allows the definition of classes and objects
Inheritance (specialization and generalization)
Operations and functions to describe functional behaviour of the objects
Threads and synchronisation constraints
I have a report (pdf) explaining how to mimic VDM++ features (parallelism not included) in Haskell.
Bibliography
Monads ans State in Haskell
Philip Wadler, Monads for functional programming(ps)
Philip Wadler and Peter Thiemann, The marriage of effects and monads(pdf)
Personal/Xana Web Preferences The following settings are web preferences of the Personal/Xana web. These preferences overwrite the site level preferences in ...
Introductory note In the first phase of this project (integrated in the laboratory work for the Formais de Programação II course), I made a reengennering of the !PUReCamila ...
I am currently part of Project research team. I am working on Understanding, under FCT's grant POSI/ICHS/44304/2002. My supervisors are: Visser Saraiva ...
This is a subscription service to be automatically notified by e mail when topics change in this Personal/Xana web. This is a convenient service, so you do not have ...
Introductory note In the first phase of this project (integrated in the laboratory work for the Formais de Programação II course), I made a reengennering of the !PUReCamila ...
I am currently part of Project research team. I am working on Understanding, under FCT's grant POSI/ICHS/44304/2002. My supervisors are: Visser Saraiva ...
This is a subscription service to be automatically notified by e mail when topics change in this Personal/Xana web. This is a convenient service, so you do not have ...
Personal/Xana Web Preferences The following settings are web preferences of the Personal/Xana web. These preferences overwrite the site level preferences in ...
This is a subscription service to be automatically notified by e-mail when topics change in this Personal/Xana web. This is a convenient service, so you do not have to come back and check all the time if something has changed. To subscribe, please add a bullet with your WikiName in alphabetical order to this list:
Each TWiki web has an automatic e-mail notification service that sends you an e-mail with links to all of the topics modified since the last alert.
Users subscribe to email notifications using their WikiName or an alternative email address, and can specify the webs/topics they wish to track using one of these bullet list formats:
three spaces * [ webname . ] wikiName - SMTP mail address three spaces * [ webName . ] wikiName three spaces * SMTP mail address three spaces * SMTP mail address : topics three spaces * [ webname . ] wikiName : topics
In the above examples, topics is a space-separated list of topic names. The user may further customize the specific content they will receive using the following formats:
Specify topics without a Web. prefix
Topics must exist in this web.
Topics may be specified using * wildcards
Each topic may optionally be preceded by a '+' or '-' sign. The '+' sign means "subscribe to this topic" (the same as not putting anything). The '-' sign means "unsubscribe" or "don't send notifications regarding this topic". This allows users to elect to filter out certain topics (and their children, to an arbitrary depth). Topic filters ('-') take precedence over topic includes ('+').
Each topic may optionally be followed by an integer in parentheses, indicating the depth of the tree of children below that topic. Changes in all these children will be detected and reported along with changes to the topic itself. Note This uses the TWiki "Topic parent" feature.
Each topic may optionally be immediately followed by an exclamation mark ! or a question mark ? with no intervening spaces, indicating that the topic (and children if there is a tree depth specifier as well) should be mailed out as complete topics instead of change summaries. ! causes the topic to be mailed every time even if there have been no changes, ? will mail the topic only if there have been changes to it. This only makes sense for subscriptions.
For example:
Subscribe Daisy to all changes to topics in this web.
* daisy.cutter@flowers.com
Subscribe Daisy to all changes in all webs that start with Web.
* daisy.cutter@flowers.com: Web*
Subscribe Daisy to changes to topics starting with Petal, and their immediate children, WeedKillers and children to a depth of 3, and all topics that match start with Pretty and end with Flowers e.g. PrettyPinkFlowers
Subscribe Daisy to the full content of NewsLetter whenever it has changed
* daisy@flowers.com: TWiki.NewsLetter?
Subscribe buttercup to NewsLetter and its immediate children, even if it hasn't changed.
* buttercup@flowers.com: TWiki.NewsLetter! (1)
Subscribe GardenGroup (which includes Petunia) to all changed topics under AllnewsLetters to a depth of 3. Then unsubscribe Petunia from the ManureNewsLetter, which she would normally get as a member of GardenGroup? :
A user may be listed many times in the WebNotify topic. Where a user has several lines in WebNotify that all match the same topic, they will only be notified about changes that topic once (though they will still receive individual mails for news topics).
If a TWiki group is listed for notification, the group will be recursively expanded to the e-mail addresses of all members.
Tip: List names in alphabetical order to make it easier to find the names.
Note for System Administrators: Notification is supported by an add-on to the TWiki kernel called the MailerContrib. See the MailerContrib topic for details of how to set up this service.
Note: If you prefer a news feed, point your reader to WebRss (for RSS 1.0 feeds) or WebAtom? (for ATOM 1.0 feeds). Learn more at WebRssBase and WebAtomBase, respectively.
Related topics:WebChangesAlert, TWikiUsers, TWikiRegistration
The following settings are web preferences of the Personal.Xana web. These preferences overwrite the site-level preferences in TWikiPreferences, and can be overwritten by user preferences (your personal topic, eg: TWikiGuest in the Main web).
Preferences:
Set WEBTITLE = Alexandra Silva
List of topics of the TWiki.Personal/Xana web:
Web specific background color: (Pick a lighter one of the StandardColors)
If yes, set SITEMAPLIST to on, do not set NOSEARCHALL, and add the "what" and "use to..." description for the site map. Make sure to list only links that include the name of the web, e.g. Personal/Xana.Topic links.
Set SITEMAPLIST = on
Set SITEMAPWHAT = Alexandra Silva
Set SITEMAPUSETO = ...collaborate on
Exclude web from a web="all" search: (Set to on for hidden webs)
Set NOSEARCHALL =
Prevent automatic linking of WikiWords and acronyms (if set to on); link WikiWords (if empty); can be overwritten by web preferences:
Set NOAUTOLINK =
Note: Use the [[...][...]] syntax to link topics in case you disabled WikiWord linking. The <noautolink> ... </noautolink> syntax can be used to prevents links within a block of text.
Default template for new topics and form(s) for this web:
WebTopicEditTemplate? : Default template for new topics in this web. (Site-level is used if topic does not exist)
A preference is defined as: 6 spaces * Set NAME = value Example:
Set WEBBGCOLOR = #FFFFC0
Preferences are used as TWikiVariables by enclosing the name in percent signs. Example:
When you write variable %WEBBGCOLOR% , it gets expanded to #CCCC33 .
The sequential order of the preference settings is significant. Define preferences that use other preferences first, i.e. set WEBCOPYRIGHT before WIKIWEBMASTER since %WEBCOPYRIGHT% uses the %WIKIWEBMASTER% variable.
You can introduce new preferences variables and use them in your topics and templates. There is no need to change the TWiki engine (Perl scripts).
TWiki's Personal/Xana web
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Xana
The Personal/Xana web of TWiki. TWiki is a Web-Based Collaboration Platform for the Corporate World.en-usCopyright 2020 by contributing authorsTWiki Administrator [webmaster@di.uminho.pt]The contributing authors of TWikiTWikiDIUM.Personal/Xana
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Xana
/twiki/pub/Main/LocalLogos/um_eengP.jpgWebHome
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Xana/WebHome
New Web: http://www.cwi.nl/~ams var sc project 2318555; var sc invisible 1; var sc partition 21; var sc security "721d0d57"; (last changed by AlexandraSilva)2007-11-08T22:23:58ZAlexandraSilvaWebSideBar
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Xana/WebSideBar
(last changed by AlexandraSilva)2007-11-08T22:13:29ZAlexandraSilvaInfoPersonal
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Xana/InfoPersonal
(last changed by AlexandraSilva)2007-11-08T22:07:45ZAlexandraSilvaWebPreferences
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Xana/WebPreferences
Personal/Xana Web Preferences The following settings are web preferences of the Personal/Xana web. These preferences overwrite the site level preferences in ... (last changed by AlexandraSilva)2007-03-01T11:12:16ZAlexandraSilvaWebCss
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Xana/WebCss
.natRevision { width:0px; height:0px; overflow:hidden; } .natBreadCrumbs { width:0px; height:0px; overflow:hidden; } (last changed by AlexandraSilva)2007-02-23T12:44:49ZAlexandraSilvaPUReCamila
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Xana/PUReCamila
Introductory note In the first phase of this project (integrated in the laboratory work for the Formais de Programação II course), I made a reengennering of the !PUReCamila ... (last changed by JoseBacelarAlmeida)2007-02-12T19:58:09ZJoseBacelarAlmeidaPUReResearch
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Xana/PUReResearch
I am currently part of Project research team. I am working on Understanding, under FCT's grant POSI/ICHS/44304/2002. My supervisors are: Visser Saraiva ... (last changed by JoseBacelarAlmeida)2007-02-12T19:58:09ZJoseBacelarAlmeidaMenuTopics
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Xana/MenuTopics
Research Personal (last changed by AlexandraSilva)2005-12-12T11:39:28ZAlexandraSilvaWebNotify
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Xana/WebNotify
This is a subscription service to be automatically notified by e mail when topics change in this Personal/Xana web. This is a convenient service, so you do not have ... (last changed by PeterThoeny)2004-08-28T07:30:54ZPeterThoenyWebLeftBar
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Xana/WebLeftBar
Web Web Home Changes Index Search Webs (last changed by ArthurClemens)2004-08-16T05:52:02ZArthurClemensWebRss
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Xana/WebRss
TWiki's Personal/Xana web /view/Personal/Xana The Personal/Xana web of TWiki. TWiki is a Web Based Collaboration Platform for the Corporate World. (last changed by PeterThoeny)2004-08-16T03:27:17ZPeterThoenyWebSearchAdvanced
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Xana/WebSearchAdvanced
(last changed by PeterThoeny)2004-01-18T10:52:19ZPeterThoenyWebIndex
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Xana/WebIndex
See also the faster WebTopicList (last changed by PeterThoeny)2001-11-24T11:41:09ZPeterThoenyWebTopicList
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Xana/WebTopicList
See also the verbose WebIndex. (last changed by PeterThoeny)2001-11-24T11:40:47ZPeterThoenyWebChanges
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Xana/WebChanges
(last changed by PeterThoeny)2001-08-16T19:58:33ZPeterThoenyWebSearch
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Xana/WebSearch
(last changed by PeterThoeny)2001-08-08T05:26:39ZPeterThoeny
In the first phase of this project (integrated in the laboratory work for the Métodos Formais de Programação II course), I made a reengennering of the PUReCamila interpreter, described here.
In the second of this project (integrated in Laboratório de Métodos Formais), I am working on the implementation of VDM and VDM++ features in Haskell to integrate in Camila.
VDM++ features
VDM++, in comparison with VDM has the following extra features:
Allows the definition of classes and objects
Inheritance (specialization and generalization)
Operations and functions to describe functional behaviour of the objects
Threads and synchronisation constraints
I have a report (pdf) explaining how to mimic VDM++ features (parallelism not included) in Haskell.
Bibliography
Monads ans State in Haskell
Philip Wadler, Monads for functional programming(ps)
Philip Wadler and Peter Thiemann, The marriage of effects and monads(pdf)
Personal/Xana Web Preferences The following settings are web preferences of the Personal/Xana web. These preferences overwrite the site level preferences in ...
Introductory note In the first phase of this project (integrated in the laboratory work for the Formais de Programação II course), I made a reengennering of the !PUReCamila ...
I am currently part of Project research team. I am working on Understanding, under FCT's grant POSI/ICHS/44304/2002. My supervisors are: Visser Saraiva ...
This is a subscription service to be automatically notified by e mail when topics change in this Personal/Xana web. This is a convenient service, so you do not have ...
Introductory note In the first phase of this project (integrated in the laboratory work for the Formais de Programação II course), I made a reengennering of the !PUReCamila ...
I am currently part of Project research team. I am working on Understanding, under FCT's grant POSI/ICHS/44304/2002. My supervisors are: Visser Saraiva ...
This is a subscription service to be automatically notified by e mail when topics change in this Personal/Xana web. This is a convenient service, so you do not have ...
Personal/Xana Web Preferences The following settings are web preferences of the Personal/Xana web. These preferences overwrite the site level preferences in ...
This is a subscription service to be automatically notified by e-mail when topics change in this Personal/Xana web. This is a convenient service, so you do not have to come back and check all the time if something has changed. To subscribe, please add a bullet with your WikiName in alphabetical order to this list:
Each TWiki web has an automatic e-mail notification service that sends you an e-mail with links to all of the topics modified since the last alert.
Users subscribe to email notifications using their WikiName or an alternative email address, and can specify the webs/topics they wish to track using one of these bullet list formats:
three spaces * [ webname . ] wikiName - SMTP mail address three spaces * [ webName . ] wikiName three spaces * SMTP mail address three spaces * SMTP mail address : topics three spaces * [ webname . ] wikiName : topics
In the above examples, topics is a space-separated list of topic names. The user may further customize the specific content they will receive using the following formats:
Specify topics without a Web. prefix
Topics must exist in this web.
Topics may be specified using * wildcards
Each topic may optionally be preceded by a '+' or '-' sign. The '+' sign means "subscribe to this topic" (the same as not putting anything). The '-' sign means "unsubscribe" or "don't send notifications regarding this topic". This allows users to elect to filter out certain topics (and their children, to an arbitrary depth). Topic filters ('-') take precedence over topic includes ('+').
Each topic may optionally be followed by an integer in parentheses, indicating the depth of the tree of children below that topic. Changes in all these children will be detected and reported along with changes to the topic itself. Note This uses the TWiki "Topic parent" feature.
Each topic may optionally be immediately followed by an exclamation mark ! or a question mark ? with no intervening spaces, indicating that the topic (and children if there is a tree depth specifier as well) should be mailed out as complete topics instead of change summaries. ! causes the topic to be mailed every time even if there have been no changes, ? will mail the topic only if there have been changes to it. This only makes sense for subscriptions.
For example:
Subscribe Daisy to all changes to topics in this web.
* daisy.cutter@flowers.com
Subscribe Daisy to all changes in all webs that start with Web.
* daisy.cutter@flowers.com: Web*
Subscribe Daisy to changes to topics starting with Petal, and their immediate children, WeedKillers and children to a depth of 3, and all topics that match start with Pretty and end with Flowers e.g. PrettyPinkFlowers
Subscribe Daisy to the full content of NewsLetter whenever it has changed
* daisy@flowers.com: TWiki.NewsLetter?
Subscribe buttercup to NewsLetter and its immediate children, even if it hasn't changed.
* buttercup@flowers.com: TWiki.NewsLetter! (1)
Subscribe GardenGroup (which includes Petunia) to all changed topics under AllnewsLetters to a depth of 3. Then unsubscribe Petunia from the ManureNewsLetter, which she would normally get as a member of GardenGroup? :
A user may be listed many times in the WebNotify topic. Where a user has several lines in WebNotify that all match the same topic, they will only be notified about changes that topic once (though they will still receive individual mails for news topics).
If a TWiki group is listed for notification, the group will be recursively expanded to the e-mail addresses of all members.
Tip: List names in alphabetical order to make it easier to find the names.
Note for System Administrators: Notification is supported by an add-on to the TWiki kernel called the MailerContrib. See the MailerContrib topic for details of how to set up this service.
Note: If you prefer a news feed, point your reader to WebRss (for RSS 1.0 feeds) or WebAtom? (for ATOM 1.0 feeds). Learn more at WebRssBase and WebAtomBase, respectively.
Related topics:WebChangesAlert, TWikiUsers, TWikiRegistration
The following settings are web preferences of the Personal.Xana web. These preferences overwrite the site-level preferences in TWikiPreferences, and can be overwritten by user preferences (your personal topic, eg: TWikiGuest in the Main web).
Preferences:
Set WEBTITLE = Alexandra Silva
List of topics of the TWiki.Personal/Xana web:
Web specific background color: (Pick a lighter one of the StandardColors)
If yes, set SITEMAPLIST to on, do not set NOSEARCHALL, and add the "what" and "use to..." description for the site map. Make sure to list only links that include the name of the web, e.g. Personal/Xana.Topic links.
Set SITEMAPLIST = on
Set SITEMAPWHAT = Alexandra Silva
Set SITEMAPUSETO = ...collaborate on
Exclude web from a web="all" search: (Set to on for hidden webs)
Set NOSEARCHALL =
Prevent automatic linking of WikiWords and acronyms (if set to on); link WikiWords (if empty); can be overwritten by web preferences:
Set NOAUTOLINK =
Note: Use the [[...][...]] syntax to link topics in case you disabled WikiWord linking. The <noautolink> ... </noautolink> syntax can be used to prevents links within a block of text.
Default template for new topics and form(s) for this web:
WebTopicEditTemplate? : Default template for new topics in this web. (Site-level is used if topic does not exist)
A preference is defined as: 6 spaces * Set NAME = value Example:
Set WEBBGCOLOR = #FFFFC0
Preferences are used as TWikiVariables by enclosing the name in percent signs. Example:
When you write variable %WEBBGCOLOR% , it gets expanded to #CCCC33 .
The sequential order of the preference settings is significant. Define preferences that use other preferences first, i.e. set WEBCOPYRIGHT before WIKIWEBMASTER since %WEBCOPYRIGHT% uses the %WIKIWEBMASTER% variable.
You can introduce new preferences variables and use them in your topics and templates. There is no need to change the TWiki engine (Perl scripts).
TWiki's Personal/Xana web
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Xana
The Personal/Xana web of TWiki. TWiki is a Web-Based Collaboration Platform for the Corporate World.en-usCopyright 2020 by contributing authorsTWiki Administrator [webmaster@di.uminho.pt]The contributing authors of TWikiTWikiDIUM.Personal/Xana
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Xana
/twiki/pub/Main/LocalLogos/um_eengP.jpgWebHome
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Xana/WebHome
New Web: http://www.cwi.nl/~ams var sc project 2318555; var sc invisible 1; var sc partition 21; var sc security "721d0d57"; (last changed by AlexandraSilva)2007-11-08T22:23:58ZAlexandraSilvaWebSideBar
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Xana/WebSideBar
(last changed by AlexandraSilva)2007-11-08T22:13:29ZAlexandraSilvaInfoPersonal
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Xana/InfoPersonal
(last changed by AlexandraSilva)2007-11-08T22:07:45ZAlexandraSilvaWebPreferences
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Xana/WebPreferences
Personal/Xana Web Preferences The following settings are web preferences of the Personal/Xana web. These preferences overwrite the site level preferences in ... (last changed by AlexandraSilva)2007-03-01T11:12:16ZAlexandraSilvaWebCss
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Xana/WebCss
.natRevision { width:0px; height:0px; overflow:hidden; } .natBreadCrumbs { width:0px; height:0px; overflow:hidden; } (last changed by AlexandraSilva)2007-02-23T12:44:49ZAlexandraSilvaPUReCamila
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Xana/PUReCamila
Introductory note In the first phase of this project (integrated in the laboratory work for the Formais de Programação II course), I made a reengennering of the !PUReCamila ... (last changed by JoseBacelarAlmeida)2007-02-12T19:58:09ZJoseBacelarAlmeidaPUReResearch
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Xana/PUReResearch
I am currently part of Project research team. I am working on Understanding, under FCT's grant POSI/ICHS/44304/2002. My supervisors are: Visser Saraiva ... (last changed by JoseBacelarAlmeida)2007-02-12T19:58:09ZJoseBacelarAlmeidaMenuTopics
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Xana/MenuTopics
Research Personal (last changed by AlexandraSilva)2005-12-12T11:39:28ZAlexandraSilvaWebNotify
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Xana/WebNotify
This is a subscription service to be automatically notified by e mail when topics change in this Personal/Xana web. This is a convenient service, so you do not have ... (last changed by PeterThoeny)2004-08-28T07:30:54ZPeterThoenyWebLeftBar
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Xana/WebLeftBar
Web Web Home Changes Index Search Webs (last changed by ArthurClemens)2004-08-16T05:52:02ZArthurClemensWebRss
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Xana/WebRss
TWiki's Personal/Xana web /view/Personal/Xana The Personal/Xana web of TWiki. TWiki is a Web Based Collaboration Platform for the Corporate World. (last changed by PeterThoeny)2004-08-16T03:27:17ZPeterThoenyWebSearchAdvanced
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Xana/WebSearchAdvanced
(last changed by PeterThoeny)2004-01-18T10:52:19ZPeterThoenyWebIndex
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Xana/WebIndex
See also the faster WebTopicList (last changed by PeterThoeny)2001-11-24T11:41:09ZPeterThoenyWebTopicList
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Xana/WebTopicList
See also the verbose WebIndex. (last changed by PeterThoeny)2001-11-24T11:40:47ZPeterThoenyWebChanges
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Xana/WebChanges
(last changed by PeterThoeny)2001-08-16T19:58:33ZPeterThoenyWebSearch
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Xana/WebSearch
(last changed by PeterThoeny)2001-08-08T05:26:39ZPeterThoeny
Tip: List names in alphabetical order to make it easier to find the names.
Note for System Administrators: Notification is supported by an add-on to the TWiki kernel called the MailerContrib. See the 
If you already know the name of the topic, enter the name of the topic into the 
List topics that start with the letter: 
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.