Streams that compose using macros that oblige

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 2012, Pages 141-150

  Hirzel, Martin ^a   Gedik, Buǧra ^a  

^a IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

Languages; Performance; Reliability

Indexed keywords

DIRECTED GRAPHS; DISTRIBUTED COMPUTER SYSTEMS; QUERY LANGUAGES; RELIABILITY;

COMPOSITE OPERATORS; CONTRACTUAL OBLIGATIONS; DISTRIBUTED SYSTEMS; EMERGING APPLICATIONS; LANGUAGE FEATURES; PERFORMANCE; PRE AND POST CONDITIONS; STREAM PROCESSING;

MULTICORE PROGRAMMING;

EID: 84857814974     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2103746.2103772     Document Type: Conference Paper

References (24)

1. http://www.ni.com/gettingstarted/labviewbasics/.
2. R. Avnur and J. M. Hellerstein. Eddies: Continuously adaptive query processing. In International Conference on Management of Data (SIGMOD), 2000.
3. C. Chambers, A. Raniwala, F. Perry, S. Adams, R. R. Henry, R. Bradshaw, and N. Weizenbaum. FlumeJava: Easy, efficient data-parallel pipelines. In Programming Language Design and Implementation (PLDI), 2010.
4. W. D. Clinger and J. Rees. Macros that work. In Principles of Programming Languages (POPL), 1991.
5. R. Culpepper and M. Felleisen. Fortifying macros. In International Conference on Functional Programming (ICFP), 2010.
6. M. D. Ernst, G. J. Badros, and D. Notkin. An empirical analysis of C preprocessor use. Transactions on Software Engineering (TSE), 2002.
7. R. B. Findler and M. Felleisen. Contracts for higher-order functions. In International Conference on Functional Programming (ICFP), 2002.
8. G. Graefe. Encapsulation of parallelism in the Volcano query processing system. In Int. Conf. on Management of Data (SIGMOD), 1990.
9. D. Gregor, J. Järvi, J. Siek, B. Stroustrup, G. Dos Reis, and A. Lumsdaine. Concepts: Linguistic support for generic programming in C++. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 2006.
10. M. Hirzel, H. Andrade, B. Gedik, V. Kumar, G. Losa, M. Mendell, H. Nasgaard, R. Soulé, and K.-L. Wu. SPL Streams Processing Language Specification. Technical Report RC24897, IBM, 2009.
11. M. Hirzel and R. Grimm. Jeannie: Granting Java native interface developers their wishes. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA).
12. S. S. Huang and Y. Smaragdakis. Expressive and safe static reflection with MorphJ. In Programming Language Design and Implementation (PLDI), 2008.
13. E. Kohlbecker, D. P. Friedman, M. Felleisen, and B. Duba. Hygienic macro expansion. In LISP and Functional Programming (LFP), 1986.
14. E. A. Lee and D. G. Messerschmitt. Synchronous data flow. Proceedings of the IEEE, 1987.
15. L. Page, S. Brin, R. Motwani, and T. Winograd. The PageRank citation ranking: Bringing order to the web. Stanford Digital Libraries Working Paper, 1998.
16. C. Ré, J. Siméon, and M. F. Fernàndez. A complete and efficient algebraic compiler for XQuery. In International Conference on Data Engineering (ICDE), 2006.
17. N. Seyfer, R. Tibbetts, and N. Mishkin. Capture fields: Modularity in a stream-relational event processing language. In Conference on Distributed Event-Based Systems (DEBS), 2011.
18. R. Soulé, M. Hirzel, R. Grimm, B. Gedik, H. Andrade, V. Kumar, and K.-L. Wu. A universal calculus for stream processing languages. In European Symposium on Programming (ESOP), 2010.
19. W. Taha and T. Sheard. Multi-stage programming with explicit annotation. Partial Evaluation and Program Manipulation (PEPM), 1997.
20. W. Thies, M. Karczmarek, and S. Amarasinghe. StreamIt: A language for streaming applications. In Compiler Construction (CC), 2002.
21. S. Tobin-Hochstadt, V. St-Amour, R. Culpepper, M. Flatt, and M. Felleisen. Languages as libraries. In Programming Language Design and Implementation (PLDI), 2011.
22. D.Weise and R. Crew. Programmable syntax macros. In Programming Language Design and Implementation (PLDI), 1993.
23. E. Westbrook, M. Ricken, J. Inoue, Y. Yao, T. Abdelatif, and W. Taha. Mint: Java multi-stage programming using weak separability. In Programming Language Design and Implementation (PLDI), 2010.
24. Y. Yu,M. Isard, D. Fetterly,M. Budiu, Ú. Erlingsson, P. K. Gunda, and J. Currey. DryadLINQ: A system for general-purpose distributed dataparallel computing using a high-level language. In Operating Systems Design and Implementation (OSDI), 2008.