Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,548,600 papers from all fields of science
Search
Sign In
Create Free Account
Extended ML
Known as:
Extended ML (programming language)
, Extended ML programming language
Extended ML is a wide-spectrum language covering both specification and implementation and based on the ML programming language. It extends the…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
10 relations
Axiomatic semantics
Don Sannella
Extensible ML
Formal methods
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Robust Maximum Likelihood Classification of Quadrature Amplitude Modulation
Q. Shi
,
Y. Karasawa
IEEE Wireless Communication and Networking…
2010
Corpus ID: 15915240
This paper is concerned with amplitude-based maximum likelihood classification for quadrature amplitude modulation formats in the…
Expand
2010
2010
Extended ML : Past , present and future
H. Ehrig
,
KP Jantke
,
F. Orejas
,
Reichel
2010
Corpus ID: 54636885
Citation for published version: Sannella, D & Tarlecki, A 1991, Extended ML: Past, present and future. in H Ehrig, KP Jantke, F…
Expand
2010
2010
Change Management for Heterogeneous Development Graphs
S. Autexier
,
D. Hutter
,
Till Mossakowski
Verification, Induction, Termination Analysis
2010
Corpus ID: 10752787
The error-prone process of formal specification and verification of large systems requires an efficient, evolutionary formal…
Expand
2007
2007
Observational Interpretation of Casl Specifications
M. Bidoit
,
D. Sannella
,
A. Tarlecki
2007
Corpus ID: 267815374
MICHEL BIDOIT†, DONALD SANNELLA‡ and ANDRZEJ TARLECKI§ † Laboratoire Spécification et Vérification, CNRS & ENS de Cachan, France…
Expand
1996
1996
Mind the Gap! Abstract Versus Concrete Models of Specifications
D. Sannella
,
A. Tarlecki
International Symposium on Mathematical…
1996
Corpus ID: 7795845
In the theory of algebraic specifications, many-sorted algebras are used to model programs: the representation of data is…
Expand
1996
1996
A Module Calculus Enjoying the Subject-Reduction Property
J. Courant
1996
Corpus ID: 15080930
The module system of SML is a small typed language of its own. As is, one would expect a proof of its soundness following from a…
Expand
1994
1994
The definition of Extended ML
Stefan Kahrs
,
D. Sannella
,
A. Tarlecki
1994
Corpus ID: 12975779
This document formally defines the syntax and semantics of the Extended~ML language. It is based directly on the published…
Expand
1992
1992
Modularising the specification of a small database system in extended ML
E. Kazmierczak
Formal Aspects of Computing
1992
Corpus ID: 28786744
A case study in the modular specification and refinement of a small database system is presented in Extended ML. Two similar…
Expand
1991
1991
On the Relationship Between Algebraic Module Specifications and Program Modules
M. Löwe
,
H. Ehrig
,
W. Fey
,
D. Jacobs
TAPSOFT, Vol.2
1991
Corpus ID: 35829700
This paper studies the relationship between our long-standing algebraic concept of module specifications and modules as they…
Expand
Highly Cited
1985
Highly Cited
1985
Program specification and development in standard ML
D. Sannella
,
A. Tarlecki
ACM-SIGACT Symposium on Principles of Programming…
1985
Corpus ID: 8953707
An attempt is made to apply ideas about algebraic specification in the context of a programming language. Standard ML with…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE