Titlebook: Mathematical Foundations of Programming Language Semantics; 3rd Workshop Tulane M. Main,A. Melton,D. Schmidt Conference proceedings 1988 S

NOMAD

arousal

The versatile continuous order,e underlying structures for constructions in denotational semantics. The earlier sections concentrate on the order-theoretic aspects of continuously ordered sets and then specifically of domains. The last two sections are concerned with two natural topologies for sets with continuous orders, the Scott and Lawson topologies.

inspiration

A powerdomain construction,. The construction provides an analog of the Plotkin powerdomain entirely within the category of algebraic lattices. Similar results hold for the category of bounded complete algebraic posets and the category of continuous lattices.

SEMI

Closure properties of a probabilistic domain construction,truction is extended to non-algebraic domains, particularly RSFP objects. An abstract notion of a probabilistic domain is presented and the construction is shown to be free. Issues of computability and approaches to solving domain equations in probabilistic domains are addressed briefly.

bonnet

疏遠(yuǎn)天際

微枝末節(jié)

larder

Fulminate

Continuous auxiliary relations,In this article, we introduce finite auxiliary relations and show that in a domain given by a retract of Plotkin‘s SFP object, Scott‘s way-below relation can be obtained as the union of an ascending chain of finite auxiliary relations.

confederacy

0302-9743 ty, New Orleans, Louisiana, April 8-10, 1987. The 1st Workshop was at Kansas State University, Manhattan, Kansas in April, 1985 (see LNCS 239), and the 2nd Workshop with a limited number of participants was at Kansas State in April, 1986. It was the intention of the organizers that the 3rd Workshop