DID YOU KNOW? DTIC has over 3.5 million final reports on DoD funded research, development, test, and evaluation activities available to our registered users. Click
HERE to register or log in.
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
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.
Distribution Statement:
APPROVED FOR PUBLIC RELEASE