Statically Checkable Pattern Abstractions

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 32, Issue 8, 1997, Pages 75-82

  Fähndrich, Manuel ^a   Boyland, John ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b Carnegie Mellon University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0346616752     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/258949.258957     Document Type: Article

References (14)

1. William E. Aitken and John H. Reppy. Abstract value constructors. In ACM SIGPLAN Workshop on ML and its Applications, pages 1-11. 1992.
2. John Boyland, Charles Farnum, and Susan L. Graham. Attributed transformational code generation for dynamic compilers. In R. Giegerich and S. L. Graham, editors, Code Generation - Concepts, Tools, Techniques. Workshops in Computer Science, pages 227-254. Springer-Verlag, Berlin, 1992.
3. John Tang Boyland. Descriptional Composition of Compiler Components. PhD thesis, University of California, Berkeley, 1996. Available as technical report UCB//CSD-96-916.
4. F. Warren Burton and Robert D. Cameron. Pattern matching with abstract data types. Journal of Functional Programming, 3(2):171-190, April 1993.
5. Martin Erwig. Active patterns. In 8th International Workshop on the Implementation of Function Languages. 1996.
6. Charles Farnum. Pattern-based languages for prototyping compiler optimizers. PhD thesis, Computer Science Division - EECS, University of California, Berkeley, December 1990. Available as technical report UCB//CSD-90-608.
7. Ferenc Gécseg and Magnus Steinby. Tree Automata. Akadémiai Kiadó, Budapest, 1984.
8. Reinhold Heckmann. A functional language for the specification of complex tree transformations. In Harald Ganzinger, editor, European Symposium on Programming (ESOP '88), volume 300 of Lecture Notes in Computer Science, pages 175-190. Springer-Verlag, Berlin, 1988.
9. Christoph M. Hoffmann and Michael J. O'Donnell. Pattern matching in trees. Journal of the ACM, 29(1):68-95, January 1982.
10. Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. The MIT Press, Cambridge, MA, 1990.
11. Pedro Palao Gostanza, Ricardo Peña, and Manuel Núñez. A new look at pattern matching in abstract data types. In Proceedings of the ACM SIGPLAN Internation Conference on Functional Programming (ICFP '96), ACM SIGPLAN Notices, 31(6):110-121, 1996.
12. Christian Queinnec and Jean-Marie Geffroy. Partial evaluation applied to symbolic pattern matching with intelligent backtrack. In Workshop for Static Analysis. October 1992.
13. P. Sestoft. ML pattern match compilation and partial evaluation. In O. Danvy, R. Gluck, and P. Thiemann, editors, Partial Evaluation. International Seminar. Selected Papers, pages 446-464. Springer-Verlag, Berlin, February 1996.
14. Philip Wadler. Views: A way for pattern matching to cohabit with data abstraction. In Conference Record of the Fourteenth ACM Symposium on Principles of Programming Languages, pages 307-313. ACM Press, New York, January 1987.