1166 search results - page 65 / 234 » Programming Language Support for Adaptable Wearable Computin... |
85
Voted
SIGADA
1998
Springer
15 years 6 months ago
1998
Springer
The requirements of High Integrity safety-critical, secure and mission-critical Software force developers to use specialised development techniques. Often the choice of computer l...
113
Voted
LICS
1989
IEEE
15 years 5 months ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...
110
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
We discuss the realization of evaluation strategies for the concurrent constraint-based functional language ccfl within the translation schemata when compiling ccfl programs into t...
128
Voted
GPCE
2007
Springer
15 years 8 months ago
2007
Springer
Over the past two decades, Scheme macros have evolved into a powerful API for the compiler front-end. Like Lisp macros, their predecessors, Scheme macros expand source programs in...
120
click to vote
GRID
2003
Springer
15 years 7 months ago
2003
Springer
With the advent of web services standards and a serviceoriented Grid architecture, it is foreseeable that competing as well as complimenting computational services will proliferat...