Forth и другие саморасширяющиеся системы программирования Locations of visitors to this page
Текущее время: Вс май 22, 2022 04:43

...
Google Search
Forth-FAQ Spy Grafic

Часовой пояс: UTC + 3 часа [ Летнее время ]




Начать новую тему Ответить на тему  [ 1 сообщение ] 
Автор Сообщение
 Заголовок сообщения: Practical and Theoretical Aspects of Forth Software Develop
СообщениеДобавлено: Ср янв 20, 2010 06:52 
Не в сети
Moderator
Moderator
Аватара пользователя

Зарегистрирован: Чт май 04, 2006 00:53
Сообщения: 5034
Откуда: был Крым, теперь Новосибирск
Благодарил (а): 23 раз.
Поблагодарили: 61 раз.
Practical and Theoretical Aspects of Forth Software Development
Autor: Peter J. Knaggs

Abstract
This is an investigation into the use of the Forth programming environment. The main areas of enquiry
were: interfacing Forth to other languages; interfacing Forth and local area networks; and the use of
RISC processors with stack based architecture such as the NC4000 and Harris RTX series.
We describe how to interface Forth and C. We also provide a system with a multi-tasking
interrupt driven interface to the Ibm NetBios networking software and a simple, generic, method of task
activation through message passing.
Many aspects of the investigation proved to be dependent on a more thorough theoretical underpinning
for the Forth language. The use of a typeless parameter stack means that a programmer must
concern himself with the intellectual burden of managing the parameter stack. The mismatching of stack
elements can be the cause of subtle logic errors. We therefore investigated the possibility of developing a
"type algebra" that would allow us to develop a typed version of Forth. This thesis includes a theory
for a "type signature algebra" for the stack based argument passing method used by Forth.
To support the use of multi-tasking we provide a simple, but formal, theory of concurrent tasks
based on state machines that synchronise on events. This has a graphical notation for people who are
not familiar with formal notations.
We also looked at how formalisms might be used to define a semantic model for the Forth
language and how formalisms can help to define the relationship between Forth's stack based virtual
machine and register based target processors.


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ 1 сообщение ] 

Часовой пояс: UTC + 3 часа [ Летнее время ]


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 2


Вы не можете начинать темы
Вы можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group
phpBB сборка от FladeX // Русская поддержка phpBB