Note about predicate transformers

Note about predicate transformers

Dades bibliogràfiques
Autor principal:	Hoare, C
Format:	Record
Publicat:	2015

Ítems similars

Basic Theorems about Predicate Transformers
per: Hoare, C, et al.
Publicat: (1977)

Shifting the Identity of Predicate Transformers
per: Hoare, C
Publicat: (2015)

Some properties of Predicate Transformers
per: Hoare, C
Publicat: (1978)

Programs are Predicates
per: Hoare, C
Publicat: (1985)

Programs are Predicates
per: Hoare, C
Publicat: (1992)

Programs are Predicates
per: Hoare, C
Publicat: (1992)

Programs as executable predicates
per: Roscoe, A, et al.
Publicat: (1984)

Programs as Executable Predicates
per: Hoare, C, et al.
Publicat: (1984)

EWD821: From Predicate Transformers to Predicates
per: Dijkstra, E
Publicat: (2015)

Relativism about Truth and Predicates of Taste
per: Barry Smith
Publicat: (2012-10-01)

The Transformation of Predication in the Philosophy of the Principality of Existence
per: Mohammad Hosseinzadeh
Publicat: (2017-11-01)

Multiple Indexing Relativism about Predicates of Taste
per: Dan Zeman
Publicat: (2019-04-01)

Verbal predicate in the nominal predicate
per: Mirko Peti
Publicat: (2004-01-01)

Restructuring parameters and complex predicates--a transformational approach
per: Choe, Hyon Sook
Publicat: (2008)

Nominalising Transformations of Predicate Nominal Constructions in Lithuanian and English
per: L. Valeika, et al.
Publicat: (1973-12-01)

Predicative "Ellipses" on the Periphery of the Predicativity Field in Contemporary German
per: E. V. Lobanovskaya, et al.
Publicat: (2018-10-01)

Notes on the Modal Predicator naada in Sakha (from a Taimyr Dolgan Perspective)
per: Florian Siegl
Publicat: (2021-09-01)

Plural predication
per: Rayo, Agustín, 1973-
Publicat: (2009)

Constructions and predicates
per: Pavlovic, D
Publicat: (1991)

Predicates and Fibrations
per: Pavlovic, D
Publicat: (1990)

Predicator in Persian
per: Azadeh Mirzaei
Publicat: (2020-06-01)

Prédication seconde
per: Denis Creissels
Publicat: (2013-06-01)

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

THE DOUBLE-PREDICATE AND THE COMPLEX NOUN PREDICATE: А ZONE OF SYNCRETISM
per: Н. В. Кобченко
Publicat: (2016-03-01)

An expectation transformer approach to predicate abstraction and data independence for probabilistic programs
per: Ukachukwu Ndukwu, et al.
Publicat: (2010-06-01)

Contrastive Meanings of the Terms "Predicative" and "Predicational" in Various Linguistic Theories (II)
per: Neculai Curteanu
Publicat: (2004-06-01)

Essential Primary Predication and Technical Common Predication Devoted to Subject and Proposition
per: M Hojati, et al.
Publicat: (2011-09-01)

Contrastive Meanings of the Terms "Predicative" and "Predicational" in Various Linguistic Theories (I.)
per: Neculai Curteanu
Publicat: (2003-11-01)

What information structure tells us about individual/stage-level predicates
per: Angel Jiménez-Fernández
Publicat: (2012-07-01)

Can We Predicate of and Speak about God, and What Are the Rules for Doing So?
per: Anna Zhyrkova
Publicat: (2020-12-01)

On the psychology of vague predicates
per: Bonini, N, et al.
Publicat: (1999)

The syntactic forms of predication
per: Rothstein, Susan Deborah
Publicat: (2009)

Active Predicate Learning
per: Li, Amber
Publicat: (2023)

Unclear Predication in the Construction
per: Christopher DESURMONT
Publicat: (2012-03-01)

MEASUREMENT OF VAGUE PREDICATES
per: Ludmila A. Katz
Publicat: (2013-09-01)

The Power of Predication and Quantification
per: Zalta Edward N.
Publicat: (2025-02-01)

MANDARIN SECONDARY PREDICATES
per: Ryosuke Shibagaki
Publicat: (2010-06-01)

Polysemy and co-predication
per: Agustín Vicente, et al.
Publicat: (2019-01-01)

Existential predication in Hamar
per: Sara Petrollino
Publicat: (2019-12-01)

Constructions prédicatives spéciales
per: Denis Creissels
Publicat: (2013-06-01)