3827 search results - page 298 / 766 » The Epsilon Generation Language |
253
click to vote
POPL
2003
ACM
16 years 7 months ago
2003
ACM
We present a type theory for higher-order modules that accounts for many central issues in module system design, including translucency, applicativity, generativity, and modules a...
186
Voted
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
“Scrap Your Boilerplate” (SYB) is an established style of generic functional programming. The present paper reconstructs SYB within the Prolog language with the help of the un...
143
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
—Operations languages are used to write spacecraft operations procedures. The APPAREIL tool automates the process of generating program translators between operations languages, ...
126
click to vote
IPPS
2007
IEEE
16 years 28 days ago
2007
IEEE
We overview CASL, the CoGenT Architecture Specification Language, a mixed behavioral-structure architecture description language designed to facilitate fast prototyping and tool ...
165
click to vote
FDL
2005
IEEE
16 years 7 days ago
2005
IEEE
This paper outlines some fundamental concepts for the development of a system design framework based on standard notations and common CASE tools. We describe an environment for HW...