Sciweavers

272 search results - page 34 / 55
» Programming languages capturing complexity classes
Sort
View
CERA
2002
134views more  CERA 2002»
15 years 16 days ago
Graph Grammar Based Product Family Modeling
: Many industries are shifting from mass production to mass customization, which demands quick response to the needs of individual customers with high quality and low costs. The de...
Xuehong Du, Jianxin Jiao, Mitchell M. Tseng
CORR
1999
Springer
110views Education» more  CORR 1999»
15 years 11 days ago
Managing Object-Oriented Integration and Regression Testing
Abstract: Systematic testing of object-oriented software turned out to be much more complex than testing conventional software. Especially the highly incremental and iterative deve...
Mario Winter
ECOOP
1999
Springer
15 years 5 months ago
Foundations for Virtual Types
Virtual types have been proposed as a notation for generic programming in object-oriented languages—an alternative to the more familiar mechanism of parametric classes. The trade...
Atsushi Igarashi, Benjamin C. Pierce
114
Voted
GPCE
2004
Springer
15 years 6 months ago
Taming Macros
Scheme includes a simple yet powerful macro mechanism. Using macros, programmers can easily extend the language with new kinds of expressions and definitions, thus abstracting ove...
Ryan Culpepper, Matthias Felleisen
203
Voted
ASPLOS
2009
ACM
16 years 1 months ago
Complete information flow tracking from the gates up
For many mission-critical tasks, tight guarantees on the flow of information are desirable, for example, when handling important cryptographic keys or sensitive financial data. We...
Mohit Tiwari, Hassan M. G. Wassel, Bita Mazloom, S...