728 search results - page 43 / 146 » Bristlecone: Language Support for Robust Software Applicatio... |
101
click to vote
APLAS
2005
ACM
15 years 5 months ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
134
click to vote
Publication
MetaML is a statically typed functional programming language with special support for program generation. In addition to providing the standard features of contemporary programming...
INFSOF
2002
14 years 11 months ago
2002
Many tasks in software engineering can be characterized as source to source transformations. Design recovery, software restructuring, forward engineering, language translation, pl...
ICAC
2006
IEEE
15 years 5 months ago
2006
IEEE
— The need for self-healing software to respond with a reactive, proactive or preventative action as a result of changes in its environment has added the non-functional requireme...
ITICSE
2004
ACM
15 years 5 months ago
2004
ACM
Web technologies have become essential in the computing curricula. However, teaching a Web development course to computing students is challenging because of large bodies of knowl...