Sciweavers

1185 search results - page 114 / 237
» Implementing Functional Languages: a tutorial
Sort
View
110
Voted
SE
2008
15 years 3 months ago
Monaco: A DSL Approach for Programming Automation Systems
: In this paper we present the language Monaco, which is a DSL for programming event-based, reactive automation solutions. The main purpose of the language is to bring automation p...
Herbert Prähofer, Dominik Hurnaus, Roland Sch...
191
Voted
PADL
2011
Springer
14 years 5 months ago
Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming
Modern challenges led to a design of a wide range of programming models for reactive, parallel and concurrent programming, but these are often t to encode in general purpose langua...
Tomas Petricek, Don Syme
APLAS
2010
ACM
15 years 2 months ago
JNI Light: An Operational Model for the Core JNI
Abstract. Through foreign function interfaces (FFIs), software components in different programming languages interact with each other in the same address space. Recent years have w...
Gang Tan
DLOG
2004
15 years 3 months ago
Extended Query Facilities for Racer and an Application to Software-Engineering Problems
er reports on a pragmatic query language for Racer. The abstract syntax and semantics of this query language is defined. Next, the practical relevance of this query language is sh...
Volker Haarslev, Ralf Möller, Ragnhild Van De...
124
Voted
PLDI
2010
ACM
15 years 12 months ago
Ur: Statically-Typed Metaprogramming with Type-Level Record Computation
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
Adam Chlipala