Sciweavers

4139 search results - page 16 / 828
» Designing and Implementing Combinator Languages
Sort
View
APL
1993
ACM
14 years 1 months ago
APROL: a Hybrid Language
This paper describes the design of a hybrid language which combines the features of an array processing language and lisp dialect in a consistent and useful manner. This language,...
Dennis Holmes, John E. Howland
ICFEM
2009
Springer
14 years 4 months ago
Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...
Anil Madhavapeddy
ASPDAC
2005
ACM
102views Hardware» more  ASPDAC 2005»
13 years 11 months ago
A framework for automated and optimized ASIP implementation supporting multiple hardware description languages
— Architecture Description Languages (ADLs) are widely used to perform design space exploration for Application Specific Instruction Set Processors (ASIPs). While the design spa...
Oliver Schliebusch, Anupam Chattopadhyay, David Ka...
EUROMICRO
2009
IEEE
14 years 4 months ago
Developing Adaptable Components Using Dynamic Languages
— The usage of dynamic languages is increasing among developers. As components are static entities, the usage of scripting languages, which are usually dynamically typed and inte...
Didier Donsez, Kiev Gama, Walter Rudametkin
TOSEM
2002
69views more  TOSEM 2002»
13 years 9 months ago
Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designs
A "refinement" is a functionality addition to a software project that can affect multiple dispersed implementation entities (functions, classes, etc.). In this paper, we...
Yannis Smaragdakis, Don S. Batory