Workshop on the Mathematical Foundations of Programming Semantics (6th) Held in Kingston Canada on 16-19 May 1990

Abstract

There were seven invited lectures and 25 contributed talks at the meeting. The invited talks were on three broad topics: polymorphism, applications of category theory to programming semantics, and concurrency. The specific topics included polymorphism and type theory, the use of functor categories to model ALGOL like languages, linear logic, the semantics of dataflow networks, semantic models of CSP, and the use of probability theory to model nondeterminism.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 30, 1991
Accession Number
ADA237754

Entities

People

  • Michael William Mislove

Organizations

  • Tulane University of Louisiana

Tags

Communities of Interest

  • Energy and Power Technologies

DTIC Thesaurus Topics

  • British Columbia
  • Canada
  • Computer Programming
  • Computer Science
  • Information Science
  • Islands
  • Language
  • Models
  • Programming Languages
  • Semantic Models
  • Semantics
  • South Africa
  • Theoretical Computer Science
  • Two Dimensional
  • United States
  • Universities
  • Workshops

Readers

  • Academic Conference Management
  • Computational Linguistics
  • Mathematical Modeling and Probability Theory.