A Syntax and Semantics of a Language for Operational Procedures

被引：3

作者：

Parise, Giuseppe ^{[1
]}

Hesla, Erling ^{[2
]}

Parise, Luigi ^{[1
]}

机构：

[1] Univ Roma La Sapienza, Dept Elect Engn, I-00184 Rome, Italy

[2] Hesla & Associates, Camano Isl, WA 98282 USA

来源：

IEEE TRANSACTIONS ON INDUSTRY APPLICATIONS | 2013年 / 49卷 / 01期

关键词：

Binary and ternary codes; free and packed values; operational language; operational procedures; switching procedures; CLEARING PROCEDURES;

D O I：

10.1109/TIA.2012.2229453

中图分类号：

T [工业技术];

学科分类号：

08 ;

摘要：

The aim of this paper is to present shortly syntax and semantics of a language to program operational procedures. This formal language is a unified suite of symbols, meanings, and codes used on the basis of conventional rules. Symbols have to be related to meanings and to be shared: operational, mathematical, and graphical symbols shown are preferred but are not mandatory. Parise program allows to express concepts and procedures, to make analysis of formal connections and bonds between components of the electrical power system. It allows to provide information and give instructions for the execution of certain operations following correct procedures. The programming language elements may be used in an interactive programming environment.

引用

页码：250 / 255

页数：6

共 50 条

[1] A SYNTAX AND SEMANTICS OF A LANGUAGE FOR OPERATIONAL PROCEDURES
Parise, Giuseppe
Hesla, Erling
Parise, Luigi
2011 IEEE INDUSTRY APPLICATIONS SOCIETY ANNUAL MEETING (IAS), 2011,
[2] Syntax and operational semantics of a probabilistic programming language with scopes
Bruza, Peter D.
JOURNAL OF MATHEMATICAL PSYCHOLOGY, 2016, 74 : 46 - 57
[3] SYNTAX AND SEMANTICS OF CHILDRENS LANGUAGE
SUPPES, P
ANNALS OF THE NEW YORK ACADEMY OF SCIENCES, 1976, 280 (OCT28) : 227 - 237
[4] SYNTAX AND SEMANTICS OF CASES IN THE NEW "SYNTAX OF MODERN SERBIAN LANGUAGE"
Antonin, Ivana
ZBORNIK MATICE SRPSKE ZA SLAVISTIKU-MATICA SRPSKA JOURNAL OF SLAVIC STUDIES, 2007, 71-72 : 343 - 356
[5] The Language of the Inuit: Syntax, Semantics, and Society in the Arctic
Rice, Keren
UNIVERSITY OF TORONTO QUARTERLY, 2012, 81 (03) : 712 - 713
[6] Definitions: Implications for syntax, semantics, and the language of thought
Horsey, R
MIND & LANGUAGE, 2001, 16 (03) : 345 - 349
[7] SYNTAX AND INFORMAL SEMANTICS OF DYNE, A PARALLEL LANGUAGE
KENNAWAY, JR
SLEEP, MR
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 207 : 222 - 230
[8] Semantics or syntax for negative islands in language acquisition
Abdulkarim, L
Roeper, T
22ND ANNUAL BOSTON UNIVERSITY CONFERENCE ON LANGUAGE DEVELOPMENT, VOLS. 1 & 2, 1998, : 39 - 49
[9] Language Change at the Syntax-Semantics Interface
Willis, David
BEITRAGE ZUR GESCHICHTE DER DEUTSCHEN SPRACHE UND LITERATUR, 2016, 138 (04): : 620 - 626
[10] SYNTAX AND SEMANTICS OF GQL, A GRAPHICAL QUERY LANGUAGE
PAPANTONAKIS, A
KING, PJH
JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 1995, 6 (01): : 3 - 25

← 1 2 3 4 5 →