333 search results - page 52 / 67 » A code generation framework for Java component-based designs |
110
click to vote
TPHOL
2007
IEEE
15 years 6 months ago
2007
IEEE
We propose a method to extract purely functional contents from logical inductive types in the context of the Calculus of Inductive Constructions. This method is based on a mode con...
84
Voted
FDL
2005
IEEE
15 years 6 months 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...
127
click to vote
EMSOFT
2011
Springer
14 years 5 days ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
126
Voted
ICFP
2006
ACM
16 years 12 days ago
2006
ACM
This paper introduces a pattern for almost compositional functions over recursive data types, and over families of mutually recursive data types. Here "almost compositional&q...
108
click to vote
ICS
2000
Tsinghua U.
15 years 4 months ago
2000
Tsinghua U.
Processing and analyzing large volumes of data plays an increasingly important role in many domains of scienti c research. High-level language and compiler support for developing ...