Sciweavers

1021 search results - page 69 / 205
» Design of a Specification Language by Abstract Syntax Engine...
Sort
View
ESOP
2008
Springer
15 years 1 months ago
Practical Programming with Higher-Order Encodings and Dependent Types
Abstract. Higher-order abstract syntax (HOAS) refers to the technique of representing variables of an object-language using variables of a meta-language. The standard first-order a...
Adam Poswolsky, Carsten Schürmann
OOPSLA
2009
Springer
15 years 5 months ago
Reimagining literate programming
In this paper we describe Ginger, a new language with first class support for literate programming. Literate programming refers to a philosophy that argues computer programs shou...
James Dean Palmer, Eddie Hillenbrand
EXPERT
2006
84views more  EXPERT 2006»
14 years 11 months ago
Infrastructure for Engineered Emergence on Sensor/Actuator Networks
abstraction rules that hide the complexity of systems of components. We've begun this process in the domain of sensor/actuator network applications, observing that in manyappl...
Jacob Beal, Jonathan Bachrach
EDO
2000
Springer
15 years 2 months ago
The Importance of Resource Management in Engineering Distributed Objects
: Middleware technologies such as CORBA and DCOM have been developed as a means of tackling heterogeneity and complexity problems inherent in distributed systems. However, more wor...
Hector A. Duran-Limon, Gordon S. Blair
ECMDAFA
2008
Springer
110views Hardware» more  ECMDAFA 2008»
15 years 1 months ago
Testing Metamodels
Abstract. In this paper, we deal with errors in metamodels. Metamodels define the abstract syntax of modeling languages. They play a central role in the Model-Driven Architecture. ...
Daniel A. Sadilek, Stephan Weißleder