From Predicates to Programs: The Semantics of a Method Language

From Predicates to Programs: The Semantics of a Method Language

This paper explains how a declarative method language, based upon the formal notations of Z and B, can be used as a basis for automatic code generation. The language is used to describe the intended effect of operations, or methods, upon the components of an object model; each method is defined by a...

Бүрэн тодорхойлолт

Номзүйн дэлгэрэнгүй
Үндсэн зохиолчид:	Faitelson, D, Welch, J, Davies, J
Формат:	Conference item
Хэвлэсэн:	Electronic Notes in Theoretical Computer Science 2007

Ижил төстэй зүйлс

Domain−Specific Semantics and Data Refinement of Object Models
-н: Davies, J, зэрэг
Хэвлэсэн: (2006)

Domain−specific Semantics and Data Refinement of Object Models
-н: Davies, J, зэрэг
Хэвлэсэн: (2008)

Propping up predicates: Adjectival predication in Tłı̨chǫ Yatıì
-н: Nicholas Welch
Хэвлэсэн: (2016-04-01)

Labeling Chinese Predicates with Semantic Roles
-н: Nianwen Xue
Хэвлэсэн: (2021-03-01)

An attempt of semantic analysis of the predicate “to rent”
-н: G. V. Petrova
Хэвлэсэн: (2015-03-01)

The Semantics of Middle English Composite Predicates
Хэвлэсэн: (2019-03-01)

Programs are Predicates
-н: Hoare, C
Хэвлэсэн: (1985)

Programs are Predicates
-н: Hoare, C
Хэвлэсэн: (1992)

Programs are Predicates
-н: Hoare, C
Хэвлэсэн: (1992)

Lexical-semantic classes if predicatives in Russian language (an analysis of old Russian chronicles)
-н: Oxana Ušakova
Хэвлэсэн: (2013-07-01)

A model for representing the semantics of MWEs: From lexical semantics to the semantic annotation of complex predicates
-н: Voula Giouli
Хэвлэсэн: (2023-03-01)

Semantic Predicate in the Structure of a Literary Text
-н: L G Kulchitskaya
Хэвлэсэн: (2014-12-01)

A guarded workflow language and its formal semantics
-н: Wang, C, зэрэг
Хэвлэсэн: (2010)

A Guarded Workflow Language and Its Formal Semantics
-н: Wang, C, зэрэг
Хэвлэсэн: (2010)

Neuromimetic semantics : coordination, quantification, and collective predicates /
-н: Howard, Harry (Harry duBignon)
Хэвлэсэн: (2004)

Russian Emotive Verbs in the Semantic Classification of Predicates
-н: O. A. Kukatova
Хэвлэсэн: (2020-03-01)

First-Order Modal Semantics and Existence Predicate
-н: Patryk Michalczenia
Хэвлэсэн: (2022-07-01)

Semantic role labeling for protein transport predicates
-н: Martin James H, зэрэг
Хэвлэсэн: (2008-06-01)

The Semantic Composition of Basque 'Noun + egin' predicates
-н: Fernado García Murga
Хэвлэсэн: (2018-09-01)

The Semantic Composition of Basque 'Noun + egin' predicates
-н: Fernado García Murga
Хэвлэсэн: (2018-09-01)

Automatic Maintenance of Association Invariants
-н: Welch, J, зэрэг
Хэвлэсэн: (2008)

Automatic Maintenance of Association Invariants
-н: Welch, J, зэрэг
Хэвлэсэн: (2005)

Methods for constructing anattribute of an extensively finite predicative, semantically fuzzy set
-н: Mirgorodskaya Valentina, зэрэг
Хэвлэсэн: (2019-01-01)

Programs as executable predicates
-н: Roscoe, A, зэрэг
Хэвлэсэн: (1984)

Programs as Executable Predicates
-н: Hoare, C, зэрэг
Хэвлэсэн: (1984)

A tentative semantic map of depictives and other secondary participant-oriented predicates in the Lithuanian language
-н: Veslava Čižik-Prokaševa
Хэвлэсэн: (2011-12-01)

Predicative possession in Mande languages
-н: Denis Creissels
Хэвлэсэн: (2025-03-01)

Nonverbal predication in Amazonian languages
-н: Angel Corbera Mori, зэрэг
Хэвлэсэн: (2020-01-01)

Constructing a semantic predication gold standard from the biomedical literature
-н: Kilicoglu Halil, зэрэг
Хэвлэсэн: (2011-12-01)

A typological rarum in Mande languages: Argument-predicate reversal in nominal predication
-н: Denis Creissels
Хэвлэсэн: (2022-12-01)

Semantic Role Labeling of Implicit Arguments for Nominal Predicates
-н: Matthew Gerber, зэрэг
Хэвлэсэн: (2021-03-01)

Models of Semantic Derivation in Class of Predicates of Regret and Remorse
-н: E. R. Ioanesyan
Хэвлэсэн: (2017-03-01)

Semantic motivation for the denotational identity of arguments in predication structures
-н: Viara Maldjieva
Хэвлэсэн: (2015-11-01)

SEMANTIC AND SYNTACTIC PATTERNS OF PROPERTY PREDICATE REFLEXION IN GERMAN
-н: Generalova Larisa Mikhaylovna
Хэвлэсэн: (2014-12-01)

Semantic Properties of T-consequence Relation in Logics of Quasiary Predicates
-н: Mykola Nikitchenko, зэрэг
Хэвлэсэн: (2015-10-01)

SEMANTIC GROUPS OF PREDICATIVE ADVERBSIN THE WORKS OF ALEXANDER DOVZHENKO
-н: Tetiana V. Melkumova, зэрэг
Хэвлэсэн: (2020-12-01)

PREDICATE AS A STRUCTURE-FORMING AND FUNCTIONAL-SEMANTIC COMPONENT OF A SEMANTIC-SYNTACTIC FRAME
-н: S. V. Gusarenko, зэрэг
Хэвлэсэн: (2022-02-01)

Learning a Compositional Semantics for Freebase with an Open Predicate Vocabulary
-н: Jayant Krishnamurthy, зэрэг
Хэвлэсэн: (2021-03-01)

SEMANTIC ESSENCE OF QUALITY PREDICATES IN THE STRUCTURE OF A COMPOUND SENTENCE
-н: Valentyna A. Tymkova
Хэвлэсэн: (2019-06-01)

Program synthesis from domain specific object models
-н: Faitelson, D
Хэвлэсэн: (2008)