𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Types in a mixed language system

✍ Scribed by Ph. Darondeau; P. Le Guernic; M. Raynal

Publisher
Springer Netherlands
Year
1981
Tongue
English
Weight
452 KB
Volume
21
Category
Article
ISSN
0006-3835

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Type system in programming languages
Type system in programming languages
✍ Hui Jiang; Dong Lin; Xingyuan Zhang; Xiren Xie πŸ“‚ Article πŸ“… 2001 πŸ› Springer 🌐 English βš– 529 KB
Electronic circuit simulation in a mixed
Electronic circuit simulation in a mixed-language environment
✍ Vančo Litovski; Ε½eljko DimiΔ‡; Milunka DamnjanoviΔ‡; Ε½eljko Mrčarica πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 446 KB

Simulation of complex systems, that include analogue and digital circuitry and even non-electrical devices, may be simplified if libraries developed in different hardware description languages can be used in one design. This paper describes a method of co-simulation with Alecsis simulator/language e

A Type System for Object Initialization
A Type System for Object Initialization In the Java Bytecode Language (summary)
✍ Stephen N. Freund; John C. Mitchell πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 286 KB

In the standard Java implementation, a Java language program is compiled to Java bytecode and this bytecode is then interpreted by the Java Virtual Machine. Since bytecode may be written by hand, or corrupted during network transmission, the Java Virtual Machine contains a bytecode veri er that perf

A Language for Type-Free Algebra
A Language for Type-Free Algebra
✍ William S. Hatcher πŸ“‚ Article πŸ“… 1978 πŸ› John Wiley and Sons 🌐 English βš– 854 KB