A Relational Framework for Higher-Order Shape Analysis

ACM SIGPLAN Notices - United States
doi 10.1145/2692915.2628159
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Theoretical Framework for Higher-Order Quantum Theory

Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences
MathematicsEngineeringAstronomyPhysics
2019English

A General Framework for Relational Parametricity

2018English

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

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Theoretical Framework for Integrating Higher-Order Thinking Into L2 Speaking

Theory and Practice in Language Studies
2016English

Simulations of Higher-Order Protein Organizations Using a Fuzzy Framework

Complexity
MultidisciplinaryComputer Science
2018English

Developing Skills for Collaborative, Relational Research in Higher Education: A Cultural Historical Analysis

English

A Framework for Estimation and Inference in Generalized Additive Models With Shape and Order Restrictions

Statistical Science
MathematicsStatisticsUncertaintyProbability
2018English

Shape Modeling Framework for Brain and Facial Image Analysis

English

O-Odm Framework for Object-Relational Databases

International Journal of Interactive Multimedia and Artificial Intelligence
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy