Search

Your search keyword '"Oliveira, José Nuno"' showing total 16 results

Search Constraints

Start Over You searched for: Author "Oliveira, José Nuno" Remove constraint Author: "Oliveira, José Nuno" Topic mathematical logic and formal languages Remove constraint Topic: mathematical logic and formal languages
16 results on '"Oliveira, José Nuno"'

Search Results

1. Type-Safe Two-Level Data Transformation.

2. A Metalanguage for Programming with Bound Names Modulo Renaming.

3. Metacomputation-Based Compiler Architecture.

4. The Universal Resolving Algorithm: Inverse Computation in a Functional Language.

5. Theorems about Composition.

6. Liberating Data Refinement.

7. Formal Methods and Dependability.

8. On Guarded Commands with Fair Choice.

9. Proving Pointer Programs in Hoare Logic.

10. Quantum Programming.

11. Reasoning about Non-terminating Loops Using Deadline Commands.

12. Separation and Reduction.

13. The Zip Calculus.

14. Polytypic Values Possess Polykinded Types.

15. Regular Expressions Revisited: A Coinductive Approach to Streams, Automata, and Power Series.

16. Integrating Programming, Properties, and Validation.

Catalog

Books, media, physical & digital resources