Results 311 to 320 of about 366,029 (327)
Delayed semantic actions in Yakker [PDF]
Proceedings of the Eleventh Workshop on Language Descriptions, Tools and Applications, 2011 Yakker is a parser generator that supports semantic actions, lexical binding of semantic values, and speculative parsing techniques such as backtracking and context-free lookahead. To avoid executing semantic actions in speculative parses that will eventually be discarded, we divide parsing into two conceptually independent phases. In the first (early)
Yitzhak Mandelbaum, Trevor Jim
openaire +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Semantic and pragmatic integration in vision for action
Consciousness and Cognition, 2017According to an influential view, the detection of action possibilities and the selection of a plan for action are two segregated steps throughout the processing of visual information. This classical approach is committed with the assumption that two independent types of processing underlie visual perception: the semantic one, which is at the service ...
ZIPOLI CAIANI, SILVANO +1 more
openaire +4 more sources
Action semantics for defining dynamic semantics of modeling languages
Proceedings of the Third Workshop on Behavioural Modelling, 2011Most languages in Model Driven Engineering (MDE) are defined by metamodels. Metamodels specify the structural aspects of models but do not capture the computational meaning of the modeling constructs (the dynamic semantics). There are several semantic definition frameworks used for programming languages. In this paper we study the suitability of Action
Gijs Stuurman, Ivan Kurtev
openaire +2 more sources
ACTION TYPES IN STIT SEMANTICS
The Review of Symbolic Logic, 2017AbstractStit semantics grows out of a modal tradition in the logic of action that concentrates on an operator representing the agency of an individual in seeing to it that some state of affairs holds, rather than on the actions the individual performs in doing so.
Eric Pacuit, John F. Horty
openaire +2 more sources
1994
We designed Procope as a computational architecture system to model users’ Knowledge through semantic networks of action (S.N.O.A.) and to simulate with the computer the carrying out of tasks issued of varied S.N.O.A. where hierarchies of classes of objects are built using applied goals as properties of objects.
Charles Tijus, Sébastien Poitrenaud
openaire +2 more sources
We designed Procope as a computational architecture system to model users’ Knowledge through semantic networks of action (S.N.O.A.) and to simulate with the computer the carrying out of tasks issued of varied S.N.O.A. where hierarchies of classes of objects are built using applied goals as properties of objects.
Charles Tijus, Sébastien Poitrenaud
openaire +2 more sources
Declarative Semantics of Actions and Instructions
2020A complete information modeling method must address both the process- and data-perspectives, preferably in an integrated manner (i.e., also specifying which state change each process should achieve exactly). However, most approaches either emphasize only data or only processes.
openaire +2 more sources
Action semantics-directed prototyping
Computer Languages, 1993We present a methodology for compiler synthesis based on Mosses-Watt's action semantics. Each action in action semantics notation is assigned specific ''analysis functions'', such as a typing function and a binding-time function. When a language is given an action semantics, the typing and binding-time functions for the individual actions compose into ...
Kyung-Goo Doh, David A. Schmidt
openaire +2 more sources
1992
Action Semantics is a novel approach to the formal description of programming languages. Its abstractness is at an intermediate level, between that of denotational and operational semantics. Action Semantics has considerable pragmatic advantages over all previous approaches, in its comprehensibility and accessibility, and especially in the usefulness ...
openaire +2 more sources
Action Semantics is a novel approach to the formal description of programming languages. Its abstractness is at an intermediate level, between that of denotational and operational semantics. Action Semantics has considerable pragmatic advantages over all previous approaches, in its comprehensibility and accessibility, and especially in the usefulness ...
openaire +2 more sources
The Semantics of the OCL Action Clause
2002The proposal for the 2.0 version of the UML's Object Constraint Language provides the modeller of object-oriented systems with a way to express the fact that a signal has been send, or an operation has been called. This type of expression is called an Action Clause.
Jos Warmer, Anneke Kleppe
openaire +2 more sources
Toward precise semantics of actions
2017 Winter Simulation Conference (WSC), 2017Action is the fundamental unit of behavioral specification in models. We propose the use of Discrete EVent System Specification (the DEVS formalism) to specify the semantics of actions. Then, coupling is used to form different kinds of behavioral models.
openaire +2 more sources