The York Abstract Machine
نویسندگان
چکیده
We introduce the York Abstract Machine (YAM) for implementing the graph programming language GP and, potentially, other graph transformation languages. The advantages of an abstract machine over a direct interpreter for graph transformation rules are better efficiency, use as a common target for compiling both future versions of GP and other languages, and portability of GP programs to different platforms.
منابع مشابه
Record Matching for a Large Master Client Index at the New York City Health Department
Executive Summary/Abstract: The New York City Department of Health and Mental Hygiene has a pressing need to accurately identify individuals for a variety of public health purposes. This led to the construction of the Master Client Index (MCI). The system offers a department-wide service that provides fast, real-time processing of incoming medical records to determine whether the individual is ...
متن کاملAn Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier
interpretation for Java bytecode verification.Technical Report, Dipartimento di Informatica, Uni-versity of Pisa. [27] Wildmoser, M. (2002) Subroutines and Java bytecodeverification. Master’s thesis. Institut für Informatik Technische Universität München. [28] Cohen, R. (1997) The defensive Java virtual machinespecification. Technical Report, Computational Logic Inc., Austin, Te...
متن کاملA Wavelet Support Vector Machine Combination Model for Daily Suspended Sediment Forecasting
Abstract In this study, wavelet support vector machine (WSWM) model is proposed for daily suspended sediment (SS) prediction. The WSVM model is achieved by combination of two methods; discrete wavelet analysis and support vector machine (SVM). The developed model was compared with single SVM. Daily discharge (Q) and SS data from Yadkin River at Yadkin College, NC station in the USA were used. I...
متن کاملA Compositional Refinement Technique for Verifying Abstract Data Type Implementations
Data Type Implementations Sumesh Divakaran, Deepak D’Souza Anirudh Kushwah, Prahladavaradan Sampath, Nigamanth Sridhar, and Jim Woodcock 1 Indian Institute of Science, Bangalore, {sumeshd,deepakd,anirudhkushwah}@csa.iisc.ernet.in 2 MathWorks India, [email protected] 3 Cleveland State University, [email protected] 4 University of York, [email protected] Abstract. We propose a ...
متن کاملCategorical abstract machine pdf
The machine is called categorical abstract machine or CAM. The CAM is easier to grasp and prove than the SECD machine. The natural.of such a language and an abstract machine is needed to have a certified. Then we define a bulk synchronous parallel categorical abstract machine and the.Abstract. Data-parallel ML is proposed for compilation to a distributed version DPCAM of Cousineau, Curien and M...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 211 شماره
صفحات -
تاریخ انتشار 2008