Geometry of synthesis: A structured approach to VLSI design

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

Volumn , Issue , 2007, Pages 363-375

  Ghica, Dan R ^a  

^a UNIVERSITY OF BIRMINGHAM   (United Kingdom)

Author keywords

Game semantics; Geometry of interaction; Syntactic control of interference; Synthesis

Indexed keywords

COMPUTATIONAL GEOMETRY; GAME THEORY; LOGIC DESIGN; REYNOLDS EQUATION; SEMANTICS; SYNTACTICS;

GAME SEMANTICS; GEOMETRY OF INTERACTION; SYNTACTIC CONTROL OF INTERFERENCE;

VLSI CIRCUITS;

EID: 34548200740     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1190216.1190269     Document Type: Conference Paper

References (27)

1. ABRAMSKY, S. A structural approach to reversible computation. Theor. Comput. Sci, 347, 3 (2005), 441-464.
2. ABRAMSKY, S., AND COECKE, B. A categorical semantics of quantum protocols. In LICS (2004), pp. 415-425.
3. ABRAMSKY, S., JAGADEESAN, R., AND MALACARIA, P. Full abstraction for PCF. Inf. Comput. 163, 2 (2000), 409-470.
4. ABRAMSKY, S., AND MCCUSKER, G. Linearity, sharing and state: a fully abstract game semantics for idealized algol with active expressions. Electr. Notes Theor. Comput. Sci. 3 (1996).
5. BJESSE, P., CLAESSEN, K., SHEERAN, M., AND SINGH, S. Lava: hardware design in haskell. In ICFP '98: Proceedings of the third ACM SIGPLAN international conference, on Functional programming (New York, NY, USA, 1998), ACM Press, pp. 174-184.
6. BROOKES, S. D. Full abstraction for a shared variable parallel language. In LICS (1993), pp. 98-109.
7. CELOXICA. Handel-C Reference Manual, http ://www.celoxica. com.
8. DANOS, V., HERBELIN, H., AND REGNIER, L. Game semantics & abstract machines. In LICS (1996), pp. 394-405.
9. GHICA, D. R., AND MCCUSKER, G. Reasoning about idealized Algol using regular languages. In ICALP (2000), pp. 103-115.
10. GIRARD, J.-Y. Geometry of interaction (abstract), in CONCUR (1994), p. 1.
11. HYLAND, J. M. E., AND ONG, C.-H. L. On full abstraction for PCF: I, II, and III. Inf. Comput. 163, 2 (2000), 285-408.
12. MACKIE, I. The Geometry of Implementation. PhD thesis, Imperial College, University of London, 1994.
13. MACKIE, I. The geometry of interaction machine. In POPL (1995), pp. 198-208.
14. MYCROFT, A., AND SHARP, R. A statically allocated parallel functional language. In ICALP (2000), pp. 37-4-8.
15. MYCROFT, A., AND SHARP, R. Higher-level techniques for hardware description and synthesis. STTT 4, 3 (2003), 271-297.
16. O'HEARN, P. W. On bunched typing. J. Fund. Program. 13, 4 (2003), 747-796.
17. O'HEARN, P. W., POWER, J., TAKEYAMA, M., AND TENNENT, R. D. Syntactic control of interference revisited. Theor. Comput. Sci. 228, 1-2(1999), 211-252.
18. O'HEARN, P. W., AND PYM, D. J. The logic of bunched implications. Bulletin of Symbolic Logic 5, 2 (1999), 215-244.
19. REYNOLDS, J. C. Syntactic control of interference. In POPL (1978), pp. 39-46.
20. REYNOLDS, J. C. The essence of Algol. In Proceedings of the 1981 International Symposium on Algorithmic Languages (1981), North-Holland, pp. 345-372.
21. REYNOLDS, J. C. Using functor categories to generate intermediate code. In POPL (1995), pp. 25-36.
22. REYNOLDS, J. C. Toward a grainless semantics for shared-variable concurrency. In FSTTCS (2004), pp. 35-48.
23. SHAPIRO, D. M. Globally-asynchronous locally-synchronous systems. PhD thesis, Stanford University, 1984.
24. SYNOPSYS INC. SystemC Reference Manual, http://www. systeme.org
25. THE UNIVERSITY OF MANCHESTER ADVANCED PROCESSOR TECHNOLOGIES. BALSA Reference Manual, http : //www.cs. manchester.ac.uk/apt/projects/tools/balsa/.
26. VAN BERKEL, K. Handshake circuits: An intermediary between communicating pmcesses and VLSI. PhD thesis, Technische Univ., Eindhoven (Netherlands)., 1992.
27. VAN BERKEL, K., KESSELS, J., RONCKEN, M., SAEIJS, R., AND SCHALU, F. The VLSI-programming language Tangram and its translation into handshake circuits. In EURO-DAC '91: Proceedings of the conference on Eumpean design automation (Los Alamitos, CA, USA, 1991), IEEE Computer Society Press, pp. 384-389.