Extended ML

Extended ML
ParadigmsMulti-paradigm: functional, imperative, modular
FamilyML: Standard ML
Designed byS. Kahrs, D. Sannella,
A. Tarlecki
DeveloperUniversity of Edinburgh
First appeared1985; 40 years ago (1985)
Final release
1.1 / 1999; 26 years ago (1999)
Typing disciplinestrong, static, inferred
PlatformIA-32, SPARC
OSCross-platform: Linux, Solaris
Websitehomepages.inf.ed.ac.uk/dts/eml[1]
Influenced by
ML, Standard ML

Extended ML is a general-purpose, high-level, wide-spectrum programming language based on the languages ML and Standard ML, covering both program specification and implementation. It extends the syntax of ML to include axioms, which do not need to be executable but can rigorously specify the behavior of a program. With this addition, the language can be used for stepwise refinement, proceeding gradually from an initial formal specification to eventually yield an executable Standard ML program. Correctness of the final executable with respect to the original specification can then be established by proving the correctness of each of the refinement steps. Extended ML is used for research into and teaching of formal methods in program development and specification, and research into automatic program verification.

Extended ML is neither related to the programming language Extensible ML (other than being similarly derived from ML), nor to the specification language Extensible Markup Language (XML).

References

  1. ^ "Extended ML". University of Edinburgh. Scotland.
  • Sannella, D.; Tarlecki, A. (1986). "Extended ML: an institution-independent framework for formal program development". Proceedings of the Workshop on Category Theory and Computer Programming: ETAPS'98. Vol. 173. Lisbon, Portugal: Springer LNCS 240. pp. 364–389. Workshop in Guildford, England; 1985.
  • Sannella, D.; Tarlecki, A. (1989). Toward formal development of ML programs: foundations and methodology; ECS-LFCS-89-71 (Report). Edinburgh, Scotland: Laboratory for Foundations of Computer Science, University of Edinburgh. Extended abstract in Proceedings of the Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, Springer LNCS, pp. 352, 375–389 (1989).
  • Kahrs, S.; Sannella, D.; Tarlecki, A. (1994). "Interfaces and Extended ML". Proceedings of the ACM Workshop on Interface Definition Languages. SIGPLAN Notices. Vol. 29. Portland, Oregon. pp. 111–118.{{cite book}}: CS1 maint: location missing publisher (link)
  • Kahrs, S.; Sannella, D.; Tarlecki, A. (28 February 1997). "The definition of extended ML: A gentle introduction". Theoretical Computer Science. 173 (2): 445–484. doi:10.1016/S0304-3975(96)00163-6.
  • Kahrs, S.; Sannella, D. (1998). "Reflections on the design of a specification language". Proceedings of the International Colloquium on Fundamental Approaches to Software Engineering: ETAPS'98. Vol. 173. Lisbon, Portugal: Springer LNCS 1382. pp. 154–170.
  • Sannella, D.; Tarlecki, A. (1999). "Algebraic methods for specification and formal development of programs". ACM Computing Surveys. 31 (3es): 10. doi:10.1145/333580.333589.


Stub icon

This programming-language-related article is a stub. You can help Wikipedia by expanding it.

Read other articles:

Callimetopus cynthia

Species of beetle Callimetopus cynthia Scientific classification Domain: Eukaryota Kingdom: Animalia Phylum: Arthropoda Class: Insecta Order: Coleoptera Infraorder: Cucujiformia Family: Cerambycidae Subfamily: Lamiinae Tribe: Pteropliini Genus: Callimetopus Species: C. cynthia Binomial name Callimetopus cynthiaThomson, 1865 Synonyms Euclea cynthia Thomson, 1865 Proteuclea sulphureomaculata Schultze, 1916 Callimetopus cynthia is a species of beetle in the family Cerambycidae. It was descr...

 

 

Forêt en France

Image satellitaire (août 2002) : la forêt (vert foncé) couvre, en 2016, 16,9 millions d’hectares, soit 31 % du territoire. Les forêts française accueillent plus de 700 millions de visiteurs chaque année. 9 Français sur 10 vont au moins une fois par an dans cet espace naturel, ce qui le classe au deuxième rang préféré durant leur temps libre, juste derrière la campagne. Les forêts publiques gérées par l'ONF comportent plus de 18 000 km de sentiers pédestre...

 

 

Conducteur (électricité)

Pour les articles homonymes, voir Conducteur. Un conducteur d'électricité est un corps capable de laisser passer un courant électrique[1],[2]. Souvent, un bon conducteur d’électricité est aussi un bon conducteur de la chaleur[2]. À l'opposé, un isolant électrique est un corps qui ne laisse pas passer le courant électrique. Un isolant est souvent également un mauvais conducteur de chaleur. Conducteurs électriques en cuivre entourés de leur isolant en plastique blanc. Matériaux ...

Claymore (manga)

Claymoreクレイモア(Kureimoa)GenrePetualangan,[1] fantasi gelap,[2] pedang dan sihir[3] MangaPengarangNorihiro YagiPenerbitShueishaPenerbit bahasa InggrisAUS Madman EntertainmentNA Viz MediaImprintJump ComicsMajalahMonthly Shōnen Jump(Mei 2001–Juni 2007)Weekly Shōnen Jump(Juli 2007–Oktober 2007)Jump Square(November 2007–Desember 2014)DemografiShōnenTerbitMei 2001 – 4 Desember 2014Volume27 (Daftar volume) Seri animeSutradaraHiroyuki TanakaProduserManabu T...

 

 

Dewan Perwakilan Rakyat Daerah Kabupaten Empat Lawang

Dewan Perwakilan Rakyat Daerah Kabupaten Empat LawangDewan Perwakilan RakyatKabupaten Empat Lawang2019-2024JenisJenisUnikameral SejarahSesi baru dimulai26 Agustus 2019PimpinanKetuaPersi, S.E. (PAN) sejak 7 Oktober 2019 Wakil Ketua IA. Rifa'i (PDI-P) sejak 7 Oktober 2019 Wakil Ketua IIWindera Safri, S.E. (Golkar) sejak 7 Oktober 2019 KomposisiAnggota35Partai & kursi  PDI-P (6)   NasDem (3)   PKB (2)   Hanura (2)   Demokrat (3) &...

 

 

Pyrrobutamine

Chemical compound PyrrobutamineClinical dataATC codeR06AX08 (WHO) Identifiers IUPAC name 1-[(2E)-4-(4-chlorophenyl)-3-phenylbut-2-en-1-yl]pyrrolidine CAS Number91-82-7 YPubChem CID5284614ChemSpider4447659 NUNIIVE6KP18S8XChEMBLChEMBL1697849 NCompTox Dashboard (EPA)DTXSID9023544 ECHA InfoCard100.001.911 Chemical and physical dataFormulaC20H22ClNMolar mass311.85 g·mol−13D model (JSmol)Interactive image SMILES C1CCN(C1)C/C=C(\CC2=CC=C(C=C2)Cl)/C3=CC=CC=C3 InChI In...

Iclazepam

Chemical compound IclazepamIdentifiers IUPAC name 7-chloro-1-[2-(cyclopropylmethoxy)ethyl]-5-phenyl-3H-1,4-benzodiazepin-2-one CAS Number57916-70-8 YPubChem CID68777ChemSpider62020 YUNIIFL061Q6NMCChEMBLChEMBL2104257CompTox Dashboard (EPA)DTXSID20206628 Chemical and physical dataFormulaC21H21ClN2O2Molar mass368.86 g·mol−13D model (JSmol)Interactive image SMILES ClC1=CC2=C(C=C1)N(CCOCC3CC3)C(CN=C2C4=CC=CC=C4)=O InChI InChI=1S/C21H21ClN2O2/c22-17-8-9-19-18(12-17)21(16-4-2-1-3-5...

 

 

طواف بولندا 2008

يفتقر محتوى هذه المقالة إلى الاستشهاد بمصادر. فضلاً، ساهم في تطوير هذه المقالة من خلال إضافة مصادر موثوق بها. أي معلومات غير موثقة يمكن التشكيك بها وإزالتها. (ديسمبر 2018) طواف بولندا 2008 برو تور 2008 السباق 15 من 15 السلسلة برو تور 2008  رقم السباق 15 سباقات الموسم 15 التاريخ إلى 20 سب...

 

 

Episodi di Law & Order - Unità vittime speciali (dodicesima stagione)

Voce principale: Law & Order - Unità vittime speciali. La dodicesima stagione della serie televisiva Law & Order - Unità vittime speciali, composta da 24 episodi, è stata trasmessa per la prima volta negli Stati Uniti dalla NBC dal 22 settembre 2010 al 18 maggio 2011. L'episodio La prigioniera costituisce un crossover con la serie televisiva Law & Order: LA, debuttata negli Stati Uniti subito dopo la messa in onda di tale episodio, che ne introduce i protagonisti. In Italia è...

مروحية عسكرية

مروحية هجومية تابعة للجيش البريطاني. المروحية العسكرية هي مروحية مستخدمة من طرف القوات العسكرية.[1][2][3] تتعدد أدوار المروحيات العسكرية فمنها الأدوار الهجومية وأدوار النقل التكتيكي وغيرها. معرض صور انظر أيضاً * طائرة عسكرية مراجع ^ Cacutt، Len (1989). Combat. Aerospace Publishing Ltd. ...

 

 

Walter Berg (astrologer)

British astrologer This article possibly contains original research. Please improve it by verifying the claims made and adding inline citations. Statements consisting only of original research should be removed. (July 2011) (Learn how and when to remove this message) Walter Berg (born 1947) is a British astrologer, known for his system of a 13-sign sidereal astrology (13), a sidereal system that uses the actual star constellations of the true zodiac. He has published several best selling book...

 

 

Kawaguchi Station

Railway station in Kawaguchi, Saitama Prefecture, Japan JK39Kawaguchi Station川口駅General informationLocation3 Sakaechō, Kawaguchi-shi, Saitama-ken 332-0017JapanCoordinates35°48′07″N 139°43′03″E / 35.80194°N 139.71750°E / 35.80194; 139.71750Operated by JR EastLine(s)JK Keihin-Tōhoku LineDistance15.8 km from TokyoPlatforms1 island platformConnections Bus terminal Other informationStatusStaffed ( Midori no Madoguchi )WebsiteOfficial websiteHistoryOpened...

Thermidorian Reaction

1794 French counter-revolution against Robespierre Closing of the Jacobin Club by Louis Legendre, in the early morning of 28 July 1794. Four days later it was reopened by him.[1] In the historiography of the French Revolution, the Thermidorian Reaction (French: Réaction thermidorienne or Convention thermidorienne, Thermidorian Convention) is the common term for the period between the ousting of Maximilien Robespierre on 9 Thermidor II, or 27 July 1794, and the inauguration of the Fre...

 

 

2017 Pacific typhoon season

2017 Pacific typhoon seasonSeason summary mapSeasonal boundariesFirst system formedJanuary 7, 2017Last system dissipatedDecember 26, 2017Strongest stormNameLan • Maximum winds185 km/h (115 mph)(10-minute sustained) • Lowest pressure915 hPa (mbar) Seasonal statisticsTotal depressions41, 1 unofficialTotal storms27Typhoons11Super typhoons2 (unofficial)Total fatalities853 totalTotal damage$15.1 billion (2017 USD)Related articles 2017 Atlantic hurricane season 2017 Pacific...

 

 

Commonwealth realm

Sovereign state in personal union with the United Kingdom Not to be confused with Commonwealth of Nations.   Current Commonwealth realms   Territories and dependencies of current realms  Former realms and dominions that are now republics A Commonwealth realm is a sovereign state within the Commonwealth that has Charles III as its monarch and ceremonial head of state. All the realms are equal with and independent of the others, though one person, resident in the U...

Wadsley

Human settlement in EnglandWadsleyWadsleyLocation within South YorkshirePopulation5,631 [1]OS grid referenceSK321905Metropolitan boroughSheffieldMetropolitan countySouth YorkshireRegionYorkshire and the HumberCountryEnglandSovereign stateUnited KingdomPost townSHEFFIELDPostcode districtS6Dialling code0114PoliceSouth YorkshireFireSouth YorkshireAmbulanceYorkshire UK ParliamentSheffield Hillsborough List of places UK England Yorkshire 53°25...

 

 

If Winter Comes

1947 film by Victor Saville If Winter ComesTheatrical posterDirected byVictor SavilleScreenplay byArthur WimperisMarguerite RobertsBased onIf Winter Comes1921 novelby A.S.M. HutchinsonProduced byPandro S. BermanStarringWalter PidgeonDeborah KerrAngela LansburyJanet LeighCinematographyGeorge J. FolseyEdited byFerris WebsterMusic byHerbert StothartProductioncompanyMetro-Goldwyn-MayerDistributed byLoew's Inc.Release date December 31, 1947 (1947-12-31) Running time97 minutesCountry...

 

 

Makanan siap saji

California Fried Chicken atau disingkat CFC merupakan restoran ayam cepat saji pertama produk Indonesia. Restoran ini berdiri sejak tahun 1983, dengan gaya restoran Amerika Serikat.[1] Makanan siap saji adalah makanan yang dihidangkan dan dilayankan dengan waktu yang cepat. Dengan kata lain makanan siap saji merupakan makanan yang disiapkan dengan segera. Biasanya makanan siap saji dapat ditemukan di restoran atau toko dengan persiapan mutu yang rendah, yang dihidangkan dalam sebuah p...

Daftar Bupati Sukoharjo

Bupati SukoharjoLambang Kabupaten SukoharjoPetahanaEtik Suryanisejak 26 Februari 2021KediamanRumah Dinas Bupati SukoharjoMasa jabatan5 TahunDibentuk1946Pejabat pertamaK. R. T. Soewarno Honggopati TjitrohoepojoSitus webhttps://www.sukoharjokab.go.id/ Berikut adalah Daftar Bupati Sukoharjo dari masa ke masa. No Foto Nama Mulai Jabatan Akhir Jabatan Partai Politik/Fraksi Wakil Bupati Ket. Ref. 1 K. R. T. Soewarno Honggopati Tjitrohoepojo 1946 1948 Independen [Ket. 1] 2 Ismangil Prod...

 

 

The Wedding Planner

2001 film by Adam Shankman For the profession related to wedding planning, see Wedding planner. The Wedding PlannerTheatrical release posterDirected byAdam ShankmanWritten byPamela FalkMichael EllisProduced byPeter AbramsRobert L. LevyGigi PritzkerDeborah Del PreteJennifer GibgotStarringJennifer LopezMatthew McConaugheyBridgette Wilson-SamprasJustin ChambersAlex RoccoCinematographyJulio MacatEdited byLisa Zeno ChurginMusic byMervyn WarrenProductioncompaniesColumbia PicturesIntermedia FilmsTap...