Applicative Specifications of Distributed Systems: Extending Them to Embedded Systems.

Abstract

Recent extensions to applicative languages have made it possible to use them, with their numerous theoretical and practical advantages, for specifying the requirements and designs of distributed systems. Embedded systems are an increasingly important class of distributed systems, and have special problems not adequately dealt with by existing applicative languages. This paper proposes further extensions, shows how they are used to specify embedded systems, and discusses the ramifications of these extensions on the fundamental assumptions of applicative programming. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 1981
Accession Number
ADA097280

Entities

People

  • Pamela Zave

Organizations

  • University of Maryland

Tags

Communities of Interest

  • Biomedical
  • Materials and Manufacturing Processes
  • Sensors
  • Space
  • Weapons Technologies

DTIC Thesaurus Topics

  • Communication Systems
  • Computer Programming
  • Computer Science
  • Computers
  • Control Systems
  • Data Processing
  • Embedded Systems
  • High Level Languages
  • Language
  • Notation
  • Operating Systems
  • Parallel Computing
  • Parallel Processing
  • Physiological Monitoring
  • Processing Equipment
  • Programming Languages
  • Software Development

Fields of Study

  • Computer science
  • Engineering

Readers

  • Quantum spin resonance or Electron Paramagnetic Resonance spectroscopy.
  • Software Engineering.
  • Systems Analysis and Design