skip to main content
article

Galois: high assurance software

Published: 19 September 2004 Publication History

Abstract

As a company, Galois began its life with the mission simply of supplying functional programming services, building tools and products for clients, leveraging the productivity of functional languages and the abilities of our engineers. This went well, except that our business lacked focus. Every new job had to be found and sold from scratch. We realized that we had to focus on a specific market if we wanted to achieve stability and growth. We chose High Assurance Software as it was a natural fit both for our technology and our expertise, further narrowing our attention to information assurance (IA).

Cited By

View all
  • (2006)Parameterized objects and inducements to explore functional programmingProceedings of the 44th annual ACM Southeast Conference10.1145/1185448.1185628(770-771)Online publication date: 10-Mar-2006
  • (2007)Implementation-Oriented Secure ArchitecturesProceedings of the 40th Annual Hawaii International Conference on System Sciences10.1109/HICSS.2007.264Online publication date: 3-Jan-2007

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM SIGPLAN Notices
ACM SIGPLAN Notices  Volume 39, Issue 9
ICFP '04
September 2004
254 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/1016848
Issue’s Table of Contents
  • cover image ACM Conferences
    ICFP '04: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
    September 2004
    264 pages
    ISBN:1581139055
    DOI:10.1145/1016850
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 19 September 2004
Published in SIGPLAN Volume 39, Issue 9

Check for updates

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)1
  • Downloads (Last 6 weeks)1
Reflects downloads up to 16 Dec 2024

Other Metrics

Citations

Cited By

View all
  • (2006)Parameterized objects and inducements to explore functional programmingProceedings of the 44th annual ACM Southeast Conference10.1145/1185448.1185628(770-771)Online publication date: 10-Mar-2006
  • (2007)Implementation-Oriented Secure ArchitecturesProceedings of the 40th Annual Hawaii International Conference on System Sciences10.1109/HICSS.2007.264Online publication date: 3-Jan-2007

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media