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...

书目详细资料
Main Authors:	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, et al.
出版: (2006)

Domain−specific Semantics and Data Refinement of Object Models
由: Davies, J, et al.
出版: (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, et al.
出版: (2010)

A Guarded Workflow Language and Its Formal Semantics
由: Wang, C, et al.
出版: (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, et al.
出版: (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, et al.
出版: (2008)

Automatic Maintenance of Association Invariants
由: Welch, J, et al.
出版: (2005)

Methods for constructing anattribute of an extensively finite predicative, semantically fuzzy set
由: Mirgorodskaya Valentina, et al.
出版: (2019-01-01)

Programs as executable predicates
由: Roscoe, A, et al.
出版: (1984)

Programs as Executable Predicates
由: Hoare, C, et al.
出版: (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, et al.
出版: (2020-01-01)

Constructing a semantic predication gold standard from the biomedical literature
由: Kilicoglu Halil, et al.
出版: (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, et al.
出版: (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, et al.
出版: (2015-10-01)

SEMANTIC GROUPS OF PREDICATIVE ADVERBSIN THE WORKS OF ALEXANDER DOVZHENKO
由: Tetiana V. Melkumova, et al.
出版: (2020-12-01)

PREDICATE AS A STRUCTURE-FORMING AND FUNCTIONAL-SEMANTIC COMPONENT OF A SEMANTIC-SYNTACTIC FRAME
由: S. V. Gusarenko, et al.
出版: (2022-02-01)

Learning a Compositional Semantics for Freebase with an Open Predicate Vocabulary
由: Jayant Krishnamurthy, et al.
出版: (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)