Accession Number:

ADA139046

Title:

Lecture Notes in Computer Science,

Descriptive Note:

Corporate Author:

CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE

Personal Author(s):

Report Date:

1984-01-01

Pagination or Media Count:

537.0

Abstract:

Logics of Programs, as a field of study, touches on a wide variety of activities in computer science and mathematics. It draws on mathematical foundations of formal logic, semantics, and complexity theory, and finds practical application in the areas of program specification, verification, and programming language design. The Logics of Programs Workshop was conceived as a forum for the informal sharing of problems. results, techniques, and new applications in these areas, with special emphasis on bridging whatever abyss may exist between the theoreticians and the pragmatists. The workshop was held on June 6-8, 1983 at CArnegie Mellon University. 38 technical papers were presented, representing the entire spectrum activity in Logics of Programs from model theory to languages for the design of digital circuits.

Subject Categories:

  • Numerical Mathematics
  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE