3056 search results - page 102 / 612 » Compiling Embedded Languages |
ECAI
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Temporally extended goals are used in planning to express safety and maintenance conditions. Linear temporal logic is the language often used to express temporally extend...
VEE
2010
ACM
13 years 8 months ago
2010
ACM
Programmers who develop Web applications often use dynamic scripting languages such as Perl, PHP, Python, and Ruby. For general purpose scripting language usage, interpreter-based...
MODELS
2010
Springer
13 years 6 months ago
2010
Springer
This paper describes a novel approach to embedded software development. Instead of using a combination of C code and modeling tools, we propose an approach where modeling and progr...
DAGSTUHL
2003
13 years 9 months ago
2003
Abstract. Hydra is a domain-specific language for designing digital circuits, which is implemented by embedding within Haskell. Many features required for hardware specification ...
PLDI
1999
ACM
14 years 16 days ago
1999
ACM
Previous selective dynamic compilation systems have demonstrated that dynamic compilation can achieve performance improvements at low cost on small kernels, but they have had diff...