Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,741,290 papers from all fields of science
Search
Sign In
Create Free Account
Categorical abstract machine
Known as:
Cam (disambiguation)
The categorical abstract machine (CAM) is a model of computation for programs that preserves the abilities of applicative, functional, or…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
17 relations
Applicative computing systems
Caml
Cartesian closed category
Combinatory logic
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Distributional Representation for Resting-State Functional Brain Connectivity Analysis
Jiating Zhu
,
Jiannong Cao
BI
2018
Corpus ID: 54456747
Most analyses on functional brain connectivity across a group of brains are under the assumption that the positions of the voxels…
Expand
2015
2015
Categorical abstract machine pdf
2015
Corpus ID: 37890753
The machine is called categorical abstract machine or CAM. The CAM is easier to grasp and prove than the SECD machine. The…
Expand
2015
2015
Simplification of Abstract Machine for Functional Language and Its Theoretical Investigation
S. Nishizaki
,
Kensuke Narita
,
Tomoyuki Ueda
Journal of Software
2015
Corpus ID: 44830715
Many researchers have studied abstract machines in order to give operational semantics to various kinds of programming languages…
Expand
2011
2011
AN APPROACH FOR RADAR QUANTITATIVE PRECIPITATION ESTIMATE BASED ON CATEGORICAL Z-I RELATIONS
Hu Sheng
2011
Corpus ID: 123891988
Radar-based quantitative precipitation estimate(RQPE) and forecast(RQPF) with high spatial and temporal resolutions are playing…
Expand
2011
2011
Achieving Peace of Mind: The Benefits of Neurobiological Evidence for Battered Women Defendants
Jozsef Meszaros
2011
Corpus ID: 38202487
Despite its potential to diminish the culpability of battered women accused of crimes, neurobiology evidence has yet to be…
Expand
2010
2010
A simple abstract machine for functional first-class continuations
Keisuke Narita
,
S. Nishizaki
,
Takahisa Mizuno
International Symposium on Communications and…
2010
Corpus ID: 16115268
Many kinds of abstract machine have been proposed for executing byte codes of functional languages, such as Landin's SECD machine…
Expand
2005
2005
A functional language to implement the divide-and-conquer Delaunay triangulation algorithm
A. Moura
,
J. Camacho
,
S. C. Guimarães
,
C. H. Salerno
Applied Mathematics and Computation
2005
Corpus ID: 5498660
1994
1994
Implementing functional languages : S Peyton Jones and D Lester Prentice-Hall UK (1992) 281 pp £22.95 ISBN 0 13 721952 0
P. Kelly
Information and Software Technology
1994
Corpus ID: 5165240
1991
1991
Staging transformations for abstract machines
J. Hannan
ACM SIGPLAN Workshop on Partial Evaluation and…
1991
Corpus ID: 10599792
We present a complete set of staging transformations for translating a class of interpreters into compilers and executors…
Expand
1991
1991
Making Abstract Machines Less Abstract
J. Hannan
Conference on Functional Programming Languages…
1991
Corpus ID: 33859987
We consider a class of abstract machines used for specifying the evaluation of intermediate-level programming languages, and…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE