Results 251 to 260 of about 7,500 (302)
Some of the next articles are maybe not open access.
2008
It has often been observed that a point-free styleof programming provides a more abstract view on programs. We aim to use the gain in abstraction to obtain a denotational semantics for functional logic languagesin a straightforward way. Here we propose a set of basic operations based on which arbitrary functional logic programs can be transformed to ...
Bernd Braßel, Jan Christiansen
openaire +1 more source
It has often been observed that a point-free styleof programming provides a more abstract view on programs. We aim to use the gain in abstraction to obtain a denotational semantics for functional logic languagesin a straightforward way. Here we propose a set of basic operations based on which arbitrary functional logic programs can be transformed to ...
Bernd Braßel, Jan Christiansen
openaire +1 more source
Russell: The Journal of Bertrand Russell Studies, 2007
A recent trend in Russell scholarship has been towards the thesis that, contrary to his own recollections, Bertrand Russell really didn’t need the 1905 theory of descriptions to deflate an excessive ontology, because (1) there was no excessive ontology in The Principles of Mathematics , at least not one with golden mountains and the like, and so (2 ...
openaire +1 more source
A recent trend in Russell scholarship has been towards the thesis that, contrary to his own recollections, Bertrand Russell really didn’t need the 1905 theory of descriptions to deflate an excessive ontology, because (1) there was no excessive ontology in The Principles of Mathematics , at least not one with golden mountains and the like, and so (2 ...
openaire +1 more source
2018
According to Frege, the meaning of an expression is the description that helps language users to determine what its reference is. Natural as the view might seem, it gives rise to the conceptual problem that it presupposes that we already know the meaning of the terms used in the description (Wittgenstein, Quine), and it is empirically incorrect because
openaire +2 more sources
According to Frege, the meaning of an expression is the description that helps language users to determine what its reference is. Natural as the view might seem, it gives rise to the conceptual problem that it presupposes that we already know the meaning of the terms used in the description (Wittgenstein, Quine), and it is empirically incorrect because
openaire +2 more sources
Denotational engineering or from denotations to syntax
1987This paper is devoted to the methodology of using denotational techniques in software design. Since denotations describe the mechanisms of a system and syntax is only a user-visible representation of these mechanisms, we suggest that denotations be developed in the first place and that syntax be derived from them later.
openaire +1 more source
2019
This chapter analyzes how realism recuperates reference in the realm of the fictional, offering a kind of epistemological safety net for the awkward and awful stuff it regularly represents. It provides an open circuit between fictionality and reference that can never be closed. But only in the age of realism, and in the realistic works that continue to
openaire +2 more sources
This chapter analyzes how realism recuperates reference in the realm of the fictional, offering a kind of epistemological safety net for the awkward and awful stuff it regularly represents. It provides an open circuit between fictionality and reference that can never be closed. But only in the age of realism, and in the realistic works that continue to
openaire +2 more sources
Denotational semantics of concurrency
Proceedings of the fourteenth annual ACM symposium on Theory of computing - STOC '82, 1982A general framework for the denotational treatment of concurrency is introduced. The key idea is the notion of process which is element of a domain obtained as solution of a domain equation in the style as considered previously by Plotkin. We use tools from metric topology as advocated by Nivat to solve this equation, show how operations upon processes
J. W. de Bakker, Jeffery I. Zucker
openaire +1 more source
Russell's Theory of Meaning and Denotation and "On Denoting"
Journal of the History of Philosophy, 1993L'A. etudie les modifications qu'a apporte Russell a sa propre theorie de la denotation contenues dans ses manuscrits non publies en 1903-1905. Il examine le projet de Russell de resoudre le paradoxe et de developper une theorie de classes en utilisant la distinction entre signification et denotation.
openaire +1 more source
2012
AbstractThe chapter outlines Russell’s early theory of denoting in 1903, and the reasons why it should be abandoned. The new theory of 1905 contains objections to the rival views of definite descriptions due to Meinong and to Frege, and these are endorsed.
openaire +1 more source
AbstractThe chapter outlines Russell’s early theory of denoting in 1903, and the reasons why it should be abandoned. The new theory of 1905 contains objections to the rival views of definite descriptions due to Meinong and to Frege, and these are endorsed.
openaire +1 more source
Proceedings Third IEEE International Workshop on Source Code Analysis and Manipulation, 2004
We show that CPP, the preprocessor of the C language, can be seen as a programming language in which directives are statements, parametrized macros are functions, files are procedures, directories are modules, and command lines are programs. The semantics of CPP can therefore be described using traditional techniques.
openaire +1 more source
We show that CPP, the preprocessor of the C language, can be seen as a programming language in which directives are statements, parametrized macros are functions, files are procedures, directories are modules, and command lines are programs. The semantics of CPP can therefore be described using traditional techniques.
openaire +1 more source