Using Triples to Reason About Concurrent Programs

doi 10.21236/ada444448
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Defense Technical Information Center

Related search

Using Belief to Reason About Cache Coherence

1994English

Synthesizing Concurrent Programs Using Answer Set Programming

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2012English

Using Contracts to Guide the Search-Based Verification of Concurrent Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

A Modular Way to Reason About Iteration

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Synthesis of Concurrent Programs

Teaching Mathematics and Computer Science
2015English

On Sequentializing Concurrent Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Model Checking Concurrent Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Children Reason About Shared Preferences.

Developmental Psychology
Life-course StudiesDevelopmentalLife-spanEducational PsychologyDemography
2010English

Reasoning About Programs Using a Scientific Method

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy