2604 search results - page 221 / 521 » General constant expressions for system programming language... |
146
click to vote
ASPLOS
2008
ACM
15 years 7 months ago
2008
ACM
Recently, the number of cores on general-purpose processors has been increasing rapidly. Using conventional programming models, it is challenging to effectively exploit these core...
131
click to vote
TOOLS
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper summarises a tutorial entitled Analysis by Contract. Using fragments from a simple case study concerning a video store, the paper shows how a type model can provide the...
166
click to vote
IFIP
1998
Springer
15 years 10 months ago
1998
Springer
Electronic Commerce is a field of application that is distributed by nature where different parties share information and work concurrently and cooperatively on objects, potential...
149
click to vote
FLOPS
2004
Springer
15 years 11 months ago
2004
Springer
We propose pattern matching calculi as a refinement of λ-calculus that integrates mechanisms appropriate for fine-grained modelling of non-strict pattern matching. Compared with...
141
click to vote
APLAS
2004
ACM
15 years 11 months ago
2004
ACM
Modular programming enjoys many well-known advantages: readability, maintainability, separate development and compilation. However, the composition of modular units (components) s...