Semantics of Programming Languages and Model Theory
by Manfred Droste
On This Page
Description
Fourteen papers presented at the conference on [title], held at the International Conference and Research Center for Computer Science, Schloss Dagstuhl, June 1991, as well as a few others submitted by colleagues unable to attend, reflect the interplay between algebra, logic, and semantics of programming languages. Among the topics are a formal specification of PARLOG, synthesis of nondeterministic asynchronous automata, observable modules and power domain constructions, the Smyth-completion show more of a quasi-uniform space, current trends in the semantics of data flow, and a theory of unary pairfunctions. Annotation copyright by Book News, Inc., Portland, OR show lessTags
Members
- Recently Added By
Author Information
5 Works 25 Members
Series
Belongs to Publisher Series
Common Knowledge
- Canonical title
- Semantics of Programming Languages and Model Theory
Classifications
- Genres
- Nonfiction, Technology
- DDC/MDS
- 005.13 — Computer science, information & general works Computer science, knowledge & systems Artificial Intelligence/Virtual Reality Software development Computer programming
- LCC
- QA76.7 .S45 — Science Mathematics Mathematics Instruments and machines Calculating machines Electronic computers. Computer science
- BISAC
Statistics
- Members
- 2
- Popularity
- 6,012,945
- Languages
- English
- Media
- Paper
- ISBNs
- 1
