Sciweavers

16844 search results - page 28 / 3369
» How to Design Programs
Sort
View
CHARME
2001
Springer
98views Hardware» more  CHARME 2001»
14 years 2 months ago
Hardware Synthesis Using SAFL and Application to Processor Design
Abstract. We survey the work done so far in the FLaSH project (Functional Languages for Synthesising Hardware) in which the core ideas are (i) using a functional language SAFL to d...
Alan Mycroft, Richard Sharp
POPL
1992
ACM
14 years 2 months ago
Semantic Foundations of Jade
Jade is a language designed to support coarse-grain parallelism on both shared and distributed addressspace machines. Jade is data-oriented: a Jade programmer simply augments a se...
Martin C. Rinard, Monica S. Lam
ECOOP
1993
Springer
14 years 2 months ago
Integrating Independently-Developed Components in Object-Oriented Languages
Object-oriented programming promises to increase programmer productivity through better reuse of existing code. However, reuse is not yet pervasive in today’s object-oriented pro...
Urs Hölzle
APSEC
1999
IEEE
14 years 2 months ago
Testing, Reliability, and Interoperability Issues in the CORBA Programming Paradigm
CORBA (Common Object Request Broker Architecture) is widely perceived as an emerging platform for distributed systems development. In this paper, we discuss CORBA's testing, ...
Gang Xing, Michael R. Lyu
MSR
2006
ACM
14 years 4 months ago
Using evolutionary annotations from change logs to enhance program comprehension
Evolutionary annotations are descriptions of how source code evolves over time. Typical source comments, given their static nature, are usually inadequate for describing how a pro...
Daniel M. Germán, Peter C. Rigby, Margaret-...