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

Volledige beschrijving

Bibliografische gegevens
Hoofdauteurs:	Faitelson, D, Welch, J, Davies, J
Formaat:	Conference item
Gepubliceerd in:	Electronic Notes in Theoretical Computer Science 2007

Gelijkaardige items

Domain−Specific Semantics and Data Refinement of Object Models
door: Davies, J, et al.
Gepubliceerd in: (2006)

Domain−specific Semantics and Data Refinement of Object Models
door: Davies, J, et al.
Gepubliceerd in: (2008)

Propping up predicates: Adjectival predication in Tłı̨chǫ Yatıì
door: Nicholas Welch
Gepubliceerd in: (2016-04-01)

Labeling Chinese Predicates with Semantic Roles
door: Nianwen Xue
Gepubliceerd in: (2021-03-01)

An attempt of semantic analysis of the predicate “to rent”
door: G. V. Petrova
Gepubliceerd in: (2015-03-01)

The Semantics of Middle English Composite Predicates
Gepubliceerd in: (2019-03-01)

Programs are Predicates
door: Hoare, C
Gepubliceerd in: (1985)

Programs are Predicates
door: Hoare, C
Gepubliceerd in: (1992)

Programs are Predicates
door: Hoare, C
Gepubliceerd in: (1992)

Lexical-semantic classes if predicatives in Russian language (an analysis of old Russian chronicles)
door: Oxana Ušakova
Gepubliceerd in: (2013-07-01)

A model for representing the semantics of MWEs: From lexical semantics to the semantic annotation of complex predicates
door: Voula Giouli
Gepubliceerd in: (2023-03-01)

Semantic Predicate in the Structure of a Literary Text
door: L G Kulchitskaya
Gepubliceerd in: (2014-12-01)

A guarded workflow language and its formal semantics
door: Wang, C, et al.
Gepubliceerd in: (2010)

A Guarded Workflow Language and Its Formal Semantics
door: Wang, C, et al.
Gepubliceerd in: (2010)

Neuromimetic semantics : coordination, quantification, and collective predicates /
door: Howard, Harry (Harry duBignon)
Gepubliceerd in: (2004)

Russian Emotive Verbs in the Semantic Classification of Predicates
door: O. A. Kukatova
Gepubliceerd in: (2020-03-01)

First-Order Modal Semantics and Existence Predicate
door: Patryk Michalczenia
Gepubliceerd in: (2022-07-01)

Semantic role labeling for protein transport predicates
door: Martin James H, et al.
Gepubliceerd in: (2008-06-01)

The Semantic Composition of Basque 'Noun + egin' predicates
door: Fernado García Murga
Gepubliceerd in: (2018-09-01)

The Semantic Composition of Basque 'Noun + egin' predicates
door: Fernado García Murga
Gepubliceerd in: (2018-09-01)

Automatic Maintenance of Association Invariants
door: Welch, J, et al.
Gepubliceerd in: (2008)

Automatic Maintenance of Association Invariants
door: Welch, J, et al.
Gepubliceerd in: (2005)

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

Programs as executable predicates
door: Roscoe, A, et al.
Gepubliceerd in: (1984)

Programs as Executable Predicates
door: Hoare, C, et al.
Gepubliceerd in: (1984)

A tentative semantic map of depictives and other secondary participant-oriented predicates in the Lithuanian language
door: Veslava Čižik-Prokaševa
Gepubliceerd in: (2011-12-01)

Predicative possession in Mande languages
door: Denis Creissels
Gepubliceerd in: (2025-03-01)

Nonverbal predication in Amazonian languages
door: Angel Corbera Mori, et al.
Gepubliceerd in: (2020-01-01)

Constructing a semantic predication gold standard from the biomedical literature
door: Kilicoglu Halil, et al.
Gepubliceerd in: (2011-12-01)

A typological rarum in Mande languages: Argument-predicate reversal in nominal predication
door: Denis Creissels
Gepubliceerd in: (2022-12-01)

Semantic Role Labeling of Implicit Arguments for Nominal Predicates
door: Matthew Gerber, et al.
Gepubliceerd in: (2021-03-01)

Models of Semantic Derivation in Class of Predicates of Regret and Remorse
door: E. R. Ioanesyan
Gepubliceerd in: (2017-03-01)

Semantic motivation for the denotational identity of arguments in predication structures
door: Viara Maldjieva
Gepubliceerd in: (2015-11-01)

SEMANTIC AND SYNTACTIC PATTERNS OF PROPERTY PREDICATE REFLEXION IN GERMAN
door: Generalova Larisa Mikhaylovna
Gepubliceerd in: (2014-12-01)

Semantic Properties of T-consequence Relation in Logics of Quasiary Predicates
door: Mykola Nikitchenko, et al.
Gepubliceerd in: (2015-10-01)

SEMANTIC GROUPS OF PREDICATIVE ADVERBSIN THE WORKS OF ALEXANDER DOVZHENKO
door: Tetiana V. Melkumova, et al.
Gepubliceerd in: (2020-12-01)

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

Learning a Compositional Semantics for Freebase with an Open Predicate Vocabulary
door: Jayant Krishnamurthy, et al.
Gepubliceerd in: (2021-03-01)

SEMANTIC ESSENCE OF QUALITY PREDICATES IN THE STRUCTURE OF A COMPOUND SENTENCE
door: Valentyna A. Tymkova
Gepubliceerd in: (2019-06-01)

Program synthesis from domain specific object models
door: Faitelson, D
Gepubliceerd in: (2008)