273 search results - page 33 / 55 » Extensible Grammars for Language Specialization |
143
click to vote
ICFP
2012
ACM
13 years 4 months ago
2012
ACM
Programming with dependent types is a blessing and a curse. It is a blessing to be able to bake invariants into the definition of datatypes: we can finally write correct-by-cons...
117
click to vote
PEPM
1999
ACM
15 years 6 months ago
1999
ACM
Aspect-oriented programming addresses the problem that the implementation of some properties such as error handling and optimization tends to cross-cut the basic functionality. To...
135
click to vote
ER
2010
Springer
14 years 12 months ago
2010
Springer
Traditional information search in which queries are posed against a known and rigid schema over a structured database is shifting towards a Web scenario in which exposed schemas ar...
103
click to vote
ICEIS
2002
IEEE
15 years 6 months ago
2002
IEEE
: Frameworks can be seen as generative since they are intended and well suited to be used as the foundation for the development of a number of applications in the domain captured b...
129
click to vote
BMCBI
2007
15 years 2 months ago
2007
Background: Evolutionary analysis provides a formal framework for comparative analysis of genomic and other data. In evolutionary analysis, observed data are treated as the termin...