7661 search results - page 128 / 1533 » Languages and the Computing Profession |
239
click to vote
DISCO
1993
15 years 10 months ago
1993
ObjectMath is a high-level programming environment and modeling language for scientific computing which supports variants and graphical browsing in the environment and integrates o...
280
click to vote
Book
"These notes were prepared for use in the graduate course Computer Science 15–
814: Type Systems for Programming Languages at Carnegie Mellon University.
Their purpose is ...
158
click to vote
CCECE
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper presents a dynamic semantics for the parallel language HARPO/L, based on Reynolds’s grainless approach [1]. It shows that the approach scales to somewhat more sophist...
173
click to vote
ASM
2005
ASM
15 years 8 months ago
2005
ASM
Abstract. This paper provides a modular high-level design of the Common Language Runtime (CLR) architecture. Our design is given in terms act State Machines (ASMs) and takes the fo...