Generic pickling and minimization

Electronic Notes in Theoretical Computer Science

Volumn 148, Issue 2, 2006, Pages 79-103

  Tack, Guido ^a   Kornstaedt, Leif ^a   Smolka, Gert ^a  

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

Distributed programming; Graph minimization; Marshalling; Persistence; Pickling; Serialization

Indexed keywords

ALGORITHMS; COMPUTER SCIENCE; COMPUTER SYSTEMS PROGRAMMING; DATA STRUCTURES; DISTRIBUTED COMPUTER SYSTEMS;

DISTRIBUTED PROGRAMMING; GRAPH MINIMIZATION; MARSHALLING; PERSISTENCE; SERIALIZATION;

INFORMATION SERVICES;

EID: 33644912596     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.11.041     Document Type: Conference Paper

References (29)

1. M. Abadi, L. Cardelli, B. Pierce, and D. Rémy Dynamic typing in polymorphic languages Journal of Functional Programming 5 1995
2. The Alice Project, Available from http://www.ps.uni-sb.de/alice (2005), homepage at the Programming Systems Lab, Universität des Saarlandes, Saarbrücken
3. Appel, A.W. and M.J.R. Gonçalves, Hash-consing garbage collection, Technical Report CS-TR-412-93, Princeton University (1993)
4. Appel, A.W. and D.B. MacQueen, Separate compilation for Standard ML, in: Proceedings of the ACM SIGPLAN '94 conference on Programming language design and implementation (1994), pp. 13-23
5. Birrell, A., M. Jones and E. Wobber, A simple and efficient implementation of a small database, in: Proceedings of the eleventh ACM Symposium on Operating systems principles (1987), pp. 149-154
6. Brunklaus, T. and L. Kornstaedt, A virtual machine for multi-language execution, Technical report, Programming Systems Lab, Universität des Saarlandes, Saarbrücken (2002), available from http://www.ps.uni-sb.de/ Papers/abstracts/multivm.html
7. C.J. Cheney A nonrecursive list compacting algorithm Communications of the ACM 13 1970 677 678
8. Duchier, D., L. Kornstaedt, C. Schulte and G. Smolka, A higher-order module discipline with separate compilation, dynamic linking, and pickling, Technical report, Programming Systems Lab, DFKI, and Universität des Saarlandes, Saarbrücken, Germany (1998), Available from http://www.ps.uni-sb.de/Papers/
9. A. Fuggetta, G.P. Picco, and G. Vigna Understanding code mobility IEEE Transactions on Software Engineering 24 1998 342 361
10. M. Habib, C. Paul, and L. Viennot Partition refinement techniques: An interesting algorithmic tool kit International Journal of Foundations of Computer Science 10 1999 147 170
11. R.H. Halstead Multilisp: a language for concurrent symbolic computation ACM Transactions on Programming Languages and Systems (TOPLAS) 7 1985 501 538
12. M.P. Herlihy, and B. Liskov A value transmission method for abstract data types ACM Transactions on Programming Languages and Systems (TOPLAS) 4 1982 527 551
13. J. Hopcroft An n log n algorithm for minimizing states in a finite automaton Z. Kohavi A. Paz Theory of Machines and Computations 1971 189 196
14. Java Object Serialization Specification Available from http://java.sun.com/j2se/1.4/docs/guide/serialization 2001
15. A. Kennedy Pickler combinators Journal of Functional Programming 14 2004 727 739
16. Leifer, J.J., G. Peskine, P. Sewell and K. Wansbrough, Global abstraction-safe marshalling with hash types., in: C. Runciman and O. Shivers, editors, ICFP (2003), pp. 87-98
17. Microsoft Microsoft.NET Available from http://www.microsoft.com/net 2003
18. G. Nelson Systems Programming with Modula-3 Prentice Hall Series in Innovative Technology 1991 Prentice Hall Englewood Cliffs, New Jersey
19. J. Niehren, J. Schwinghammer, and G. Smolka A concurrent lambda calculus with futures B. Gramlich 5th International Workshop on Frontiers in Combining Systems Lecture Notes in Computer Science 3717 2005 248 263
20. The OCaml programming system Available from http://www.ocaml.org 2005
21. The Python programming language Available from http://www.pyhton.org 2005
22. R. Riggs, J. Waldo, A. Wollrath, and K. Bharat Pickling state in the java system USENIX, Computing Systems 9 1996 291 312
23. Rossberg, A., The definition of Standard ML with packages, Technical report, Universität des Saarlandes, Saarbrücken, Germany (2005), http://www.ps.uni-sb.de/Papers/
24. A. Rossberg, D. Le Botlan, G. Tack, T. Brunklaus, and G. Smolka H.-W. Loidl Alice ML through the looking glass Trends in Functional Programming Volume 5 2005
25. Z. Shao, and A.W. Appel A type-based compiler for Standard ML PLDI '95: Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation 1995 116 129
26. Shao, Z., C. League and S. Monnier, Implementing typed intermediate languages, in: ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming (1998), pp. 313-323
27. R.E. Tarjan Depth first search and linear graph algorithms SIAM Journal on Computing 1 1972 146 160
28. The Mozart Consortium The Mozart programming system Available from http://www.mozart-oz.org 2005
29. World Wide Web Consortium Simple Object Access Protocol (SOAP) Available from http://www.w3.org/TR/SOAP 2000