منابع مشابه
Superposition with Datatypes and Codatatypes
The absence of a finite axiomatization of the first-order theory of datatypes and codatatypes represents a challenge for automatic theorem provers. We propose two approaches to reason by saturation in this theory: one is a conservative theory extension with a finite number of axioms; the other is an extension of the superposition calculus, in conjunction with axioms. Both techniques are refutat...
متن کاملElements of ML programming - ML 97 edition
elements of ml programming ml97 edition khbd elements of ml programming ml97 edition eyeguy elements of ml programming ml97 edition campen elements of ml programming ml97 edition anymix elements of ml programming ml97 edition dcnx elements of ml programming ml97 edition wigtql.herokuapp elements of ml programming ml97 edition ztrd elements of ml programming ml97 edition deelyey elements of ml p...
متن کاملDistributed communication in ML
We present our experience in implementing a group communication toolkit in Objective Caml, a dialect of the ML family of programming languages. We compare the toolkit both quantitatively and qualitatively to a predecessor toolkit which was implemented in C. Our experience shows that using the high-level abstraction features of ML gives substantial advantages. Some of these features, such as aut...
متن کاملConcurrent programming in ML
Concurrent Programming in ML presents the language Concurrent ML (CML), which supports the union of two important programming models: concurrent programming and functional programming. CML is an extension of the functional language Standard ML (SML) and is included as part of the Standard ML of New Jersey (SML/NJ) distribution. CML supports the programming of process communication and synchroni...
متن کاملReference Polymorphism in ML
ML is a family of functional type-safe programming languages with both polymorphic types and mutable state. The naive combination of these two features leads to type violations, resulting in an unsound language. The value restriction as proposed by Wright and adopted by Standard ML restores soundness to the language, but restricts all references to be monomorphic. However, allocating and updati...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 1989
ISSN: 0747-7171
DOI: 10.1016/s0747-7171(89)80065-3