581 search results - page 42 / 117 » On the Verifiability of Programs Written in the Feature Lang... |
SC
1993
ACM
13 years 11 months ago
1993
ACM
Vienna Fortran is a machine-independent language extension of Fortran, which is based upon the Single-Program-Multiple-Data SPMD paradigm and allows the user to write programs f...
ICFP
2000
ACM
14 years 3 days ago
2000
ACM
This paper describes FC++: a rich library supporting functional programming in C++. Prior approaches to encoding higher order functions in C++ have suffered with respect to polymo...
IEE
2002
13 years 7 months ago
2002
Abstract. This paper describes an approach to providing object persistence in object-oriented programming languages without modifying the run-time system or the language itself. By...
APSEC
2002
IEEE
14 years 21 days ago
2002
IEEE
Many methods for XML processing have been proposed in the last few years. One popular approach is to process XML documents by using existing programming languages. Another popular...
COOPIS
2004
IEEE
13 years 11 months ago
2004
IEEE
A new class of embedded devices is emerging that has a mixture of traditional firmware (written in C/C++) with an embedded virtual machine (e.g., Java). For these devices, the main...