16844 search results - page 422 / 3369 » How to Design Programs |
187
Voted
IUI
1998
ACM
15 years 11 months ago
1998
ACM
Software architectures are high-level design representations of software systems that focus on composition of software components and how those components interact. Software tures...
224
Voted
APAQS
2001
IEEE
15 years 10 months ago
2001
IEEE
Code-patterns are statically recurring structure specific to a programming language. It can be parallel to aid in designing software systems for solving particular problems. Contr...
165
Voted
HIS
2007
15 years 8 months ago
2007
Chemical information processing posseses a variety of valuable properties, such as, robustness, concurrency, faulttolerance, and evolvability. However, it is difficult to predict...
174
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
This paper exhibits the power of programming with dependent types by dint of embedding three domain-specific languages: Cryptol, a language for cryptographic protocols; a small da...
205
Voted
PADL
2001
Springer
15 years 11 months ago
2001
Springer
The goal of this paper is to test if a programming methodology based on the declarative language A-Prolog and the systems for computing answer sets of such programs, can be succes...