Using Meta-Code Generation to Realize Higher-Order Model Transformations

doi 10.5220/0004522305360541
Full Text
Abstract

Available in full text

Date
Authors

Unknown

Publisher

SciTePress - Science and and Technology Publications

Related search

Using Higher-Order Contracts to Model Session Types (Extended Abstract)

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Higher-Order Unification Revisited: Complete Sets of Transformations

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
1989English

Learning Class-Specific Image Transformations With Higher-Order Boltzmann Machines

2010English

Using Meta-Level Compilation to Check FLASH Protocol Code

Operating Systems Review (ACM)
HardwareComputer NetworksInformation SystemsArchitectureCommunications
2000English

Higher-Order Contingentism, Part 1: Closure and Generation

Journal of Philosophical Logic
Philosophy
2016English

Application of Higher Order Derivatives to Helicopter Model Control

2010English

SHARP: A Spatially Higher-Order, Relativistic Particle-In-Cell Code

Astrophysical Journal
AstrophysicsAstronomyPlanetary ScienceSpace
2017English

Demonstration of Reconfigurable Optical Generation of Higher-Order Modulation Formats Up to 64 QAM Using Optical Nonlinearity

Optics Letters
OpticsAtomicMolecular Physics,
2013English

Pairwise Reachability Analysis for Higher Order Concurrent Programs by Higher-Order Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy