Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Ricardo Peña

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

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Adding Traces to a Lazy Monadic Evaluator

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Related publications

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

General Correctness: A Unification of Partial and Total Correctness

Acta Informatica
Computer NetworksSoftwareInformation SystemsCommunications
1985English

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

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy