1166 search results - page 65 / 234 » Programming Language Support for Adaptable Wearable Computin... |
SIGADA
1998
Springer
14 years 1 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...
LICS
1989
IEEE
14 years 16 days 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...
CORR
2010
Springer
13 years 9 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...
GPCE
2007
Springer
14 years 3 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...
GRID
2003
Springer
14 years 2 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...