Correctness of Non-Determinism Analyses in a Parallel-Functional Language

Lecture Notes in Computer Science- Germany

doi 10.1007/978-3-540-27861-0_5

Full Text

Abstract

Available in

Date

Authors

Publisher

Springer Berlin Heidelberg

Related search

Dynamic Enforcement of Determinism in a Parallel Scripting Language

ACM SIGPLAN Notices
Computer Science
2014English

Resolving the Equivalent Mutant Problem in the Presence of Non-Determinism and Coincidental Correctness

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

On Determinism Versus Non-Determinism and Related Problems

1983English

Correctness of Code Generation From a Two-Level Meta-Language

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1986English

Proof Automation for Functional Correctness in Separation Logic

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2014English

The Next 700 Compiler Correctness Theorems (Functional Pearl)

Proceedings of the ACM on Programming Languages
2019English

V. G. Kostomarov. Language of the Moment: The Concept of Correctness

Русская речь
2018English

Quadratic Correctness Criterion for Non-Commutative Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

General Correctness: A Unification of Partial and Total Correctness

Acta Informatica
Computer NetworksSoftwareInformation SystemsCommunications
1985English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy