Mathematical Foundations of Programming Semantics International Conference (9th) Held in New Orleans, Louisiana, April 1993

Abstract

The major goal of this conference series is to bring together computer scientists who work in programming semantics and mathematicians who work in areas which might impact programming semantics so that they may share ideas and discuss problems of mutual interest. By letting mathematicians see applications of their work to programming semantics and by letting computer scientists see their ideas and intuitions expressed in pure mathematics, the organizers have sought to improve communication among the researchers in these areas and to establish ties between related areas of research.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 01, 1993
Accession Number
ADA281229

Entities

People

  • A. Melton
  • D. R. Schmidt
  • M. Main
  • M. Mislove
  • S. Brookes

Tags

Communities of Interest

  • C4I
  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Complex Variables
  • Computational Science
  • Computer Languages
  • Computer Programming
  • Computer Science
  • Computers
  • Cryptography
  • Grammars
  • Information Science
  • Linguistics
  • Object Oriented Programming
  • Parallel Computing
  • Probabilistic Models
  • Programming Languages
  • Software Development
  • Theorems
  • Theoretical Computer Science

Readers

  • Academic Conference Management
  • Computational Linguistics