Sökning: "criterion of correctness"
Hittade 3 avhandlingar innehållade orden criterion of correctness.
1. F. A. Hayek's Critique of Legislation
Sammanfattning : The dissertation concerns F. A. Hayek’s (1899–1992) critique of legislation. The purpose of the investigation is to clarify and assess that critique. LÄS MER
2. Eliciting Knowledge from Experts in Modeling of Complex Systems : Managing Variation and Interactions
Sammanfattning : The thematic core of the thesis is about how to manage modeling procedures in real settings. The view taken in this thesis is that modeling is a heuristic tool to outline a problem, often conducted in a context of a larger development process. LÄS MER
3. Dependent Type Theory with Parameterized First-Order Data Types and Well-Founded Recursion
Sammanfattning : We present a variation of Martin-Löf's logical framework with "beta-iota-equality", extended with first-order parameterized algebraic data types and recursive pattern-matching definitions. Our contribution is a proof of normalization for the proposed system, from which we obtain decidable type-correctness. LÄS MER