Everything about Extended ML
Programming language
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. Wikipedia →
🧭 Start here: a 6-step reading path
- Read the overview: Extended MLA 5-minute orientation
- Skim a recent paper: antiSMASH 8.0: extended gene cluster detection capabilities and analyses of chemistry, enzymology, and regulationInfluential work since 2022
- Pick up a classic book: Treaty Occupationay ToxicologyThe most-reprinted book on the subject
- Read the landmark paper: Self-Consistent Molecular-Orbital Methods. IX. An Extended Gaussian-Type Basis for Molecular-Orbital Studies of Organic MoleculesCited 10,292 times
- Go sideways: Refinement (computing)A closely related topic
- Go sideways: Abstract state machineA closely related topic
📖 Definitions
No dictionary entry for this exact phrase.
🗂️ The subject at a glance
No outline available.
🏆 Landmark papers (most cited)
Self-Consistent Molecular-Orbital Methods. IX. An Extended Gaussian-Type Basis for Molecular-Orbital Studies of Organic Molecules
Extended-Connectivity Fingerprints
Extended 14C Data Base and Revised CALIB 3.0 14C Age Calibration Program
Possessions and the Extended Self
An Extended Hückel Theory. I. Hydrocarbons
The Extended Mind
Tolerance, Danger, and the Extended Family
On the self-similar nature of Ethernet traffic (extended version)
🆕 Influential since 2022
antiSMASH 8.0: extended gene cluster detection capabilities and analyses of chemistry, enzymology, and regulation
π-Extended Nonfullerene Acceptor for Compressed Molecular Packing in Organic Solar Cells To Achieve over 20% Efficiency
GWTC-2.1: Deep extended catalog of compact binary coalescences observed by LIGO and Virgo during the first half of the third observing run
Infectious Diseases Society of America 2022 Guidance on the Treatment of Extended-Spectrum β-lactamase Producing Enterobacterales (ESBL-E), Carbapenem-Resistant Enterobacterales (CRE), and Pseudomonas aeruginosa with Difficult-to-Treat Resistance (DTR- P. aeruginosa )
Efficacy, durability, and safety of intravitreal faricimab with extended dosing up to every 16 weeks in patients with diabetic macular oedema (YOSEMITE and RHINE): two randomised, double-masked, phase 3 trials
📚 Books worth reading
Treaty Occupationay ToxicologySuelen Queiroz · 2010
Econometrics of financial high-frequency dataNikolaus Hautsch · 2011
The life of St. Alphonsus LiguoriAustin Carroll · 1882
Crustal cross sections from the western North American cordillera and elsewhereRobert B. Miller · 2009
Managing event informationAmarnath Gupta · 2011
Damage and fracture mechanicsTaoufik Boukharouba, Mimoun Elboujdaini · 2009- 📕Interfaces and extended MLStefan Kahrs · 1994
- 📕Extended MLDonald Sannella · 1986
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
🔗 Related topics
- Refinement (computing) Refinement is a generic term of computer science that encompasses various approaches for producing correct computer programs and simplifying existing programs…
- Abstract state machine In computer science, an abstract state machine (ASM) is a state machine operating on states that are arbitrary data structures (structure in the sense…
- Rod Burstall Rodney Martineau Burstall (11 November 1934 – 13 February 2025) was a British computer scientist who was one of four founders of the Laboratory for Foundations…
- Institution (computer science) The notion of institution was created by Joseph Goguen and Rod Burstall in the late 1970s, in order to deal with the "population explosion among the logical…
- Hope (programming language) Hope is a programming language based on functional programming developed in the 1970s at the University of Edinburgh. It predates Miranda and Haskell and…
- Extensible programming In computer science, extensible programming is a style of computer programming that focuses on mechanisms to extend the programming language, compiler…
- Spec Explorer Spec Explorer is a Model-Based Testing (MBT) tool from Microsoft. It extends the Visual Studio Integrated Development Environment with the ability to define…
- Refinement type In type theory, a refinement type is a type endowed with a predicate which is assumed to hold for any element of the refined type. Refinement types can…