Описание тега abstract-machine

Вопросы с тегом
Модель компьютерной системы (аппаратного или программного обеспечения), построенная для детального и точного анализа работы компьютерной системы. Обычно он состоит из ввода, вывода и набора операций.
1 ответ

Существует ли бесплатная реализация Warren Abstract Machine для Delphi?

Я провел тщательный поиск, но все равно был напрасен. Ссылка: Абстрактная машина Уоррена (Википедия). Вопрос: Есть ли такая реализация (с открытым исходным кодом)? Если нет, то я склонен принять ответ за решение, включающее в себя хороший вариант, н…
18 апр '12 в 08:10
3 ответа

Разобрать выражение для его компонентов и подкомпонентов.

Мне нужно разобрать выражение, такое как: neg(and(X,Y)) Мне нужно, чтобы он вышел с машинным кодом абстрактного стека, например, для приведенного выше примера: LOAD X; LOAD Y; EXEC and; EXEC neg; Но пока машинный код не является проблемой, как я мог…
07 авг '13 в 17:53
3 ответа

В SECD Machine как работает рэп?

Я пишу симулятор SECD-машины на C#, руководствуясь описанием в Википедии. У меня завершены основные операции, но я не уверен, как реализовать rap инструкция. В Википедии говорится о rap: рэп работает как ap, только то, что заменяет вхождение фиктивн…
25 сен '11 в 19:21
2 ответа

Генерировать абстрактный машинный код из простых инструкций программирования

Мой вопрос заключается в том, что мне нужно научиться выполнять эту задачу... задача состоит в том, чтобы создать автоматический генератор кода из простых инструкций программирования, таких как (x:=5-z; while x<z do (x:=x*2; z:=z+x) ) и переведит…
28 янв '17 в 12:30
1 ответ

Абстрактная машина для байт-кода Java

Мне было интересно, знаком ли кто-нибудь с абстрактной машиной, способной выполнять Java-байт-код. Заметьте, я ищу что-то, что можно расширить, и под абстрактной машиной я не имею в виду JVM, так как мне нужно указать семантику. В частности, я ищу с…
25 июн '13 в 01:30
1 ответ

Сравнение абстрактных машин для исполнения Пролога

Я ищу исследовательскую работу или любую другую публикацию, в которой сравниваются разные абстрактные машины (более одной) для выполнения Пролога с интерпретаторами пролога, не основанными на абстрактных машинах. До сих пор я видел, что большинство …
17 май '14 в 13:17
0 ответов

Как можно сравнить машину Тьюринга с компьютером?

Я прочитал статьи, включая Википедию о машине Тьюринга. И вот еще вопрос о машине Тьюринга. После прочтения того, что я понимаю о TM, это просто логическая машина с бесконечной лентой, R/W head и таблица с правилами. Если это правда, без этой таблиц…
02 апр '19 в 08:11
0 ответов

CEK-машина, некоторые вопросы (создание замыканий, сокращение сред)

У меня есть несколько вопросов о реализации абстрактной машины CEK. Описание этого можно найти в статье "Pycket: отслеживание JIT для функционального языка", на рисунке 1 (страница 2). Применяя функцию (4-е правило), я думаю, что мы должны создать з…
27 апр '19 в 09:26
5 ответов

Результат sizeof для массивов и указателей C++

В архитектуре x86_64 размер указателя составляет 8 байтов. Для меня имеет смысл, чтоsizeof(x) должен вернуть 8. Я понимаю, что char это один байт, а 5 байтов - это размер массива z. Какая интуиция стоит за тем, почемуsizeof(z) не возвращает 8? int* …
03 дек '19 в 08:01
0 ответов

Ресурсы по оптимизации абстрактной машины CEK

Я ищу ресурсы о том, как оптимизировать абстрактную машину CEK. Я нашел "эксперимент ZINC", который описывает быструю абстрактную машину, но эта машина больше похожа на машину SECD. Тем не менее, это все еще очень полезный ресурс. Есть ли ресурсы, п…
16 дек '19 в 10:11
1 ответ

Модель памяти C11/C++11 получение, выпуск, смягчение специфики

У меня есть некоторые сомнения по поводу модели памяти C++11/C11, и мне было интересно, может ли кто-нибудь прояснить ее. Это вопросы о модели / абстрактной машине, а не о реальной архитектуре. Гарантируется ли "каскадирование" эффектов получения / …
08 июл '20 в 04:47
3 ответа

Как код хранится и выполняется на абстрактной машине C++?

В первой книге о C++, которую я прочитал, я немного рассказал о том, как код на самом деле выполняется на машине (в нем упоминается счетчик программ, стек вызовов, адреса возврата и т. Д.). Мне было очень интересно узнать, как это работает, хотя я з…
27 сен '20 в 23:12
0 ответов

Что такое абстрактная машина?

Я не совсем понимаю определение и вариант использования абстрактной машины и то, как она на самом деле связана с компилятором или интерпретатором. Я погуглил, что такое абстрактные машины, но мало что из этого понял. An abstract machine is a model o…
01 дек '22 в 15:39