Results 131 to 140 of about 18,885 (168)
Some of the next articles are maybe not open access.
Formal Semantics of Hybrid Chi
2004The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Semantics (SOS) and a number of associated functions. The χ syntax and semantics can also deal with local scoping of variables and/or channels, implicit differential algebraic equations ...
Schiffelers, R.R.H. +4 more
openaire +3 more sources
2010
In his classic paper on frame semantics, Charles Fillmore says that it comes from traditions of empirical semantics rather than formal semantics. In this paper we will try to draw a closer connection between empirical and formal semantics and suggest that a notion of frame closely related to that found in FrameNet can be usefully exploited in formal ...
openaire +2 more sources
In his classic paper on frame semantics, Charles Fillmore says that it comes from traditions of empirical semantics rather than formal semantics. In this paper we will try to draw a closer connection between empirical and formal semantics and suggest that a notion of frame closely related to that found in FrameNet can be usefully exploited in formal ...
openaire +2 more sources
A Formal Behavioral Semantics for TestML
Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006), 2006TestML is an XML-based language for the exchange of test descriptions in automotive systems design and mainly introduced through the structural definition of an XML schema as an independent exchange format for existing tools and methods covering a wide range of different test technologies.
Jürgen Großmann, Wolfgang Müller 0003
openaire +1 more source
Towards the formalization of interaction semantics
Proceedings of the 6th International Conference on Semantic Systems, 2010With the advent of Web 2.0 and the emergence of improved technologies to enhance UI, the importance of user experience and intuitiveness of Web interfaces led to the growth and success of Interaction Design. Web designers often turn to pre-defined and well-founded design patterns and user interaction paradigms to build novel and more effective Web ...
Irene Celino, Francesco Corcoglioniti
openaire +3 more sources
2009
AbstractSemantics is the discipline that studies linguistic meaning generally, and the qualification ‘formal’ indicates something about the sorts of techniques used in investigating linguistic meaning. More specifically, formal semantics is the discipline that employs techniques from symbolic logic, mathematics, and mathematical logic to produce ...
openaire +2 more sources
AbstractSemantics is the discipline that studies linguistic meaning generally, and the qualification ‘formal’ indicates something about the sorts of techniques used in investigating linguistic meaning. More specifically, formal semantics is the discipline that employs techniques from symbolic logic, mathematics, and mathematical logic to produce ...
openaire +2 more sources
2005
AbstractThis chapter shows that the treatment of names as having nondescriptive, indefinable senses does not preclude a powerful formal semantics; that the referential properties of names can be treated formally without identifying the meaning of a name with its reference; and that names can be handled within an ideational semantics, or by situation ...
openaire +1 more source
AbstractThis chapter shows that the treatment of names as having nondescriptive, indefinable senses does not preclude a powerful formal semantics; that the referential properties of names can be treated formally without identifying the meaning of a name with its reference; and that names can be handled within an ideational semantics, or by situation ...
openaire +1 more source
1993
This book provides a clear and accessible introduction to formal, and especially Montague, semantics within a linguistic framework. It presupposes no previous background in logic, but takes the student step-by-step from simple predicate/argument structures and their interpretation through to Montague's intentional logic. It covers all the major aspects,
openaire +1 more source
This book provides a clear and accessible introduction to formal, and especially Montague, semantics within a linguistic framework. It presupposes no previous background in logic, but takes the student step-by-step from simple predicate/argument structures and their interpretation through to Montague's intentional logic. It covers all the major aspects,
openaire +1 more source
2002
Acknowledgments. Introduction (Paul Portner and Barbara Partee). 1. The Proper Treatment of Quantification in Ordinary English (Richard Montague). 2. A Unified Analysis of the English Bare Plural (Greg Carlson). 3. Generalized Quantifiers and Natural Language (Jon Barwise and Robin Cooper). 4.
openaire +1 more source
Acknowledgments. Introduction (Paul Portner and Barbara Partee). 1. The Proper Treatment of Quantification in Ordinary English (Richard Montague). 2. A Unified Analysis of the English Bare Plural (Greg Carlson). 3. Generalized Quantifiers and Natural Language (Jon Barwise and Robin Cooper). 4.
openaire +1 more source
Towards a Formal TMQL Semantics
2007TMQL, the upcoming standardized Topic Maps query language, may become the main work horse for semantic web applications based on the Topic Maps paradigm. While the current specification uses prose to declare the intended meaning of various language constructs, this work is an approach to a complete formal semantics. It details the static semantics as a
openaire +2 more sources
K-Go: An Executable Formal Semantics of Go Language in K Framework
IET Blockchain, 2023Bo Meng, Can Zhao
exaly