Sciweavers

1552 search results - page 179 / 311
» Concepts and Concept-Oriented Programming
Sort
View
ACTA
2006
104views more  ACTA 2006»
15 years 6 months ago
Safe projections of binary data sets
Abstract Selectivity estimation of a boolean query based on frequent itemsets can be solved by describing the problem by a linear program. However, the number of variables in the e...
Nikolaj Tatti
ITICSE
1997
ACM
15 years 10 months ago
Recursion and grammars for CS2
A programming exercise on recursion in which students create drawings of simple and bracketed Lindenmayer Systems provides a context for exploring additional computer science conc...
Viera K. Proulx
AAAI
1997
15 years 7 months ago
From MiniMax to Manhattan
The thinking process for playing chess by computer is significantly different from that used by humans. Although computer hardware and software have evolved considerably, computer...
T. Anthony Marsland, Yngvi Björnsson
ENTCS
2010
173views more  ENTCS 2010»
15 years 6 months ago
A Boolean Algebra of Contracts for Assume-guarantee Reasoning
Contract-based design is an expressive paradigm for a modular and compositional specification of programs. It is in turn becoming a fundamental concept in mainstream industrial co...
Yann Glouche, Paul Le Guernic, Jean-Pierre Talpin,...
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