Sciweavers

3335 search results - page 495 / 667
» A Unified Approach to Modeling and Programming
Sort
View
PADL
1999
Springer
15 years 10 months ago
MCORBA: A CORBA Binding for Mercury
MCORBA is a binding to the CORBA distributed object framework for the purely declarative logic/functional language Mercury. The binding preserves the referential transparency of th...
David Jeffery, Tyson Dowd, Zoltan Somogyi
CHI
2007
ACM
15 years 10 months ago
Aligning development tools with the way programmers think about code changes
Software developers must modify their programs to keep up with changing requirements and designs. Often, a conceptually simple change can require numerous edits that are similar b...
Marat Boshernitsan, Susan L. Graham, Marti A. Hear...
ASPLOS
1991
ACM
15 years 10 months ago
Code Generation for Streaming: An Access/Execute Mechanism
Access/execute architectures have several advantages over more traditional architectures. Because address generation and memory access are decoupled from operand use, memory laten...
Manuel E. Benitez, Jack W. Davidson
ECOOP
2008
Springer
15 years 8 months ago
Prototyping and Composing Aspect Languages
Domain specific aspect languages (DSALs) are becoming more popular because they can be designed to represent recurring concerns in a way that is optimized for a specific domain. H...
Wilke Havinga, Lodewijk Bergmans, Mehmet Aksit
CPAIOR
2010
Springer
15 years 4 months ago
Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving
Finite domain propagation solving, the basis of constraint programming (CP) solvers, allows building very high-level models of problems, and using highly specific inference encapsu...
Peter J. Stuckey