Hi,
This message bounced to me for approval.
Hassen, make sure you become a member of the
list with this email address, otherwise all
the messages you post will be bounced to me.
The answer from me:
Some attempts at formally specifying parts of
the Modelica language have been made but up to
date there is no full formal specification for
the entire language.
You can read a bit more about this in the
licentiate thesis of David Broman:
http://www.bromans.com/david/publ/lic-thesis-david-broman-2007.pdf
However, as far as I know the only language that
has a full formal specification is Standard ML,
of course, not counting small research oriented
languages.
Languages like C, C++, Java, etc they all have
text-like specifications just as Modelica.
You can read the Modelica Specification here:
http://www.modelica.org/documents/ModelicaSpec30.pdf
Cheers,
Adrian Pop/
-------- Original Message --------
Subject: BOUNCE [email protected]: taboo header:
Date: Tue, 30 Sep 2008 14:29:52 +0200 (CEST)
From: [EMAIL PROTECTED]
To: [EMAIL PROTECTED]
From [EMAIL PROTECTED] Tue Sep 30 14:29:49 2008
Received: from web24402.mail.ird.yahoo.com (web24402.mail.ird.yahoo.com
[87.248.114.214])
by portofix.ida.liu.se (8.13.8/8.13.8) with SMTP id m8UCThK4020080
for <[email protected]>; Tue, 30 Sep 2008 14:29:48 +0200
(CEST)
Received: (qmail 79240 invoked by uid 60001); 30 Sep 2008 12:02:58 -0000
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws;
s=s1024; d=yahoo.fr;
h=X-YMail-OSG:Received:X-Mailer:Date:From:Reply-To:Subject:To:MIME-Version:Content-Type:Message-ID;
b=S/s66E3mGI4Sd8QCTzArDG6jSmrXaPJQkCaqrdB3NZCqaWwlkNIb28wy98SPNQDr/pJXATyqK0p2MjxWbn6DHllKc0KUmZfYYqZbh9nxZt7G9sL0F0BsNZfuJFNPb0WHjI9UTmK6722TZTJKJxTF3m9sSwGfX3a+sm1ymFWgjTU=;
X-YMail-OSG: ERR:encrypt:no_context
Received: from [193.48.179.66] by web24402.mail.ird.yahoo.com via HTTP;
Tue, 30 Sep 2008 12:02:58 GMT
X-Mailer: YahooMailWebService/0.7.218.2
Date: Tue, 30 Sep 2008 12:02:58 +0000 (GMT)
From: HADJ AMOR HASSEN <[EMAIL PROTECTED]>
Reply-To: [EMAIL PROTECTED]
Subject: Modelica and formal semantics
To: [email protected]
MIME-Version: 1.0
Content-Type: multipart/alternative;
boundary="0-1970950521-1222776178=:79153"
Message-ID: <[EMAIL PROTECTED]>
X-Greylist: Delayed for 00:26:40 by milter-greylist-3.0
(portofix.ida.liu.se [130.236.177.25]); Tue, 30 Sep 2008 14:29:49 +0200
(CEST)
X-Virus-Scanned: ClamAV 0.94/8357/Tue Sep 30 10:35:32 2008 on
portofix.ida.liu.se
X-Virus-Status: Clean
X-Spam-Flag: NO
X-Scanned-By: milter-spamc/0.25.320 (portofix.ida.liu.se
[130.236.177.25]); Tue, 30 Sep 2008 14:29:49 +0200
X-Spam-Status: NO, hits=2.10 required=5.00
--0-1970950521-1222776178=:79153
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Hi all,
I know that formal semantics are defined for the Modelica langage.I want to=
know if the behavior is defined in a formal way or only a part of the
beha=
vior is defined in a formal way. I found in a thesis report that Modelica i=
s defined with partial semantics. Can anyone give us more explanation?=20
Best regards,
Hassen
=0A=0A=0A
--0-1970950521-1222776178=:79153
Content-Type: text/html; charset=utf-8
Content-Transfer-Encoding: quoted-printable
<table cellspacing=3D"0" cellpadding=3D"0" border=3D"0" ><tr><td valign=3D"=
top" style=3D"font: inherit;">Hi all,<br><br>I know that formal semantics a=
re defined for the Modelica langage.I want to know if the behavior is defin=
ed in a formal way or only a <span style=3D"font-weight: bold;">part</span>=
of the behavior is defined in a formal way. I found in a thesis report
tha=
t Modelica is defined with <span style=3D"font-weight: bold;">partial seman=
tics</span>. Can anyone give us more explanation? <br><br>Best regards,<br>=
Hassen<br></td></tr></table><br>=0A=0A=0A=0A=0A
--0-1970950521-1222776178=:79153--
