6740 search results - page 399 / 1348 » Using Classification as a Programming Language |
115
Voted
TOOLS
2000
IEEE
15 years 8 months ago
2000
IEEE
It is impossible to implement one tool that supports all activities in software development. Thus, it is important to focus on integration of different tools, ideally giving devel...
142
Voted
LPAR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
144
click to vote
COMPASS
1991
15 years 7 months ago
1991
: We give the main definitions and results of a new framework for algebraic specifications: the framework of label algebras. The main idea underlying our approach is that the sem...
146
click to vote
ASPLOS
2010
ACM
15 years 7 months ago
2010
ACM
We present an all-optical approach to constructing data networks on chip that combines the following key features: (1) Wavelengthbased routing, where the route followed by a packe...
131
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
— This paper demonstrates how two different sets of powerful domain specific language features can be specified and deployed as composable language extensions. These extensions...