10072 search results - page 134 / 2015 » Composition of Model Programs |
73
Voted
MODELS
2009
Springer
15 years 9 months ago
2009
Springer
ing Complex Languages through Transformation and Composition Jendrik Johannes, Steffen Zschaler, Miguel A. Fernández, Antonio Castillo, Dimitrios S. Kolovos and Richard F. Paige ...
122
Voted
VL
2003
IEEE
15 years 8 months ago
2003
IEEE
Web services are increasingly attracting attention for their ability to provide standard interfaces to heterogeneous distributed services. Through these standard interfaces, it is...
93
Voted
CAV
2007
Springer
15 years 8 months ago
2007
Springer
We propose a shape analysis that adapts to some of the complex composite data structures found in industrial systems-level programs. Examples of such data structures include “cyc...
112
Voted
PLDI
2006
ACM
15 years 8 months ago
2006
ACM
Progressing beyond the productivity of present-day languages appears to require using domain-specific knowledge. Domain-specific languages and libraries (DSLs) proliferate, but ...
141
Voted
TSC
2010
15 years 29 days ago
2010
—The need for integration of all types of client and server applications that were not initially designed to interoperate is gaining popularity. One of the reasons for this popul...