Totality

14,000,000 Leading Edge Experts on the ideXlab platform

Scan Science and Technology

Contact Leading Edge Experts & Companies

Scan Science and Technology

Contact Leading Edge Experts & Companies

The Experts below are selected from a list of 56541 Experts worldwide ranked by ideXlab platform

Paola Giannini - One of the best experts on this subject based on the ideXlab platform.

  • Strictness, Totality, and non-standard-type inference
    Theoretical Computer Science, 2002
    Co-Authors: Mario Coppo, Ferruccio Damiani, Paola Giannini
    Abstract:

    AbstractIn this paper we present two non-standard-type inference systems for conjunctive strictness and Totality analyses of higher-order-typed functional programs and prove completeness results for both the strictness and the Totality-type entailment relations. We also study the interactions between strictness and Totality analyses, showing that the information obtainable by a system that combines the two analyses, even though more refined than the information given by the two separate systems, cannot be effectively used. A main feature of our approach is that all the results are proved by relying directly on the operational semantics of the programming language considered. This leads to a rather direct presentation which involves relatively little mathematical overhead

  • Strictness, Totality, and non-standard-type inference
    Theoretical Computer Science, 2001
    Co-Authors: Mario Coppo, Ferruccio Damiani, Paola Giannini
    Abstract:

    In this paper we present two non-standard-type inference systems for conjunctive strictness and Totality analyses of higher-order-typed functional programs and prove completeness results for both the strictness and the Totality-type entailment relations. We also study the interactions between strictness and Totality analyses, showing that the information obtainable by a system that combines the two analyses, even though more refined than the information given by the two separate systems, cannot be effectively used. A main feature of our approach is that all the results are proved by relying directly on the operational semantics of the programming language considered. This leads to a rather direct presentation which involves relatively little mathematical overhead. Copyright 2002 Elsevier Science B.V.

  • TACS - On Strictness and Totality
    Lecture Notes in Computer Science, 1997
    Co-Authors: Mario Coppo, Ferruccio Damiani, Paola Giannini
    Abstract:

    In this paper we present a revised and extended version of the strictness and Totality type assignment system introduced by Solberg, Nielson and Nielson in the Static Analysis Symposium '94. Our main result is that (w.r.t. the possibility of replacing safely a lazy application by a strict one) the strictness and Totality information given by this system is equivalent to the information given by two separate systems: one for strictness, and one for Totality. This result is interesting from both a theoretical (understanding of the relations between strictness and Totality) and a practical (more efficient checking and inference algorithms) point of view. Moreover we prove that both the system for strictness and the system for Totality have a sound and complete inclusion relation between types w.r.t. the semantics induced by the term model of a language including a convergence to weak head normal form test at higher types.

Luc Anckaert - One of the best experts on this subject based on the ideXlab platform.

  • nichts rosenzweig ir il y a levinas problema kaip asmens tapatumo koreliatyvumas
    Žmogus ir Žodis, 2018
    Co-Authors: Luc Anckaert
    Abstract:

    The relation between the abyss of death and the human identity is constitutive for the thought of the dialogical thinkers Rosenzweig and Levinas. For Rosenzweig, the Nothing is the end point of Kantian thinking. Death, as the existential experience of this nothingness, was the reality of everyman during the violent decades at the turn of the century. Rosenzweig took this nothingness as the starting point for rethinking and safeguarding human identity. Human identity is a dam against nothingness. But human identity is also open to alterity. In his early texts, Levinas makes a similar move. The there is is the starting point of human identity. Levinas develops a dialectical phenomenology starting from death. Human identity is interpreted as hypostasis. But in Totalite et Infi ni, an important shift takes place. The starting point is now found in human identity as desire. The there is comes to the centre as the flip side of the elementale and human identity is interpreted as separation. Keywords: Rosenzweig, Star of Redemption, Levinas, Totality and Infi nity, human identity, nothingness, there is, hypostasis, separation, Kant, Nietzsche, Meinecke, Schelling. DOI: http://dx.doi.org/10.15823/zz.2017.15

  • „Nichts“ (Rosenzweig) ir „Il y a“ (Levinas) problema kaip asmens tapatumo koreliatyvumas
    Žmogus ir Žodis, 2018
    Co-Authors: Luc Anckaert
    Abstract:

    The relation between the abyss of death and the human identity is constitutive for the thought of the dialogical thinkers Rosenzweig and Levinas. For Rosenzweig, the Nothing is the end point of Kantian thinking. Death, as the existential experience of this nothingness, was the reality of everyman during the violent decades at the turn of the century. Rosenzweig took this nothingness as the starting point for rethinking and safeguarding human identity. Human identity is a dam against nothingness. But human identity is also open to alterity. In his early texts, Levinas makes a similar move. The there is is the starting point of human identity. Levinas develops a dialectical phenomenology starting from death. Human identity is interpreted as hypostasis. But in Totalite et Infi ni, an important shift takes place. The starting point is now found in human identity as desire. The there is comes to the centre as the flip side of the elementale and human identity is interpreted as separation. Keywords: Rosenzweig, Star of Redemption, Levinas, Totality and Infi nity, human identity, nothingness, there is, hypostasis, separation, Kant, Nietzsche, Meinecke, Schelling. DOI: http://dx.doi.org/10.15823/zz.2017.15

Mario Coppo - One of the best experts on this subject based on the ideXlab platform.

  • Strictness, Totality, and non-standard-type inference
    Theoretical Computer Science, 2002
    Co-Authors: Mario Coppo, Ferruccio Damiani, Paola Giannini
    Abstract:

    AbstractIn this paper we present two non-standard-type inference systems for conjunctive strictness and Totality analyses of higher-order-typed functional programs and prove completeness results for both the strictness and the Totality-type entailment relations. We also study the interactions between strictness and Totality analyses, showing that the information obtainable by a system that combines the two analyses, even though more refined than the information given by the two separate systems, cannot be effectively used. A main feature of our approach is that all the results are proved by relying directly on the operational semantics of the programming language considered. This leads to a rather direct presentation which involves relatively little mathematical overhead

  • Strictness, Totality, and non-standard-type inference
    Theoretical Computer Science, 2001
    Co-Authors: Mario Coppo, Ferruccio Damiani, Paola Giannini
    Abstract:

    In this paper we present two non-standard-type inference systems for conjunctive strictness and Totality analyses of higher-order-typed functional programs and prove completeness results for both the strictness and the Totality-type entailment relations. We also study the interactions between strictness and Totality analyses, showing that the information obtainable by a system that combines the two analyses, even though more refined than the information given by the two separate systems, cannot be effectively used. A main feature of our approach is that all the results are proved by relying directly on the operational semantics of the programming language considered. This leads to a rather direct presentation which involves relatively little mathematical overhead. Copyright 2002 Elsevier Science B.V.

  • TACS - On Strictness and Totality
    Lecture Notes in Computer Science, 1997
    Co-Authors: Mario Coppo, Ferruccio Damiani, Paola Giannini
    Abstract:

    In this paper we present a revised and extended version of the strictness and Totality type assignment system introduced by Solberg, Nielson and Nielson in the Static Analysis Symposium '94. Our main result is that (w.r.t. the possibility of replacing safely a lazy application by a strict one) the strictness and Totality information given by this system is equivalent to the information given by two separate systems: one for strictness, and one for Totality. This result is interesting from both a theoretical (understanding of the relations between strictness and Totality) and a practical (more efficient checking and inference algorithms) point of view. Moreover we prove that both the system for strictness and the system for Totality have a sound and complete inclusion relation between types w.r.t. the semantics induced by the term model of a language including a convergence to weak head normal form test at higher types.

Anthony J. Cascardi - One of the best experts on this subject based on the ideXlab platform.

  • Totality and the Novel
    New Literary History, 1992
    Co-Authors: Anthony J. Cascardi
    Abstract:

    advanced the claim that the novel is a form of epic literature characteristic of "disintegrated" civilizations or of what Max Weber called the "disenchanted" world. "The novel," Lukaics says, "is the epic of an age in which the extensive Totality of life is no longer directly given, yet which still thinks in terms of Totality" (TN 56). If the epic world is "rounded from within," so that, as Hegel said in his Aesthetics, each individual action and each object in it is the reflection of a Totality complete in itself, then the novel reflects the "transcendental homelessness" characteristic of the subject in the modern (read: postepic) world;2 this is a world in which man is "unsheltered," deprived of the metaphysical comfort of the gods or of access to a natural context of desire, yet hard pressed to derive any ultimate meaning from the world itself. Lukaics places the origins of the novel, in Cervantes's Don Quixote, on the edge of a great upheaval of values. On the one hand, Cervantes is the faithful Christian and loyal patriot, a steadfast believer in the values of traditional society; on the other hand, his protagonist is set in a world that no longer recognizes the purpose of heroic action and that has come to doubt the value of literature as a source of ethical

C. L. Holland - One of the best experts on this subject based on the ideXlab platform.

Related terms

Totality - 15 days free trial to Access Experts & Abstracts