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

Fuld beskrivelse

Bibliografiske detaljer
Main Authors:	Faitelson, D, Welch, J, Davies, J
Format:	Conference item
Udgivet:	Electronic Notes in Theoretical Computer Science 2007

Lignende værker

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

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

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

Labeling Chinese Predicates with Semantic Roles
af: Nianwen Xue
Udgivet: (2021-03-01)

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

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

Programs are Predicates
af: Hoare, C
Udgivet: (1985)

Programs are Predicates
af: Hoare, C
Udgivet: (1992)

Programs are Predicates
af: Hoare, C
Udgivet: (1992)

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

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

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

A guarded workflow language and its formal semantics
af: Wang, C, et al.
Udgivet: (2010)

A Guarded Workflow Language and Its Formal Semantics
af: Wang, C, et al.
Udgivet: (2010)

Neuromimetic semantics : coordination, quantification, and collective predicates /
af: Howard, Harry (Harry duBignon)
Udgivet: (2004)

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

First-Order Modal Semantics and Existence Predicate
af: Patryk Michalczenia
Udgivet: (2022-07-01)

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

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

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

Automatic Maintenance of Association Invariants
af: Welch, J, et al.
Udgivet: (2008)

Automatic Maintenance of Association Invariants
af: Welch, J, et al.
Udgivet: (2005)

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

Programs as executable predicates
af: Roscoe, A, et al.
Udgivet: (1984)

Programs as Executable Predicates
af: Hoare, C, et al.
Udgivet: (1984)

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

Predicative possession in Mande languages
af: Denis Creissels
Udgivet: (2025-03-01)

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

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

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

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

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

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

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

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

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

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

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

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

Program synthesis from domain specific object models
af: Faitelson, D
Udgivet: (2008)