Matches in SemOpenAlex for { <https://semopenalex.org/work/W3319914> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W3319914 abstract "A program execution monitor is a system that monitors the run-time behavior of a program. Examples include profilers, tracers, and debuggers. Monitors are an important element in any software development environment. However, despite their ubiquity, formal and general treatments of program execution monitoring are rare.This thesis introduces monitoring semantics--a formal model of program execution monitors. Using the framework of continuation semantics, one can specify the behavior of a large family of program execution monitors. The resulting specification can then be automatically combined with the standard semantics to yield a composite semantics that is formally consistent with respect to the standard semantics.Beyond its theoretical interest, monitoring semantics provides a basis for implementing a large family of source-level monitoring activities for any language for which a continuation semantics is available. To demonstrate the generality and effectiveness of this approach, we use our methodology to automatically synthesize debugging behaviors with standard interpreters. The enhanced interpreters are guaranteed to be consistent with the standard interpretation. This solves the consistency problem that still persists in many debugging methodologies for strict and especially non-strict programming languages. We present the synthesis of correct profilers, tracers and, most importantly, interactive source-level debuggers for strict and non-strict functional programming languages and compare their specifications.Finally, using standard partial evaluation techniques as an optimization strategy, monitoring semantics forms a practical basis for building actual monitors. Our system can be optimized in two levels of specialization: specializing the interpreter with respect to a monitor specification automatically yields an instrumented interpreter; further specializing this instrumented interpreter with respect to a source program yields an instrumented program, i.e., one in which the extra code to perform monitoring has been automatically embedded into the program.All these ideas add up to a complete methodology for specifying, implementing and reasoning about a large family of program execution monitors for sequential deterministic programming languages." @default.
- W3319914 created "2016-06-24" @default.
- W3319914 creator A5036583023 @default.
- W3319914 date "1992-01-01" @default.
- W3319914 modified "2023-09-23" @default.
- W3319914 title "Theory and art of semantics-directed program execution monitoring" @default.
- W3319914 hasPublicationYear "1992" @default.
- W3319914 type Work @default.
- W3319914 sameAs 3319914 @default.
- W3319914 citedByCount "3" @default.
- W3319914 countsByYear W33199142015 @default.
- W3319914 crossrefType "journal-article" @default.
- W3319914 hasAuthorship W3319914A5036583023 @default.
- W3319914 hasConcept C116253237 @default.
- W3319914 hasConcept C122783720 @default.
- W3319914 hasConcept C146499914 @default.
- W3319914 hasConcept C154945302 @default.
- W3319914 hasConcept C156325763 @default.
- W3319914 hasConcept C168065819 @default.
- W3319914 hasConcept C184337299 @default.
- W3319914 hasConcept C199360897 @default.
- W3319914 hasConcept C207648694 @default.
- W3319914 hasConcept C2776436953 @default.
- W3319914 hasConcept C41008148 @default.
- W3319914 hasConcept C88626702 @default.
- W3319914 hasConceptScore W3319914C116253237 @default.
- W3319914 hasConceptScore W3319914C122783720 @default.
- W3319914 hasConceptScore W3319914C146499914 @default.
- W3319914 hasConceptScore W3319914C154945302 @default.
- W3319914 hasConceptScore W3319914C156325763 @default.
- W3319914 hasConceptScore W3319914C168065819 @default.
- W3319914 hasConceptScore W3319914C184337299 @default.
- W3319914 hasConceptScore W3319914C199360897 @default.
- W3319914 hasConceptScore W3319914C207648694 @default.
- W3319914 hasConceptScore W3319914C2776436953 @default.
- W3319914 hasConceptScore W3319914C41008148 @default.
- W3319914 hasConceptScore W3319914C88626702 @default.
- W3319914 hasLocation W33199141 @default.
- W3319914 hasOpenAccess W3319914 @default.
- W3319914 hasPrimaryLocation W33199141 @default.
- W3319914 hasRelatedWork W1165569327 @default.
- W3319914 hasRelatedWork W120675145 @default.
- W3319914 hasRelatedWork W1514468887 @default.
- W3319914 hasRelatedWork W1518604050 @default.
- W3319914 hasRelatedWork W165775113 @default.
- W3319914 hasRelatedWork W1845925523 @default.
- W3319914 hasRelatedWork W1874247119 @default.
- W3319914 hasRelatedWork W2022356878 @default.
- W3319914 hasRelatedWork W2090180847 @default.
- W3319914 hasRelatedWork W2108683656 @default.
- W3319914 hasRelatedWork W2118196876 @default.
- W3319914 hasRelatedWork W2119251833 @default.
- W3319914 hasRelatedWork W2137475629 @default.
- W3319914 hasRelatedWork W2145791437 @default.
- W3319914 hasRelatedWork W2157152227 @default.
- W3319914 hasRelatedWork W2290676045 @default.
- W3319914 hasRelatedWork W271590085 @default.
- W3319914 hasRelatedWork W2788835136 @default.
- W3319914 hasRelatedWork W2962982540 @default.
- W3319914 hasRelatedWork W1567659153 @default.
- W3319914 isParatext "false" @default.
- W3319914 isRetracted "false" @default.
- W3319914 magId "3319914" @default.
- W3319914 workType "article" @default.