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: FORMAL LANGUAGES Language: Inglés Document Type: Sin Especificar Repository: 65

Sort by Score Title Year -

1-10 from 12 results (0.015 seconds)

Title: On the Formalisation of the Metatheory of the Lambda Calculus and Languages with Binders
Language: Inglés
Repository: 65
Subject: Programación Genérica / Lenguajes de Programación / Metateoría Formal / Cálculo Lambda / Teoría de Tipos

Acceder
Title: Formal analysis of security models for mobile devices, virtualization platforms and domain name systems
Language: Inglés
Repository: 65
Subject: Modelos formales / Prioridades de seguridad / Asistente de pruebas Coq / JME-MIDP / Virtualización / DNSSEC

Acceder
Title: Heterogeneous verification of model transformations
Language: Inglés
Repository: 65
Subject: Ingeniería Dirigida por Modelos / Verificación / Métodos formales / Teoría de Instituciones / MOF / QVT-Relations / Heterogeneous Tool Set / Model-Driven engineering / Formal methods / Theory of institutions

Acceder
Title: On UML statechart with variabilities
Language: Inglés
Repository: 65
Subject: Máquinas de estado UML / Semántica formal / Modelado formal de variedades / Máquinas de estado con variabilidades / Líneas de productos de software

Acceder
Title: UML 2.0 interactions with OCL/RT constraints
Language: Inglés
Repository: 65
Subject: Behavioral specification / Real-time systems / Unified Modeling Language / UML

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: 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: Towards secure distributed computations
Language: Inglés
Repository: 65
Subject: COMPUTACION DISTRIBUIDA / TYPE SAFE / ABSTRATION SAFETY / ALGORITMO DE CERTIFICACION / PCR / MARSHALLING

Acceder
Title: The Reflex Sandbox : an experimentation environment for an aspect-oriented Kernel
Language: Inglés
Repository: 65
Subject: REFLEXION / REFLEXION PARCIAL / PROGRAMACION ORIENTADA A ASPECTOS

Acceder
Title: First class syntax, semantics and their composition
Language: Inglés
Repository: 65
Subject: Gramática de primera clase / Semántica de primera clase / Gramáticas de atributos / Construcción de compiladores / Lenguajes extensibles, Haskell

Acceder

« Previous 1 2 Next »