Two for the Price of One: Lifting Separation Logic Assertions

Two for the Price of One: Lifting Separation Logic Assertions

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Thamsborg, J, Birkedal, L, Yang, H
Formáid:	Journal article
Foilsithe / Cruthaithe:	2011

Míreanna comhchosúla

Two for the Price of One: Lifting Separation Logic Assertions
de réir: Jacob Thamsborg, et al.
Foilsithe / Cruthaithe: (2012-09-01)

Relational Parametricity and Separation Logic
de réir: Birkedal, L, et al.
Foilsithe / Cruthaithe: (2008)

Relational Parametricity and Separation Logic
de réir: Birkedal, L, et al.
Foilsithe / Cruthaithe: (2007)

Relational Parametricity and Separation Logic
de réir: Lars Birkedal, et al.
Foilsithe / Cruthaithe: (2008-05-01)

The Logical Significance of Assertion: Frege on the Essence of Logic
de réir: Walter B. Pedriali
Foilsithe / Cruthaithe: (2017-08-01)

A Simple Model of Separation Logic for Higher−Order Store
de réir: Birkedal, L, et al.
Foilsithe / Cruthaithe: (2008)

Semantics of Separation−logic Typing and Higher−order Frame Rules
de réir: Birkedal, L, et al.
Foilsithe / Cruthaithe: (2005)

The logic of adjudication : an analysis of the grounds for judicial assertion
de réir: Levin, J
Foilsithe / Cruthaithe: (1981)

Semantics of Separation−logic Typing and Higher−order Frame Rules for Algol−like Languages
de réir: Birkedal, L, et al.
Foilsithe / Cruthaithe: (2006)

Pseudo-conditionals and causal assertibles in Stoic logic
de réir: Miguel López-Astorga
Foilsithe / Cruthaithe: (2016-09-01)

Assertion, denial and some cancellation rules in modal logic
de réir: Williamson, T
Foilsithe / Cruthaithe: (1988)

Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages
de réir: Lars Birkedal, et al.
Foilsithe / Cruthaithe: (2006-11-01)

A Hoare-Like Logic of Asserted Single-Pass Instruction Sequences
de réir: J.A. Bergstra, et al.
Foilsithe / Cruthaithe: (2016-12-01)

Assert Early‚ Assert Often
de réir: Hoare, C
Foilsithe / Cruthaithe: (2002)

Using Fuzzy Logic Techniques for Assertion-Based Software Testing Metrics
de réir: Ali M. Alakeel
Foilsithe / Cruthaithe: (2015-01-01)

ASSERT: attack synthesis and separation with entropy redistribution towards predictive cyber defense
de réir: Ahmet Okutan, et al.
Foilsithe / Cruthaithe: (2019-05-01)

The assertive trainer : a practical handbook on assertiveness for trainers and running assertiveness course /
de réir: 466767 Willis, Liz, et al.
Foilsithe / Cruthaithe: (1995)

Relational Separation Logic
de réir: Yang, H
Foilsithe / Cruthaithe: (2007)

Logical Step-Indexed Logical Relations
de réir: Derek Dreyer, et al.
Foilsithe / Cruthaithe: (2011-06-01)

Using Fuzzy Logic in Test Case Prioritization for Regression Testing Programs with Assertions
de réir: Ali M. Alakeel
Foilsithe / Cruthaithe: (2014-01-01)

Assertions
de réir: Hoare, C
Foilsithe / Cruthaithe: (2000)

The effect of assertive training on degree of anxiety and assertiveness of nursing students
de réir: Q.Mahmoudi (M.Sc), et al.
Foilsithe / Cruthaithe: (2004-09-01)

SAW: the spatial assertion workbench
de réir: Calcagno, C, et al.
Foilsithe / Cruthaithe: (2015)

Effect of Assertiveness Training on Adaptive and Aggressive Assertiveness in Nurses
de réir: Gila Shaikhpoor, et al.
Foilsithe / Cruthaithe: (2020-08-01)

Assertion and Argument in Xenophanes
de réir: James H. Lesher
Foilsithe / Cruthaithe: (2024-09-01)

Training for assertiveness /
de réir: 211338 Seifert, Lucy
Foilsithe / Cruthaithe: (1995)

Assertive outreach
de réir: Firn, M, et al.
Foilsithe / Cruthaithe: (2004)

AI assertion
de réir: Butlin, P, et al.
Foilsithe / Cruthaithe: (2024)

Knowing and asserting
de réir: Williamson, T
Foilsithe / Cruthaithe: (1996)

The assertiveness pocketbook /
de réir: Eggert, Max A. 236794
Foilsithe / Cruthaithe: (1994)

Assertiveness for managers /
de réir: 435309 Gillen, Terry
Foilsithe / Cruthaithe: (1992)

The assertive librarian
de réir: 246118 Caputo, Jonette S.
Foilsithe / Cruthaithe: (1984)

Certainty and Assertion
de réir: Jacques-Henri Vollet
Foilsithe / Cruthaithe: (2022-11-01)

Variables as Resource in Separation Logic
de réir: Bornat, R, et al.
Foilsithe / Cruthaithe: (2006)

To be assertive or not to be assertive: That is the question! Students' reactions to sexual harassment in academia
de réir: Cristina Cabras, et al.
Foilsithe / Cruthaithe: (2022-09-01)

Assertion and Epistemic Opacity
de réir: Hawthorne, J, et al.
Foilsithe / Cruthaithe: (2010)

China’s Assertive Behavior – Part Two: The Maritime Periphery
de réir: Swaine, Michael D., et al.
Foilsithe / Cruthaithe: (2012)

Trajectory predictions of new lift separation sabots
de réir: Sreelal Mohanan, et al.
Foilsithe / Cruthaithe: (2021-08-01)

Two negations for the price of one
de réir: Anna Notley, et al.
Foilsithe / Cruthaithe: (2016-11-01)

Assertive and Non-assertive Consumer Behavior Styles in Relation with Advertising Appeals
de réir: Adriana Manolică, et al.
Foilsithe / Cruthaithe: (2019-01-01)