By James S. Royer

This e-book offers advancements of a language autonomous conception of software constitution. the speculation incorporates a uncomplicated, traditional idea of keep watch over constitution that is a lot broader than in different theories of programming languages akin to denotational semantics and application schemes. This idea allows therapy of keep an eye on buildings which contain not just the denotation of courses (i.e., their input/output behavior), but in addition their constitution, dimension, run occasions, and so on. the speculation additionally treats the relation of regulate constitution and complexity homes of programming languages. The booklet makes a speciality of expressive interdependencies of regulate buildings (which keep an eye on constructions could be expressed wherein others). A common approach to proving regulate buildings expressively self sufficient is constructed. The ebook additionally considers characterizations of the expressive strength of common goal programming languages when it comes to keep an eye on buildings. a number of new characterizations are offered and compactness effects for such characterizations are shown.

Show description

Read or Download A Connotational Theory of Program Structure PDF

Similar logic books

Errors of Reasoning. Naturalizing the Logic of Inference

Blunders of Reasoning is the long-awaited continuation of the author's research of the good judgment of cognitive structures. the current concentration is the person human reasoner working lower than the stipulations and pressures of actual existence with capacities and assets the wildlife makes to be had to him.

The Is-Ought Problem: An Investigation in Philosophical Logic

Can OUGHT be derived from IS? This booklet offers an research of this customary challenge by way of alethic-deontic predicate good judgment. New during this research is the leitmotif of relevance: is-ought inferences certainly exist, yet they're all inappropriate in an actual logical experience. New facts thoughts identify this outcome for extraordinarily vast periods of logics.

Functional and Logic Programming: 5th International Symposium, FLOPS 2001 Tokyo, Japan, March 7–9, 2001 Proceedings

This publication constitutes the refereed lawsuits of the fifth overseas Symposium on useful and common sense Programming, FLOPS 2001, held in Tokyo, Japan in March 2001. The 21 revised complete papers provided including 3 invited papers have been conscientiously reviewed and chosen from forty submissions. The ebook bargains topical sections on practical programming, good judgment programming, useful common sense programming, kinds, application research and transformation, and Lambda calculus.

Extra resources for A Connotational Theory of Program Structure

Example text

How much this would matter for reasoning from inconsistent inputs would depend greatly on how deeply we are prepared to commit to the distinction between consequence-having and consequence-drawing. Upon reflection, however, the view that the theories are proposition-sets might have to be re-thought. What if we said instead that theories are sets or complexes of assertions? Assertion and assertibility have not stirred much interest in the mainstream of logic, but Rescher has been thinking about it for a long time (1 959/1961, 1 968).

I will say more of nonrnonotonic consequence relations in chapters 7 and 8. I close this chapter with a further word about the importance of paying attention. The informal logic community is one in which the contributions of modern formal logic are assayed unfavourably, or at least with a tightly selective circumspection. In some respects it is a justified resistance. Mainstream formal logics are logics of deductive validity.

Cross (2001 ) has shown that the inconsistency holds even where belief is not closed under consequence. Thomason is instructively diffident about the paradox. He allows that successful scientific theories are rarely up-ended by difficulties engendered by philosophical attempts to foundationalize them. Even so, I do not wish to deny the strength and plausibility of the instructions behind the idea that thought consists in computational operations on syntactic representations. But I believe that the problems I raise here call for a much more critical approach to theories based on this idea.

Download PDF sample

Rated 4.30 of 5 – based on 9 votes