منابع مشابه
ML and Extended Branching VASS
We prove that the observational equivalence problem for a finitary fragment of ML is recursively equivalent to the reachability problem for extended branching vector addition systems with states (EBVASS). Our proof uses the fully abstract game semantics of the language. We introduce a new class of automata, VPCMA, as a representation of the game semantics. VPCMA are a version of class memory au...
متن کاملThe Definition of Extended ML
This document formally defines the syntax and semantics of the Extended ML language. It is based directly on the published semantics of Standard ML in an attempt to ensure compatibility between the two languages. Defects in This Document This document contains the following (known) defects: 1. Behavioural equivalence. Mentioned as a defect in the introduction. 2. The way the meta-language deals...
متن کاملExtended ML: Past, Present, and Future
An overview of past, present and future work on the Extended ML formal program development framework is given, with emphasis on two topics of current active research: the semantics of the Extended ML speciication language, and tools to support formal program development.
متن کاملThe joint MAP-ML criterion and its relation to ML and to extended least-squares
The joint maximum a posteriori–maximum likelihood (JMAP-ML) estimation criterion can serve as an alternative to the maximum likelihood (ML) criterion when estimating parameters from an observed data vector whenever another unobserved data vector is involved. Rather than maximize the probability of the observed data with respect to the parameters, JMAP-ML maximizes the joint probability of the o...
متن کاملDynamic Package Interfaces - Extended Version
A hallmark of object-oriented programming is the ability to perform computation through a set of interacting objects. A common manifestation of this style is the notion of a package, which groups a set of commonly used classes together. A challenge in using a package is to ensure that a client follows the implicit protocol of the package when calling its methods. Violations of the protocol can ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 1994
ISSN: 0362-1340,1558-1160
DOI: 10.1145/185087.185113