Predicate Transformers for Recursive Procedures With Local Variables

Formal Aspects of Computing - United Kingdom
doi 10.1007/s001659970002
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Proof Rules for Recursive Procedures

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
1993English

Connection Between Dijkstra's Predicate-Transformers and Denotational Continuation-Semantics

DAIMI Report Series
1978English

Real-Time Recursive Procedures

English

A Formalism for Treating Equivalence of Recursive Procedures

RAIRO. Informatique théorique
1985English

Automatic Verification of Recursive Procedures With One Integer Parameter

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2003English

On the Origin of Recursive Procedures

Computer Journal
Computer Science
2014English

Predicate Logic With Anaphora

Semantics and Linguistic Theory
1994English

Local Instrumental Variables

2000English

Android Application for Determining Surgical Variables in Brain-Tumor Resection Procedures

Journal of Medical Imaging
Nuclear MedicineRadiologyImaging
2017English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy