View from the fringe of the fringe

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2144, Issue , 2001, Pages 1-12

  Johnson, Steven D ^a  

^a INDIANA UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; SYSTEMS ANALYSIS;

AUTOMATED REASONING; DESIGN PRACTICE; FORMAL ANALYSIS; INTERACTIVE METHODS; ON CURRENTS;

THEOREM PROVING;

EID: 84892354832     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44798-9_1     Document Type: Conference Paper

References (11)

1. Jon Barwise and Lawrence Moss. Vicious Circles. CLSI Publications, Stanford, California, 1996.
2. Carl B. Boyer. The History of the Calculus and its Conceptual Development. Dover, New York, 1959. Republished 1949 edition.
3. Joshua D. Guttman, John D. Ramsdell, and Mitchell Wand. VLISP: a verified implementation of Scheme. Lisp and Symbolic Computation, 8:5–32, 1995.
4. C. A. R. Hoare. Theories of programming: Top-down and bottom-up meeting in the middle. In Jeannette M. Wing, Jim Woodcock, and Jim Davies, editors, FM’99 - Formal Methods. LNCS 1708.
5. A. J. C. Hurkens, Monica McArthur, Yiannis M. Moschovakis, Lawrence S. Moss, and Glen T. Whitney. The logic of recursive equations. The Journal of Symbolic Logic, 63(2):451–478, June 1998.
6. Steven D. Johnson. The Indiana University System Design Methods Laboratory home page. http://www.cs.indiana.edu/hmg/hmg.html.
7. Steven D. Johnson. Manipulating logical organization with system factorizations. In M. Leeser and G. Brown, editors, Hardware Specification, Verification and Synthesis: Mathematical Aspects, pages 260–281. LNCS 408, 1989.
8. Steven D. Johnson. A workshop on formal methods education: an aggregation of opinions. International Journal on Software Tools for Technology Transfer, 2(3):203–207, November 1999.
9. Steven D. Johnson and Paul S. Miner. Integrated reasoning support in system design: design derivation and theorem proving. In Hon F. Li and David K. Probst, editors, Advances in Hardware Design and Verification (CHARME’97), pages 255–272. Chapman-Hall, 1997.
10. Lawrence S. Moss. Recursion and corecursion have the same equational logic. Theoretical Computer Science, to appear in 2002. http://math.indiana.edu/home/moss/home.html.
11. Amir Pnueli. These quotations are extracted from transparencies for invited talks at PODC’90, FM’99, and CAV’00. They can be found at http://www.wisdom.weizmann.ac.il/˜amir/invited-talks.html.