5415 search results - page 244 / 1083 » The Implementation of Functional Programming Languages |
PADL
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Interactive programming is a method for implementing programming languages that supports an interactive, exploratory style of program development and debugging. The basic...
104
click to vote
ECOOP
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. An object-oriented language that permits changing the behavior of a class or of a single object is said to support computational reflection. Existing reflective facilitie...
CPHYSICS
2008
15 years 1 months ago
2008
We present wannier90, a program for calculating maximally-localised Wannier functions (MLWF) from a set of Bloch energy bands that may or may not be attached to or mixed with othe...
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Automated software verification is a very active field of research which has made enormous progress both in theoretical and practical aspects. Recently, an important amou...
103
click to vote
COMPSAC
2007
IEEE
15 years 7 months ago
2007
IEEE
In recent years, TinyOS and nesC are gradually becoming the de facto software development platform for implementing sensor applications. However, developing sensor applications is...