Matches in SemOpenAlex for { <https://semopenalex.org/work/W3100823971> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W3100823971 endingPage "163" @default.
- W3100823971 startingPage "149" @default.
- W3100823971 abstract "Signals are a lightweight form of interprocess communication in Unix. When a process receives a signal, the control flow is interrupted and a previously installed signal handler is run. Signal handling is reminiscent both of exception handling and concurrent interleaving of processes. In this paper, we investigate different approaches to formalizing signal handling in operational semantics, and compare them in a series of examples. We find the big-step style of operational semantics to be well suited to modelling signal handling. We integrate exception handling with our big-step semantics of signal handling, by adopting the exception convention as defined in the Definition of Standard ML. The semantics needs to capture the complex interactions between signal handling and exception handling." @default.
- W3100823971 created "2020-11-23" @default.
- W3100823971 creator A5011447698 @default.
- W3100823971 creator A5016195387 @default.
- W3100823971 date "2012-08-12" @default.
- W3100823971 modified "2023-09-30" @default.
- W3100823971 title "Operational semantics for signal handling" @default.
- W3100823971 cites W1829244603 @default.
- W3100823971 cites W2099554648 @default.
- W3100823971 cites W2112147599 @default.
- W3100823971 cites W2137628566 @default.
- W3100823971 cites W2150401476 @default.
- W3100823971 cites W2156876717 @default.
- W3100823971 doi "https://doi.org/10.4204/eptcs.89.11" @default.
- W3100823971 hasPublicationYear "2012" @default.
- W3100823971 type Work @default.
- W3100823971 sameAs 3100823971 @default.
- W3100823971 citedByCount "1" @default.
- W3100823971 countsByYear W31008239712014 @default.
- W3100823971 crossrefType "journal-article" @default.
- W3100823971 hasAuthorship W3100823971A5011447698 @default.
- W3100823971 hasAuthorship W3100823971A5016195387 @default.
- W3100823971 hasBestOaLocation W31008239711 @default.
- W3100823971 hasConcept C111919701 @default.
- W3100823971 hasConcept C112968700 @default.
- W3100823971 hasConcept C145428669 @default.
- W3100823971 hasConcept C156325763 @default.
- W3100823971 hasConcept C184337299 @default.
- W3100823971 hasConcept C199360897 @default.
- W3100823971 hasConcept C2777904410 @default.
- W3100823971 hasConcept C2779843651 @default.
- W3100823971 hasConcept C28034677 @default.
- W3100823971 hasConcept C41008148 @default.
- W3100823971 hasConcept C98045186 @default.
- W3100823971 hasConceptScore W3100823971C111919701 @default.
- W3100823971 hasConceptScore W3100823971C112968700 @default.
- W3100823971 hasConceptScore W3100823971C145428669 @default.
- W3100823971 hasConceptScore W3100823971C156325763 @default.
- W3100823971 hasConceptScore W3100823971C184337299 @default.
- W3100823971 hasConceptScore W3100823971C199360897 @default.
- W3100823971 hasConceptScore W3100823971C2777904410 @default.
- W3100823971 hasConceptScore W3100823971C2779843651 @default.
- W3100823971 hasConceptScore W3100823971C28034677 @default.
- W3100823971 hasConceptScore W3100823971C41008148 @default.
- W3100823971 hasConceptScore W3100823971C98045186 @default.
- W3100823971 hasLocation W31008239711 @default.
- W3100823971 hasLocation W31008239712 @default.
- W3100823971 hasLocation W31008239713 @default.
- W3100823971 hasOpenAccess W3100823971 @default.
- W3100823971 hasPrimaryLocation W31008239711 @default.
- W3100823971 hasRelatedWork W1568883111 @default.
- W3100823971 hasRelatedWork W1855927527 @default.
- W3100823971 hasRelatedWork W2005574148 @default.
- W3100823971 hasRelatedWork W2039219985 @default.
- W3100823971 hasRelatedWork W2090686886 @default.
- W3100823971 hasRelatedWork W2110443840 @default.
- W3100823971 hasRelatedWork W2111911628 @default.
- W3100823971 hasRelatedWork W2115003019 @default.
- W3100823971 hasRelatedWork W3100823971 @default.
- W3100823971 hasRelatedWork W44109824 @default.
- W3100823971 hasVolume "89" @default.
- W3100823971 isParatext "false" @default.
- W3100823971 isRetracted "false" @default.
- W3100823971 magId "3100823971" @default.
- W3100823971 workType "article" @default.