1597 search results - page 166 / 320 » A Design Method for Object-Oriented Programming |
134
click to vote
TLDI
2010
ACM
16 years 3 days ago
2010
ACM
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
122
click to vote
TLDI
2009
ACM
16 years 3 days ago
2009
ACM
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...
118
click to vote
SBACPAD
2003
IEEE
15 years 8 months ago
2003
IEEE
Collective communication is very useful for parallel applications, especially those in which matrix and vector data structures need to be manipulated by a group of processes. This...
102
click to vote
PLILP
1994
Springer
15 years 7 months ago
1994
Springer
We present the design and the implementation of clp(B): a boolean constraint solver inside the Constraint Logic Programming paradigm. This solver is based on local propagation meth...
134
click to vote
CASES
2003
ACM
15 years 8 months ago
2003
ACM
Knowing the Worst-Case Execution Time (WCET) of a program is necessary when designing and verifying real-time systems. A correct WCET analysis method must take into account the po...