Requirement Enforcement by Transformation Automata Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Palo Alto, CaliforniaUSA

Source URL: www.kestrel.edu

• Formal methods
• Theoretical computer science
• Software engineering
• Logic in computer science
• Software development
• Semigroup action
• Refinement
• Predicate transformer semantics
• Program transformation
• Postcondition
• Finite-state machine
• Formal verification

vaud.digital​, la plateforme de référence pour les acteurs de la transformation digitale du canton de Vaud Critères d’éligibilité ​(juin 2018) ● Entités (accélérateurs, instituts de recherche, grandes ent

Source URL: www.innovaud.ch

KONFERENZREIHE DIGITALE TRANSFORMATION FINTECH 2018 PARADIGMENWECHSEL OPEN BANKING 15. März 2018

Source URL: www.fuw.ch

Under consideration for publication in Theory and Practice of Logic Programming 1 Horn Clauses as an Intermediate Representation for Program Analysis and Transformation∗

Source URL: jorgenavas.github.io

• Mathematics
• Theoretical computer science
• Elementary mathematics
• Compiler optimizations
• Static single assignment form
• Logic programming
• Scope
• Unification
• Term
• FO
• Variable
• Singular spectrum analysis

Dtre|A Semi-Automatic Transformation System Lee Blaine and Allen Goldberg Kestrel Institute, 3260 Hillview Avenue, Palo Alto, California 94304, USA Abstract

Source URL: www.kestrel.edu

• Mathematical logic
• Mathematics
• Logic
• Type theory
• Model theory
• Hierarchy
• Interpretation
• Axiom
• Sheaf
• Theory
• Implementation of mathematics in set theory
• ZermeloFraenkel set theory

Numerical Accuracy Improvement by Interprocedural Program Transformation Nasrine DAMOUCHE Matthieu MARTEL

Source URL: perso.univ-perp.fr

• Mathematics
• Mathematical analysis
• Differential calculus
• Analysis
• Functions and mappings
• Exponentials
• Exponentiation
• Derivative
• Lambda calculus
• Lambert W function

QUICK REFERENCE GUIDE POWEREDGE C SERIES Data centers are undergoing a transformation to meet the demands of the digital economy. Built for scale-out workloads like high performance computing, deep learning and data ana

Source URL: i.dell.com

• Computing
• Computer hardware
• Server hardware
• EMC Corporation
• Dell PowerEdge
• OpenManage
• Dell
• NVM Express
• Texas Advanced Computing Center
• Dell M1000e

Interactive Debugging for Extensible Languages in Multi-Stage Transformation Environments Domenik Pavletic Kim Haßlbauer

Source URL: mbeddr.com

• Debugging
• Computer programming
• Computing
• Software engineering
• Debugger
• Extensible programming
• Programming tool
• Breakpoint
• Program animation
• Compiler
• Embedded system
• Time travel debugging

Analyzing array manipulating programs by program transformation J. Robert M. Cornish1 , Graeme Gange1 , Jorge A. Navas2 , Peter Schachte1 , Harald Søndergaard1, and Peter J. Stuckey1 1

Source URL: jorgenavas.github.io

• Array data structure
• Variable
• Dimensional analysis
• Computing
• Mathematics
• Engineering
• Jet bundle

1 Three Priorities for eCommerce Digital Transformation

Source URL: www.fastly.com

• Marketing
• Economy
• Microeconomics
• Brand management
• Customer experience
• E-commerce
• Services marketing
• Omnichannel
• Touchpoint
• Personalization
• Organizational culture
• Consumer behaviour