Matches in SemOpenAlex for { <https://semopenalex.org/work/W35638052> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W35638052 endingPage "1" @default.
- W35638052 startingPage "1" @default.
- W35638052 abstract "This issue of ENTCS is an unrefereed conference record of talks presented at the Second Workshop on Higher Order Operational Techniques in Semantics (HOOTS II) held at Stanford University, December 8-11, 1997. The meeting was organised by A. Gordon, A. Pitts and C. Talcott with generous sponsorship from Harlequin Ltd, NSF and ONR. The first HOOTS workshop was held October 28-30, 1995 as part of the University of Cambridge Isaac Newton Institute research programme on Semantics of Computation (July-Dec 1995). The study of operational techniques for higher-order languages is now a thriving area, with much research activity going on world-wide. An important open problem is a theory of program equivalence for languages with higher-order features, including functions and objects. Techniques for defining and reasoning about equivalence and other properties of higher-order programs have emerged in distinct communities, including the concurrency, functional programming and type theory communities. The purpose of the HOOTS workshops 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. Papers presented at HOOTS II covered a broad range of topics: techniques such as bisimulation and logical relations for reasoning about contextual equivalence alternative program relations such as operational subsumption, and evaluation rules for program contexts operational models including adaptation of big-step evaluation semantics to provide capabilities of small-step and denotational semantics forms, flow graphs, and history dependent automata higher-order programming calculi including: imperative call-by-need lambda calculus, action calculi, process calculi for reasoning about mobility and security, interaction of actors and pi calculus agents approaches to program analysis and verification, including: logics for control flow analysis, monadic type systems, and diagramatic specification notation for actor systems; programming environment tools such a type systems for Java byte-code, and higher-order program units for modularity. Programs and participants lists for HOOTS I and II and other information about HOOTS, past and future can be found here" @default.
- W35638052 created "2016-06-24" @default.
- W35638052 creator A5004132293 @default.
- W35638052 creator A5032862939 @default.
- W35638052 creator A5089095825 @default.
- W35638052 date "1998-01-01" @default.
- W35638052 modified "2023-09-26" @default.
- W35638052 title "Preface" @default.
- W35638052 doi "https://doi.org/10.1016/s1571-0661(05)80684-x" @default.
- W35638052 hasPublicationYear "1998" @default.
- W35638052 type Work @default.
- W35638052 sameAs 35638052 @default.
- W35638052 citedByCount "0" @default.
- W35638052 crossrefType "journal-article" @default.
- W35638052 hasAuthorship W35638052A5004132293 @default.
- W35638052 hasAuthorship W35638052A5032862939 @default.
- W35638052 hasAuthorship W35638052A5089095825 @default.
- W35638052 hasBestOaLocation W356380521 @default.
- W35638052 hasConcept C135315306 @default.
- W35638052 hasConcept C150607116 @default.
- W35638052 hasConcept C156325763 @default.
- W35638052 hasConcept C184337299 @default.
- W35638052 hasConcept C193702766 @default.
- W35638052 hasConcept C199360897 @default.
- W35638052 hasConcept C207648694 @default.
- W35638052 hasConcept C41008148 @default.
- W35638052 hasConcept C42383842 @default.
- W35638052 hasConcept C9672783 @default.
- W35638052 hasConceptScore W35638052C135315306 @default.
- W35638052 hasConceptScore W35638052C150607116 @default.
- W35638052 hasConceptScore W35638052C156325763 @default.
- W35638052 hasConceptScore W35638052C184337299 @default.
- W35638052 hasConceptScore W35638052C193702766 @default.
- W35638052 hasConceptScore W35638052C199360897 @default.
- W35638052 hasConceptScore W35638052C207648694 @default.
- W35638052 hasConceptScore W35638052C41008148 @default.
- W35638052 hasConceptScore W35638052C42383842 @default.
- W35638052 hasConceptScore W35638052C9672783 @default.
- W35638052 hasLocation W356380521 @default.
- W35638052 hasOpenAccess W35638052 @default.
- W35638052 hasPrimaryLocation W356380521 @default.
- W35638052 hasRelatedWork W1585037119 @default.
- W35638052 hasRelatedWork W2106383088 @default.
- W35638052 hasRelatedWork W2121759322 @default.
- W35638052 hasRelatedWork W2738461706 @default.
- W35638052 hasRelatedWork W2753815840 @default.
- W35638052 hasRelatedWork W3004745453 @default.
- W35638052 hasRelatedWork W4287870994 @default.
- W35638052 hasRelatedWork W75631880 @default.
- W35638052 hasRelatedWork W783270985 @default.
- W35638052 hasRelatedWork W1958334269 @default.
- W35638052 hasVolume "10" @default.
- W35638052 isParatext "false" @default.
- W35638052 isRetracted "false" @default.
- W35638052 magId "35638052" @default.
- W35638052 workType "article" @default.