Constructive Action Semantics for Core ML

2005 ◽  
Vol 152 (2) ◽  
pp. 79 ◽  
Author(s):  
J. Iversen ◽  
P.D. Mosses
Keyword(s):  
Action Semantics ◽  
Constructive Action

Constructive Action Semantics in OBJ

2006 ◽  
pp. 281-295
Author(s):  
Peter D. Mosses
Keyword(s):  
Action Semantics ◽  
Constructive Action

AD Action Semantics

1992 ◽  
pp. 231-260
Keyword(s):  
Action Semantics

An Executable UML with OCL-based Action Semantics Language

2007 ◽  
Author(s):  
Ke Jiang ◽  
Lei Zhang ◽  
Shigeru Miyake
Keyword(s):  
Action Semantics

Syntax, action verbs, action semantics, and object semantics in Parkinson's disease: Dissociability, progression, and executive influences

Cortex ◽  
2015 ◽  
Vol 69 ◽  
pp. 237-254 ◽  
Author(s):  
Yamile Bocanegra ◽  
Adolfo M. García ◽  
David Pineda ◽  
Omar Buriticá ◽  
Andrés Villegas ◽  
...  
Keyword(s):  
Parkinson’S Disease ◽  
Parkinson's Disease ◽  
Action Semantics ◽  
Action Verbs

Action semantics reasoning about functional programs

1997 ◽  
Vol 7 (5) ◽  
pp. 557-589 ◽  
Author(s):  
S. B. LASSEN
Keyword(s):  
Functional Programming ◽  
Action Theory ◽  
Specification Language ◽  
Process Theory ◽  
Theory Of Action ◽  
Functional Program ◽  
Action Semantics ◽  
Functional Part

This paper develops the functional part of a theory of action semantics for reasoning about programs. Action notation, the specification language of action semantics, is given an evaluation semantics, and operational techniques from process theory and functional programming are applied in the development of a versatile action theory. The power of the theory is demonstrated by means of action semantic proofs of functional program equivalences.

scholarly journals Constructive Action Semantics for Core ML

2004 ◽  
Vol 11 (37) ◽  
Author(s):  
Jørgen Iversen ◽  
Peter D. Mosses
Keyword(s):  
Programming Languages ◽  
Tool Support ◽  
Semantic Description ◽  
Action Semantics ◽  
Language Constructs ◽  
Description Framework ◽  
The Individual ◽  
Language Construct ◽  
Language Description

Usually, the majority of language constructs found in a programming language can also be found in many other languages, because language design is based on reuse. This should be reflected in the way we give semantics to programming languages. It can be achieved by making a language description consist of a collection of modules, each defining a single language construct. The description of a single language construct should be language independent, so that it can be reused in other descriptions without any changes. We call a language description framework ``constructive'' when it supports independent description of individual constructs.<br /> <br />We present a case study in constructive semantic description. The case study is a description of Core ML, consisting of a mapping from it to BAS (Basic Abstract Syntax) and action semantic descriptions of the individual BAS constructs. The latter are written in ASDF (Action Semantics Definition Formalism), a formalism specially designed for writing action semantic descriptions of single language constructs. Tool support is provided by the ASF+SDF Meta-Environment and by the Action Environment, which is a new extension of the ASF+SDF Meta-Environment.

scholarly journals Action Semantics in Retrospect

2009 ◽  
pp. 4-20
Author(s):  
David A. Watt
Keyword(s):  
Action Semantics

scholarly journals WASTE MANAGEMENT ON BOARD SEAGOING SHIPS

2021 ◽  
Vol 2021 (2) ◽  
pp. 49-54
Author(s):  
LILIANA VIORICA POPA
Keyword(s):  
Waste Management ◽  
Management System ◽  
Management Plan ◽  
Decision Makers ◽  
Waste Management System ◽  
Different Types ◽  
Climate Crisis ◽  
Constructive Action

"The reality remains uncomfortable, the climate crisis is coming with extreme phenomena more and more devastating around the globe and more and more people and more and more parts of ecosystems are suffering from the greed of large companies and lack of constructive action and coherent decision-makers. There are various types of waste generated during operation, and to be able to implement a waste management system, it is necessary to identify and quantify the different types of waste on board. The purpose of this paper is to examine the responsibilities, management, handling and disposal of ship-generated waste and the requirements for the preparation of an on-board waste management plan. "

scholarly journals Developing effective data visualization tools for nutrition: reflections on the design of a Nutrition Scorecard in Nigeria

2021 ◽  
Vol 5 ◽  
pp. 98
Author(s):  
Yashodhara Rana ◽  
Gianni Dongo ◽  
Caroline Snead ◽  
Grace Agi ◽  
Oluwagbenga Sadik ◽  
...  
Keyword(s):  
Data Visualization ◽  
Target Audience ◽  
Theory Of Change ◽  
Open Letter ◽  
Target Groups ◽  
Design Processes ◽  
Participatory Processes ◽  
Visualization Tools ◽  
Collaborative Efforts ◽  
Constructive Action

There has been a growing number of nutrition data visualization tools (DVTs) to monitor progress towards targets and encourage action. However, there are few documented examples of how to go about designing effective DVTs for nutrition-related audiences. In this Open Letter, we summarize reflections from collaborative efforts between the Nigeria Governors’ Forum (NGF) and the Data for Decisions to Expand Nutrition Transformation project (DataDENT) in 2019-2021 to design a sub-national nutrition scorecard that aims to hold Nigeria’s 36 Governors accountable to nutrition commitments. Our reflections add to an emerging body of work advocating for DVT design processes to develop a specific theory of change for how the DVT will influence target groups and achieve aims. Once the target audience is identified, it is important to create a strong engagement strategy to ensure that the DVT promotes constructive action. We also highlight the importance of identifying actionable indicators through participatory processes. We hope that these insights about collaborative DVT design can be applied by countries and institutions who want to develop similar tools to advance the nutrition agenda in their context.

scholarly journals Say No to Fear

2015 ◽  
Vol 2 (3) ◽  
Author(s):  
Sonal D. Parmar
Keyword(s):  
Memory Bank ◽  
Worth Reading ◽  
Proper Perspective ◽  
Psychological Principle ◽  
Constructive Action

Why do people fear other people and things? Why do many folks feel self-conscious around others? What’s behind shyness? What can we do about it? Fear of other people is a big fear. But there is a way to conquer it. You can conquer fear of people if you will learn to put them into proper perspective. Do what’s right and keep your confidence. That’s thinking you to success. Here is a psychological principle that is worth reading over twenty-five times. Read it until it absolutely saturates you: To think confidently, act confidently. Be fearless with the help of these five procedures to your work; 1.Action cures fear, Isolate your fear and then take constructive action. 2. Make a supreme effort to put only positive thoughts in your memory bank.3. Put people in proper perspective. 4. Practice doing what your conscience tells you are right. 5. Make everything about you say, “I’m confident, really confident.

Sign in / Sign up

Export Citation Format

Share Document