Accession Number:

ADA361649

Title:

HOOTS II Second Workshop on Higher-Order Operational Techniques in Semantics. Volume 10

Descriptive Note:

Final rept. 30 Sep 97-30 Sep 98

Corporate Author:

STANFORD UNIV PALO ALTO CA

Personal Author(s):

• Gordon, Andrew
• Pitts, Andrew
• Talcott, Carolyn

Report Date:

1997-12-12

Pagination or Media Count:

311.0

Abstract:

This issue of ENTCS is an unrefereed conference record of talks presented at the Second Workshop on Higher Order Operational Techniques in Semantics held at Stanford University, December 8-11, 1997. The meeting was organized by A. Gordon, A. Pitts and C. Talcott with generous sponsorship from Harlequin Ltd, NSF and ONR. The study of operational techniques for higher-order languages has much research activity going on in distinct communities, including the concurrency, functional programming and type theory communities. The purpose of the workshop was to bring researchers from these communities together to discuss current trends in the theory of operational semantics, its application to higher-order languages and its connection with more established semantic techniques.

Descriptors:

• *COMPUTER PROGRAMMING
• *SEMANTICS
• *HIGH LEVEL LANGUAGES
• COMPUTERIZED SIMULATION
• COMPUTER LOGIC
• MATHEMATICAL LOGIC
• CONCURRENT ENGINEERING
• COMPUTER PROGRAM VERIFICATION
• WORKSHOPS
• AUTOMATA

Subject Categories:

• Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE