There are 25 papers presented in the symposiumproceedings on languageissues in programmingenvironments. Topics discussed in these papers object based, rule-based, side-effect-free, Mesa, Cedar, and logic programmin...
详细信息
ISBN:
(纸本)0897911652
There are 25 papers presented in the symposiumproceedings on languageissues in programmingenvironments. Topics discussed in these papers object based, rule-based, side-effect-free, Mesa, Cedar, and logic programmingenvironments. Software environment is also considered.
Memory safety violations due to C’s undefined behavior, although well researched, still cause security breaches year by year. The most dangerous reported violations are spatial safety violations, where objects are ac...
详细信息
With the proliferation of mobile devices in daily life, ensuring the security and performance of these devices has become crucial. On Android, the Java Native Interface (JNI) acts as a bridge, allowing native librarie...
详细信息
A model for packages is introduced, along with operations for their manipulation. The model is based on the unifying principle that programs should be represented by trees, and packages by substitutions on trees. Oper...
详细信息
ISBN:
(纸本)0897911652
A model for packages is introduced, along with operations for their manipulation. The model is based on the unifying principle that programs should be represented by trees, and packages by substitutions on trees. Operations are defined on packages, that allow the construction of any package from a collection of basic packages. A programming environment, based on this model, would allow manipulations and operations that are not possible in current languages. Information hiding and encapsulation are automatically supported by the model. A typing mechanism is presented, which allows polymorphic types. The typing does not affect the typeless aspect of the model.
People everywhere are developing multi-window, integrated programmingenvironments for their favorite computers and languages. This paper describes the Mesa programming facilities of the Xerox Development Environment ...
详细信息
ISBN:
(纸本)0897911652
People everywhere are developing multi-window, integrated programmingenvironments for their favorite computers and languages. This paper describes the Mesa programming facilities of the Xerox Development Environment (XDE). This paper describes the programming environment: the user illusion, the set of programming tools, and the facilities available for augmenting the environment.
Lisp and its successors provide the programmer with a powerful single tool in which he can write, modify, debug and execute programs. Side effects play a crucial role in these programmingenvironments. We propose an a...
详细信息
ISBN:
(纸本)0897911652
Lisp and its successors provide the programmer with a powerful single tool in which he can write, modify, debug and execute programs. Side effects play a crucial role in these programmingenvironments. We propose an alternative approach to debugging that doesn't rely on side effects. Then we describe an implementation of our approach in a purely functional language.
The programming system generator developed at the Technical University of Darmstadt generates sophisticated interactive programmingenvironments from formal language definitions. From a formal, entirely non-procedural...
详细信息
ISBN:
(纸本)0897911652
The programming system generator developed at the Technical University of Darmstadt generates sophisticated interactive programmingenvironments from formal language definitions. From a formal, entirely non-procedural definition of the language's syntax, context conditions and denotaticial semantics, it produces a hybrid editor, an interpreter and a library system. The editor allows both structure editing and text editing, guaranteeing immediate recognition of syntactic and semantic errors. The generator has been used to generate environments for PASCAL, MODULA-2 and the formal language definition language itself. A brief description of the generated environments and the definition language is given, and our experiences with formal language definitions are discussed from the language definer's point of view as well as from the programmer's point of view using the generated environments.
暂无评论