An offline partial evaluator for evolving algebras (original) (raw)
James Huggins1998
Related papers
Soft Computing, 2013
Eprint Arxiv Physics 9703030, 1997
Evolving Algebras and Partial Evaluation
1994
We describe an automated partial evaluator for evolving algebras implemented at the University of Michigan.
Possible-translations algebraizability
Handbook of …, 2007
Mathematica Bohemica, 2016
Journal of Geometry and Physics, 2010
Generating algebraic laws from imperative programs
Theoretical Computer Science, 1999
The common framework initiative for algebraic specifications
2001
Complex symmetric evolution equations
Analysis and Mathematical Physics, 2020
Volterra Evolution Algebras and Their Graphs
arXiv (Cornell University), 2019
Loading Preview
Sorry, preview is currently unavailable. You can download the paper by clicking the button above.
Related papers
Differentially Homogeneous Algebras
Journal of Algebra, 1999
On combinatory algebras and their expansions
Theoretical Computer Science, 1984
Some Results on Special Kind of Algebra
Mathematical Theory and Modeling, 2015
A note on functionally complete algebras
1981
Update of the Offline Framework for AugerPrime
Proceedings of 37th International Cosmic Ray Conference — PoS(ICRC2021), 2021
An Algebraic Model of Computation for Systems with Dynamic Structure
2012
Semantical Mutation, Algorithms and Programs
Revista Dissertatio de Filosofia, 2015
2016
PURE MATHEMATICS | RESEARCH ARTICLE Extensions of BCK-algebras
2016
Towards a Formal Foundation for Dynamic Evolutionary Systems
2005
Evolving reactive logic programs
Intelligenza Artificiale, 2011
A Canonical Algebra of Open Transition Systems
Formal Aspects of Component Software, 2021
Routledge eBooks, 2022
4 Discrete Algebraic Dynamical Systems
2016
Certain particular families of graphicable algebras
Applied Mathematics and Computation, 2014
Computer algebra as a research tool in physics
Lecture Notes in Computer Science, 1985
The grammar of symbolic elementary algebra
1987
Towards semi-automated non-destructive evaluation
Journal of Physics: Conference Series, 2013
Online Computation of Abelian Runs
Lecture Notes in Computer Science, 2015
Generating Polynomial Invariants for Hybrid Systems
Hybrid Systems: Computation and Control, 2005
J. Multiple Valued Log. Soft Comput., 2008
Computation Over Worlds With Dynamic Structure
Partial evaluation for program comprehension
ACM Computing Surveys, 1998
Meta-level Inference in Algebra
1981