Proxy(ID:5094/pro087)
Rapid prototyping language
Proxy: an interpreter for a specification, design and rapid prototyping language based on the VDM (Vienna Development Method) and written in Scheme
It uses data structures such as sets, maps, sequences and objects to model software
Developed by Burt Leavenworth
People:
Related languages
References:
Leavenworth, Burt "Proxy: a Scheme-based prototyping language: high-level data structures for rapid software design and development"
Dr. Dobb's Journal 18(3) (March 1993)
view details
Abstract: Proxy, a Scheme-based interactive language with a C-like syntax, provides all the high-level data structures - sets, maps, sequences, and objects - useful for software design and prototyping. In addition to showing you how the language can be used in a typical prototyping session, Burt gives you the Proxy interpreter.
Leavenworth, Burt "Proxy: an interpreter for rapid prototyping" view details
Abstract: Proxy is an interpreter for a rapid prototyping language with C/C++ like syntax based on modelling software using data structures such as sets, maps, sequences, and objects. It allows the developer to make incremental changes to a design and test them immediately."The hardest single part of building a software system is deciding precisely what to build" - Fred Brooks
in SIGPLAN Notices 27(06) June 1992 view details
Leavenworth, Burt "Proxy v1.5 Manual" 1995
view details
Abstract: Proxy is an interpreter for a specification, design and rapid prototyping language based on VDM (Vienna Development Method). It uses data structures such as sets, maps, sequences and objects to model software. It was originally written in XScheme and PC Scheme to run under MS-DOS. It has now been ported to VSCM and runs under Linux. In the process, a number of bugs have been fixed and other changes made. But it will probably be necessary to make changes to the Scheme code in order to run Proxy on another interpreter/compiler.
Proxy has a C-like syntax which is translated to Scheme and then executed by VSCM. It will therefore run on different machines. Proxy also provides a Scheme interface which enables communication between Proxy and Scheme.
Extract: Introduction
INTRODUCTION
Proxy is an interpreter for a specification, design and rapid prototyping language based on VDM. It uses data structures such as sets, maps, sequences, and objects to model software. Proxy has a C-like syntax and is written in Scheme; consequently a Scheme interface is provided.
A software system can be represented as a "state" and a collection of functions which operate on components of the state. The user may develop these operations incrementally or define them in files which are loaded prior to execution. It is also possible to manipulate objects (defined by classes) which encapsulate local states; this allows the user to define a software model as a hierarchy of submodels.
in SIGPLAN Notices 27(06) June 1992 view details
Resources - Source at the Scheme repository
"
|