Exploiting Reachability and Cardinality in Higher-Order Flow Analysis

Journal of Functional Programming - United Kingdom
doi 10.1017/s0956796808006941
Full Text
Abstract

Available in full text

Categories
Software
Date
Authors
Publisher

Cambridge University Press (CUP)

Related search

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

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Exploiting the Overlapping of Higher Order

International Journal of Agent Technologies and Systems
2014English

Phase-Plane Analysis of Conserved Higher-Order Traffic Flow Model

Applied Mathematics and Mechanics (English Edition)
Mechanics of MaterialsApplied MathematicsMechanical Engineering
2012English

A Validation Study of Higher Order CFD Analysis for Unsteady Flow Around Landing Gear

JOURNAL OF THE JAPAN SOCIETY FOR AERONAUTICAL AND SPACE SCIENCES
2011English

Initial Eccentricity Fluctuations and Their Relation to Higher-Order Flow Harmonics

Physical Review C
2011English

Higher Order Accurate Solutions for Flow in a Cavity: Experiences and Lessons Learned

Lecture Notes in Computational Science and Engineering
ControlCombinatoricsDiscrete MathematicsSimulationEngineeringOptimizationModelingComputational Mathematics
2015English

Coulomb Friction and Other Sliding Laws in a Higher-Order Glacier Flow Model

Mathematical Models and Methods in Applied Sciences
ModelingApplied MathematicsSimulation
2010English

Higher-Order Analysis of 2–3 Trees

International Journal of Foundations of Computer Science
Computer Science
1995English

Reachability Analysis on Distributed Executions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1993English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy