5415 search results - page 754 / 1083 » The Implementation of Functional Programming Languages |
137
click to vote
WSC
2000
15 years 8 months ago
2000
We summarize progress achieved on an interactive land use VRML application (ILUVA) with servlet assist. The purpose of this application is to enable one to take a virtual land are...
170
click to vote
ENTCS
2006
15 years 6 months ago
2006
The project Safe Pointers by Graph Transformation at the University of York has developed a method for specifying the shape of pointer-data structures by graph reduction, and a st...
192
click to vote
ENTCS
2006
15 years 6 months ago
2006
Scannerless generalized parsing techniques allow parsers to be derived directly from unified, declarative specifications. Unfortunately, in order to uniquely parse existing progra...
167
click to vote
RV
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We address the problem of runtime monitoring for hard realtime programs—a domain in which correctness is critical yet has largely been overlooked in the runtime monitor...
191
click to vote
FORTE
2009
15 years 4 months ago
2009
Abstract. Building complex component-based software systems, for instance communication systems based on the Click, Coyote, Appia, or Dream frameworks, can lead to subtle assemblag...