Accession Number:

ADA237754

Title:

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

Descriptive Note:

Final project rept.,

Corporate Author:

TULANE UNIV NEW ORLEANS LA

Personal Author(s):

Report Date:

1991-06-30

Pagination or Media Count:

5.0

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.

Subject Categories:

  • Numerical Mathematics
  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE