Sciweavers

1312 search results - page 36 / 263
» Embedded contract languages
Sort
View
50
Voted
CORR
2010
Springer
46views Education» more  CORR 2010»
14 years 11 months ago
Beating the Productivity Checker Using Embedded Languages
Nils Anders Danielsson
DLS
2010
277views Languages» more  DLS 2010»
15 years 18 days ago
Factor: a dynamic stack-based programming language
Factor is a new dynamic object-oriented programming language. It began as an embedded scripting language and evolved to a mature application development language. The language has...
Sviatoslav Pestov, Daniel Ehrenberg, Joe Groff
135
Voted
SAMOS
2010
Springer
15 years 14 days ago
CLI-based compilation flows for the C language
Abstract--Embedded systems contain a wide variety of processors. Economical and technological factors favor systems made of a combination of diverse but programmable processors. So...
Erven Rohou, Andrea C. Ornstein, Marco Cornero
HOTOS
1997
IEEE
15 years 6 months ago
The Flux OS Toolkit: Reusable Components for OS Implementation
To an unappreciated degree, research both in operating systems andtheirprogramminglanguageshasbeen severely hampered by the lack of cleanly reusable code providing mundanelow-leve...
Bryan Ford, Kevin Van Maren, Jay Lepreau, Stephen ...