John C. Cherniavsky - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 30 from 30

2009

Invited Speaker AbstractsStephen Grossberg, Kurt VanLehn, Cristina Conati, Arthur C. Graesser, John C. Cherniavsky. aaaifs 2009: [doi]

2006

2002

Editorial - A Survey of Research Questions for Intelligent Information Systems in EducationJohn C. Cherniavsky, Elliot Soloway. jiis, 18(1):5-14, 2002.

The Learning GridJohn C. Cherniavsky, Eric Hamilton. cscl 2002: 733-734 [doi]

1998

Research in Learning Technologies: A USA PerspectiveJohn C. Cherniavsky, Nora H. Sabelli. ifip3 1998: 199-216

1996

Fatal Defect: Chasing Killer Computer Bugs, by Peterson. Computer-Related Risks, by Neumann. Safeware: System Safety and Computers, by LevesonJohn C. Cherniavsky. tis, 12(1), 1996.

1991

On Weyuker s Axioms For Software Complexity MeasuresJohn C. Cherniavsky, Carl H. Smith. TSE, 17(6):636-638, 1991. [doi]

1989

Validation Through TestingJohn C. Cherniavsky. ICSE 1989: 354

1988

Inductive Inference: An Abstract ApproachJohn C. Cherniavsky, Mahendran Velauthapillai, Richard Statman. colt 1988: 251-266 [doi]

1987

A Recursion Theoretic Approach to Program TestingJohn C. Cherniavsky, Carl H. Smith. TSE, 13(7):777-784, 1987.

1985

NSF newsJohn C. Cherniavsky. sigact, 16(4):46-47, 1985. [doi]

1982

Validation, Verification, and Testing of Computer SoftwareW. Richards Adrion, Martha A. Branstad, John C. Cherniavsky. ACM Comput. Surv., 14(2):159-192, 1982.

Review of "Unsolvable classes of quantificational formulas" by Harry R. Lewis. Addison-Wesley 1979. and "The decision problem: solvable classes of quantificational formulas" by Burton Dreben and Warren D. Goldfarb. Addison-Wesley 1979John C. Cherniavsky. sigact, 14(4):70-71, 1982. [doi]

On Transforming Control StructuresJohn Keohane, John C. Cherniavsky, Peter B. Henderson. SICOMP, 11(2):268-286, 1982.

1981

High level language programming environmentsMarvin V. Zelkowitz, W. Richards Adrion, Alfred V. Aho, Daniel G. Bobrow, Thomas Cheatham, John C. Cherniavsky, Susan L. Gerhart, Gordon Lyon, John Nestor, Terry A. Straeter. sigsoft, 6(4):36-51, 1981. [doi]

1980

Validation, Verification, and Testing for the Individual ProgrammerMartha A. Branstad, John C. Cherniavsky, W. Richards Adrion. Computer, 13(12):24-30, 1980. [doi]

Review of "Checking Landau's "Grundlagen" in the Automath system" by L. S. Van Benthem Jutting. Mathematical Centre 1979.: "First order dynamic logic" by David Harel. Springer-Verlag 1979. And "A programming logic" by Robert L. Constable and Michael J. O'Donnell. Winthrop Publishers 1978John C. Cherniavsky. sigact, 12(3):14-16, 1980. [doi]

1979

A Complete and Consistent Hoare Axiomatics for a Simple Programming LanguageJohn C. Cherniavsky, Samuel N. Kamin. JACM, 26(1):119-128, 1979. [doi]

A Note Concerning Top Down Program Development and Restricted Exit Control StructuresJohn C. Cherniavsky, John Keohane, Peter B. Henderson. ipl, 9(1):8-12, 1979.

On Finding Test Data Sets for Loop Free ProgramsJohn C. Cherniavsky. ipl, 8(2):106-107, 1979.

Review of "TORIX: a programming system for operations on vectors and matrices over arbitrary fields and of variable size, vol 1" by S. G. Van Der Meulen and M. Veldhorst. Mathematisch Centrum 1978John C. Cherniavsky. sigact, 11(2):6, 1979. [doi]

Review of "The theory of computer science: a programming approach" by J. M. Brady. Chapman and HallJohn C. Cherniavsky. sigact, 11(1):17, 1979. [doi]

Review of "Automated theorem proving: a logical basis" by D. W. Loveland. North-Holland Publishing Co. 1977John C. Cherniavsky. sigact, 11(1):18, 1979. [doi]

1977

A Complete and Consistent Hoare Semantics for a Simple Programming LanguageJohn C. Cherniavsky, Samuel N. Kamin. POPL 1977: 1-9

Book review departmentJohn C. Cherniavsky. sigact, 9(1):15, 1977. [doi]

1976

Simple Programs Realize Exactly Presberger FormulasJohn C. Cherniavsky. SICOMP, 5(4):666-677, 1976.

1975

Function iteration logics and flowchart schemataJohn C. Cherniavsky. computing, 14(3):285-312, 1975. [doi]

1973

The Complexity of Some Non-Classical LogicsJohn C. Cherniavsky. focs 1973: 209-213

1972

Representing Program Schemes in LogicJohn C. Cherniavsky, Robert L. Constable. focs 1972: 27-39

Sign in or sign up to see more results.

runs on WebDSL