Software is discrete mathematics

ACM SIGPLAN Notices

Volumn 38, Issue 9, 2003, Pages 79-86

  Page, Rex L ^a  

^a University of Oklahoma   (United States)

Author keywords

Correctness proofs; Discrete mathematics; Formal methods; Functional programming; Predicate logic; Software engineering

Indexed keywords

COMPUTER SCIENCE; LOGIC PROGRAMMING; MATHEMATICAL PROGRAMMING; SOFTWARE ENGINEERING; THEOREM PROVING;

DISCRETE MATHEMATICS; FUNCTIONAL LANGUAGES; FUNCTIONAL PROGRAMMING;

COMPUTER SIMULATION LANGUAGES;

EID: 1442264213     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/944746.944713     Document Type: Conference Paper

References (13)

1. Barland, I., Felleisen, M. Kolaitis, P., and Vardi, M. TeachLogic Project, http://www.cs.rice.edu/~tlogic
2. Broda, K. Eisenbach, S. Khoshnevisan, H., and Vickers, S. Reasoned Programming, Prentice Hall, 1994.
3. Dean, C., and Hinchey, M. (eds.) Teaching and Learning Formal Methods, Academic Press, 1996.
4. Grassman, W., and Tremblay, J-P. Logic and Discrete Mathematics: A Computer Science Perspective, Prentice Hall, 1996.
5. Gries, D., and Schneider, F. A Logical Approach to Discrete Math, Springer-Verlag, 1993.
6. Hein, J. Discrete Structures, Logic, and Computability, 2nd Edition, Jones and Bartlett, 2003.
7. Hall, C., and O'Donnell, J. Discrete Mathematics with a Computer, Springer, 2000.
8. Huth, M., and Ryan, M. Logic in Computer Science: Modelling and Reasoning about Systems, Cambridge University Press, 2000.
9. Page, R. Beseme Project, http://www.cs.ou.edu/~beseme
10. Page, R. Functional programming ... and where you can put it, ACM SIGPLAN Notices 36, 9 (September 2001) 19-24.
11. Parnas, D. A software engineering program of lasting value, in Proceedings of AMAST 2000 (Iowa City IA, May 2000), Lecture Notes in Computer Science 1816, Springer, 2000.
12. Rosen, K. Discrete Mathematics and Its Applications, McGraw-Hill, 1999.
13. Wadler, P. Why no one uses functional languages, ACM SIGPLAN Notices 33, 8 (August 1998) 23-27.