Skip to main content
SpringerLink
Log in

Software Geography: Physical and Economic Aspects

  • Conference paper
  • First Online:
SOFSEM 2001: Theory and Practice of Informatics (SOFSEM 2001)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2234))

  • 287 Accesses

Abstract

To the metaphors of software engineering and software physics can be added that of software geography. We examine the physical and economic aspects of the Software Glacier (once an innocent bubbling brook, now a vast frozen mass of applications imperceptibly shaping both the Hardware Shelf below and User City above), Quantum Planet (colonization of which could be fruitful if and when it becomes practical), and Concurrency Frontier (an inaccessible land with rich resources that we project will be exploited to profound economic effect during the next half-century).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. G. Blelloch and J. Greiner. Parallelism in sequential functional languages. In Proc. Symposium on Functional Programming and Computer Architecture, pages 226–237, June 1995.

    Google Scholar 

  2. H. Devarajan, D. Hughes, G. Plotkin, and V. Pratt. Full completeness of the multiplicative linear logic of Chu spaces. In Proc. 14th Annual IEEE Symp. on Logic in Computer Science, pages 234–243, Trento, Italy, July 1999.

    Google Scholar 

  3. L. Fajstrup, E. Goubault, and M. Raussen. Detecting deadlocks in concurrent systems. In Proc. of CONCUR’98, volume 1466 of Lecture Notes in Computer Science, pages 332–347. Springer-Verlag, 1998.

    Google Scholar 

  4. J.-Y. Girard. Linear logic. Theoretical Computer Science, 50:1–102, 1987.

    Article  MATH  MathSciNet  Google Scholar 

  5. E. Goubault and T.P. Jensen. Homology of higher dimensional automata. In Proc. of CONCUR’92, volume 630 of Lecture Notes in Computer Science, pages 254–268, Stonybrook, New York, August 1992. Springer-Verlag.

    Google Scholar 

  6. E. Goto et al. Esaki diode high speed logical circuits. IRE Trans. Elec. Comp., EC-9:25–29, 1960.

    Article  Google Scholar 

  7. E. (editor) Goubault. Geometry and concurrency. Mathematical Structures in Computer Science, special issue, 10(4):409–573 (7 papers), August 2000.

    Google Scholar 

  8. L. Grover. Quantum mechanics helps in searching for a needle in a haystack. Physical Review Letters, 79(2), 1997.

    Google Scholar 

  9. B. Josephson. Possible new effects in superconductive tunnelling. Physics Letters, 1:251–253, 1962.

    Article  MATH  Google Scholar 

  10. M. Nielsen, G. Plotkin, and G. Winskel. Petri nets, event structures, and domains, part I. Theoretical Computer Science, 13:85–108, 1981.

    Article  MATH  MathSciNet  Google Scholar 

  11. V.R. Pratt. Modeling concurrency with geometry. In Proc. 18th Ann. ACM Symposium on Principles of Programming Languages, pages 311–322, January 1991.

    Google Scholar 

  12. V.R. Pratt. Chu spaces and their interpretation as concurrent objects. In J. van Leeuwen, editor, Computer Science Today: Recent Trends and Developments, volume 1000 of Lecture Notes in Computer Science, pages 392–405. Springer-Verlag, 1995.

    Google Scholar 

  13. V.R. Pratt. Higher dimensional automata revisited. Math. Structures in Comp. Sci., 10:525–548, 2000.

    Article  MATH  MathSciNet  Google Scholar 

  14. J. Rose and G. Steele. C*: An extended c language for data parallel programming. In Proceedings Second International Conference on Supercomputing, volume 2, pages 2–16, May 1987.

    Google Scholar 

  15. P. Shor. Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM J. Computing, 26:1484–1509, 1997.

    Article  MATH  MathSciNet  Google Scholar 

  16. K. von Klitzing, G. Dorda, and M. Pepper. New method for high-accuracy determination of the fine-structure constant based on quantized hall resistance. Physical Review Letters, 45(6):494–497, 1980.

    Article  Google Scholar 

  17. G. Winskel. Events in Computation. PhD thesis, Dept. of Computer Science, University of Edinburgh, 1980.

    Google Scholar 

  18. G. Winskel. An introduction to event structures. In Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, REX’88, volume 354 of Lecture Notes in Computer Science, Noordwijkerhout, June 1988. Springer-Verlag.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Stanford University, USA

    Vaughan R. Pratt

  2. Tiqit Computers, USA

    Vaughan R. Pratt

Authors
  1. Vaughan R. Pratt
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Computer Science, University of Wroclaw, Przesmyckiego 20, 51-151, Wroclaw, Poland

    Leszek Pacholski

  2. Fac. of Mathematics, Physics, and Informatics, Inst. of Informatics, Comenius Univ., Mlynská dolina, 84248, Bratislava, Slovakia

    Peter Ružička

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Pratt, V.R. (2001). Software Geography: Physical and Economic Aspects. In: Pacholski, L., Ružička, P. (eds) SOFSEM 2001: Theory and Practice of Informatics. SOFSEM 2001. Lecture Notes in Computer Science, vol 2234. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45627-9_30

Download citation

  • DOI: https://doi.org/10.1007/3-540-45627-9_30

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42912-8

  • Online ISBN: 978-3-540-45627-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation