There is no ideal programminglanguage. Each is better suited to some tasks rather than others. This is true not only for complete programs, but also for different stages such as architectural design, detailed impleme...
详细信息
There is no ideal programminglanguage. Each is better suited to some tasks rather than others. This is true not only for complete programs, but also for different stages such as architectural design, detailed implementation and maintenance. The situation is even more acute in the case of end-user programminglanguages, which cater for a much more varied user population. It would therefore be advantageous to allow the same program to be viewed, and edited, in a number of different languages. We have developed a system, Lingua Franca, that provides this facility for end-user programminglanguages in the setting of ubiquitous computing in the home. Copyright (C) 2006 John Wiley & Sons, Ltd.
This article describes a technique to build applications for the visualization of large data sets using VTK library and components written in Tcl and C++. VTK is a software system for computer graphics, visualization ...
详细信息
This article describes a technique to build applications for the visualization of large data sets using VTK library and components written in Tcl and C++. VTK is a software system for computer graphics, visualization and image processing. VTK library is written in C++ however it provides interfaces to the scripting languages Tcl, Python and Java. Though it is possible to write a whole VTK application in a scripting language like Tcl, it is more suitable, for efficiency reasons, to implement some functionality in a compiled language like C/ C++ for instance. This article presents in through details how to access VTK objects from different languages and how to mix Tcl and C++ components in one application. (c) 2006 Elsevier Ltd. All rights reserved.
We present lambda(L) a statically typed lambda-calculus with languages as first-class citizens. In lambda(L), languages can be defined and used to execute programs and, furthermore, they also can be bound to variables...
详细信息
ISBN:
(纸本)9783030955618;9783030955601
We present lambda(L) a statically typed lambda-calculus with languages as first-class citizens. In lambda(L), languages can be defined and used to execute programs and, furthermore, they also can be bound to variables, passed to functions, and returned by functions, among other operations. Moreover, code of different languages can safely interact thanks to pre-and post-conditions that are checked at run-time. We provide a type system and an operational semantics for lambda(L). We observe that Milner's type safety is too strong a property in this context, as programmers may intentionally execute unsafe languages. We then identify a type safety theorem that is specific to the domain of multi-language programming, and we prove that lambda(L) satisfies this theorem.
暂无评论