OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Query: MEANINGS OF PROGRAMS" Repository: 65 Language: Inglés Document Type: Sin Especificar

Sort by Score Title Year -

1-8 from 8 results (0.013 seconds)

Title: Reasoning about functional programs by combining interactive and automatic proofs
Language: Inglés
Repository: 65
Subject: Demostración automática de teoremas / Demostración interactiva de teoremas / Evaluación perezosa / Teoría de tipos / Lenguajes totales / Recursión general / Teorías de primer orden / Verificación de programas funcionales / Automatic proofs / First-order theories / Functional program correctness / General recursion / Interactive proofs / Lazy evaluation / Total languages / Type theory

Acceder
Title: Hfusion : a fusion tool based on acid rain plus extensions
Language: Inglés
Repository: 65
Subject: Deforestation / Acid Rain / Fusion / Hylomorphism / Paramorphism / Functional Programming Languages / Generic Programming

Acceder
Title: Course-of-values recursion in Martin-Löf's type theory
Language: Inglés
Repository: 65
Subject: Teoria de tipos / Logical frameworks / Alf
Title: Formally verified countermeasures against cache based attacks in virtualization platforms
Language: Inglés
Repository: 65
Subject: Non-interference / Cache-based attacks / Constant-time cryptography / Stealth memory / Coq / No interferencia / Ataques basados en cache / Criptografía constant-time

Acceder
Title: Towards secure distributed computations
Language: Inglés
Repository: 65
Subject: COMPUTACION DISTRIBUIDA / TYPE SAFE / ABSTRATION SAFETY / ALGORITMO DE CERTIFICACION / PCR / MARSHALLING

Acceder
Title: Expansive dynamical systems
Language: Inglés
Repository: 65
Subject: SISTEMAS DINÁMICOS / HOMEOMORFISMOS / EXPANSIVIDAD / CW-EXPANSIVIDAD / N-EXPANSIVIDAD / HIPEREXPANSIVIDAD / EXPANSIVIDAD CINEMÁTICA Y GEOMÉTRICA / EXPANSIVIDAD POSITIVA / EXPANSIVIDAD ROBUSTA

Acceder
Title: A differential game theory approach to DC-DC buck converter control
Language: Inglés
Repository: 65
Subject: Convertidores tipo buck / Método de control

Acceder
Title: MINERVA : Model drIveN and sErvice oRiented framework for the continuous improVement of business process & relAted tools
Language: Inglés
Repository: 65
Subject: Procesos de negocios / Modelos / Gestión de Procesos de Negocio / Business Process Management / Service Oriented Computing / Model Driven Development

Acceder

« Previous 1 Next »