Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
An Expressive Language of Signatures
(Abstract)
Current languages allow a programmer to describe an interface only by
enumerating its
parts, possibly also including another interface
wholesale.
Such languages cannot express
relationships between interfaces, yet when independently developed
software components are combined into a larger system,
significant relationships arise naturally.
To address this shortcoming, we define,
as a conservative
extension of ML,
a language for manipulating
interfaces.
Our language includes operations for adding, renaming, and
removing components;
for changing the type associated with a value;
for making a manifest type abstract or vice versa;
and for combining two interfaces.
These operations can express useful relationships among
interfaces.
To define our language precisely,
we present semantic objects that can represent interfaces, then give
elaboration rules in terms of these objects.