Extended ML
Extended ML (EML) is a framework for specification and formal development of
Standard ML (SML) programs. EML specifications look just like SML programs
except that axioms are allowed in signatures and in place of code in
structures and functors. Some EML specifications are executable, since SML
function definitions are just axioms of a certain special form. This makes
EML a "wide-spectrum" language which can be used to express every stage in
the development of a SML program from the initial high-level specification
to the final program itself and including intermediate stages in which
specification and program are intermingled.
Formally developing a program in EML means writing a high-level
specification of a generic SML module and then refining this specification
top-down by means of a sequence (actually, a tree) of development steps
until an executable SML program is obtained. The development has a tree-like
structure since one of the ways to proceed from a specification is to
decompose it into a number of smaller specifications which can then be
independently refined further. In programming terms, this corresponds to
implementing a program module by decomposing it into a number of independent
sub-modules. The end-product is an interconnected collection of generic SML
modules, each with a complete and accurate specification of its interface
with the rest of the system. The explicit interfaces enable correct reuse of
the individual modules in other systems, and facilitate maintainability by
making it possible to localize the effect on the system of subsequent
changes in the requirements specification.
Current research is on: the semantics
-----Original Message-----
From: PCSOFT - Personal Computer software discussion list
[mailto:[log in to unmask]]On Behalf Of Don L Elias
Sent: Tuesday, May 07, 2002 2:25 AM
To: [log in to unmask]
Subject: Re: [PCSOFT] What applications for file types
I got the following information from a file I downloaded from:
http://www.burncreek.net/web/shareware/fileextensions/
EML Microsoft Outlook Express mail message (MIME RFC 822)
Don Elias
On Mon, 6 May 2002 22:52:11 -0400 Jim Cooley <[log in to unmask]>
writes:
> Does anyone have a list of file types and applications that run them?
> For example which application runs eml files?
>
> Curious about the people moderating your
> messages? Visit our staff web site:
> http://freepctech.com/staff.shtml
________________________________________________________________
GET INTERNET ACCESS FROM JUNO!
Juno offers FREE or PREMIUM Internet access for less!
Join Juno today! For your FREE software, visit:
http://dl.www.juno.com/get/web/.
Curious about the people moderating your
messages? Visit our staff web site:
http://freepctech.com/staff.shtml
Curious about the people moderating your
messages? Visit our staff web site:
http://freepctech.com/staff.shtml
|
