Works matching DE "HOARE logic"

Results: 21

Efficient Algorithms for the Maximum Sum Problems.

Published in:

Algorithms, 2017, v. 10, n. 1, p. 5, doi. 10.3390/a10010005

By:

Sung Eun Bae;
Tong-Wook Shinn;
Tadao Takaoka

Publication type:

Article

A Hoare-Like Logic of Asserted Single-Pass Instruction Sequences.

Published in:

Scientific Annals of Computer Science, 2016, v. 26, n. 2, p. 125, doi. 10.7561/SACS.2016.2.125

By:

BERGSTRA, J. A.;
MIDDELBURG, C. A.

Publication type:

Article

Analysis and verification of SMIL documents.

Published in:

Multimedia Systems, 2011, v. 17, n. 6, p. 487, doi. 10.1007/s00530-011-0233-1

By:

Gaggi, Ombretta;
Bossi, Annalisa

Publication type:

Article

Monad-independent Dynamic Logic in HasCasl.

Published in:

Journal of Logic & Computation, 2004, v. 14, n. 4, p. 571, doi. 10.1093/logcom/14.4.571

By:

Schröder, Lutz;
Mossakowski, Till

Publication type:

Article

GPS+: Reasoning About Fences and Relaxed Atomics.

Published in:

International Journal of Parallel Programming, 2018, v. 46, n. 6, p. 1157, doi. 10.1007/s10766-017-0518-x

By:

He, Mengda;
Qin, Shengchao;
Ferreira, João F.;
Vafeiadis, Viktor

Publication type:

Article

Inference rules for proving the equivalence of recursive procedures.

Published in:

Acta Informatica, 2008, v. 45, n. 6, p. 403, doi. 10.1007/s00236-008-0075-2

By:

Godlin, Benny;
Strichman, Ofer

Publication type:

Article

Verification conditions are code.

Published in:

Acta Informatica, 2007, v. 43, n. 6, p. 431, doi. 10.1007/s00236-006-0029-5

By:

Gravell, Andrew

Publication type:

Article

Formal Verification of mCWQ Using Extended Hoare Logic.

Published in:

Mobile Networks & Applications, 2019, v. 24, n. 1, p. 134, doi. 10.1007/s11036-018-1142-8

By:

Xie, Wanling;
Zhu, Huibiao;
Wu, Xi;
Vinh, Phan Cong

Publication type:

Article

Hoare type theory, polymorphism and separation.

Published in:

Journal of Functional Programming, 2008, v. 18, n. 5/6, p. 865, doi. 10.1017/S0956796808006953

By:

NANEVSKI, ALEKSANDAR;
MORRISETT, GREG;
BIRKEDAL, LARS

Publication type:

Article

Solving the VerifyThis 2012 challenges with VeriFast.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 659, doi. 10.1007/s10009-014-0310-9

By:

Jacobs, Bart;
Smans, Jan;
Piessens, Frank

Publication type:

Article

Witnessing the elimination of magic wands.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 757, doi. 10.1007/s10009-015-0372-3

By:

Blom, Stefan;
Huisman, Marieke

Publication type:

Article

Functional dependencies of C functions via weakest pre-conditions.

Published in:

International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 5, p. 405, doi. 10.1007/s10009-011-0192-z

By:

Cuoq, Pascal;
Monate, Benjamin;
Pacalet, Anne;
Prevosto, Virgile

Publication type:

Article

Deductive software verification.

Published in:

International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 5, p. 397, doi. 10.1007/s10009-011-0211-0

By:

Filliâtre, Jean-Christophe

Publication type:

Article

Hoare Semigroups.

Published in:

Mathematical Structures in Computer Science, 2018, v. 28, n. 6, p. 775, doi. 10.1017/S096012951700007X

By:

STRUTH, GEORG

Publication type:

Article

Finite-cofinite program relations.

Published in:

Logic Journal of the IGPL, 1999, v. 7, n. 2, p. 153, doi. 10.1093/jigpal/7.2.153

By:

Brink, C;
Rewitzky, I

Publication type:

Article

Proof Systems for Planning Under Cautious Semantics.

Published in:

Minds & Machines, 2013, v. 23, n. 1, p. 5, doi. 10.1007/s11023-012-9288-9

By:

Shen, Yuping;
Zhao, Xishun

Publication type:

Article

Fine-grained Concurrency with Separation Logic.

Published in:

Journal of Philosophical Logic, 2011, v. 40, n. 5, p. 583, doi. 10.1007/s10992-011-9195-1

By:

Kapoor, Kalpesh;
Lodaya, Kamal;
Reddy, Uday

Publication type:

Article

FOUNDATIONAL CERTIFICATION OF CODE TRANSFORMATIONS USING AUTOMATIC DIFFERENTIATION.

Published in:

Computer Science, 2014, v. 15, n. 2, p. 215, doi. 10.7494/csci.2014.15.2.215

By:

TADJOUDDINE, EMMANUEL M.;
WENJIN LV

Publication type:

Article

Extending Semantic based Techniques for Policy-based Slicing of Database Program.

Published in:

International Journal of Computer Information Systems & Industrial Management Applications, 2023, v. 15, p. 43

By:

Kashyap, Anwesha;
Jana, Angshuman

Publication type:

Article

SYNTHESIS OF STRATEGIES USING THE HOARE LOGIC OF ANGELIC AND DEMONIC NONDETERMINISM.

Published in:

Logical Methods in Computer Science (LMCS), 2016, v. 12, n. 3, p. 1, doi. 10.2168/LMCS-12(3:6)2016

By:

MAMOURAS, KONSTANTINOS

Publication type:

Article

A HOARE LOGIC FOR THE COINDUCTIVE TRACE-BASED BIG-STEP SEMANTICS OF WHILE.

Published in:

Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 1, p. 1, doi. 10.2168/LMCS-11(1:1)2015

By:

NAKATA, KEIKO;
UUSTALU, TARMO

Publication type:

Article