16844 search results - page 317 / 3369 » How to Design Programs |
160
click to vote
GPCE
2005
Springer
16 years 7 days ago
2005
Springer
Previous work on semantics-based multi-stage programming (MSP) language design focused on homogeneous designs, where the generating and the generated languages are the same. Homoge...
155
click to vote
KBSE
2010
IEEE
15 years 5 months ago
2010
IEEE
During code review tasks, comparing two versions of a hardware design description using existing program differencing tools such as diff is inherently limited because existing p...
174
click to vote
TOPLAS
2010
15 years 5 months ago
2010
Pict project. We define two levels of abstraction as calculi with precise semantics: a low-level Nomadic π calculus with migration and location-dependent communication, and a hig...
191
click to vote
ECOWS
2007
Springer
16 years 27 days ago
2007
Springer
Service-Oriented Architectures (SOAs) are increasingly deployed to achieve distributed systems that are modular, flexible and extensible. Designing for a SOA can be difficult, how...
191
click to vote
WICSA
2008
15 years 8 months ago
2008
Software modularization activities remain without the guidance of formal theories and models. According to Baldwin and Clark's [1] design rule theory (DRT) , modular architec...