Sciweavers

2625 search results - page 270 / 525
» The development of the Emerald programming language
Sort
View
MDAFA
2004
Springer
116views Hardware» more  MDAFA 2004»
16 years 3 hour ago
"Weaving" MTL Model Transformations
Model transformations are the core of the MDA approach to software development. As specified by the OMG, model transformations should act on any kind of model of any kind of metamo...
Raul Silaghi, Frédéric Fondement, Al...
POPL
2001
ACM
16 years 7 months ago
Nomadic pict: correct communication infrastructure for mobile computation
This paper addresses the design and verification of infrastructure for mobile computation. In particular, we study language primitives for communication between mobile agents. The...
Asis Unyapoth, Peter Sewell
ICSE
2004
IEEE-ACM
16 years 6 months ago
Design of Large-Scale Polylingual Systems
Abstract. Building systems from existing applications written in two or more languages is common practice. Such systems are polylingual. Polylingual systems are relatively easy to ...
Mark Grechanik, Don S. Batory, Dewayne E. Perry
ICFP
2003
ACM
16 years 6 months ago
Compiler implementation in a formal logical framework
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present proach based on the use of higher-order abstract syntax and...
Jason Hickey, Aleksey Nogin, Adam Granicz
VL
2008
IEEE
105views Visual Languages» more  VL 2008»
16 years 1 months ago
What's in a mashup? And why? Studying the perceptions of web-active end users
Mashups – web applications that integrate multiple data sources or APIs into one interface – have attracted considerable attention in recent years. The availability of web-bas...
Nan Zang, Mary Beth Rosson