Search CORE

5 research outputs found

Teaching calculation and discrimination

Author: Abelson H.
Chandy K.M.
Cherniavsky J.C
David Gries
Gastercn
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

A Complete and Consistent Hoare Axiomatics for a Simple Programming Language

Author: COOK S.
COOPER D C
ERNIAVSKY J.C
John C. Cherniavsky
PATERSON M S
Samuel N. Kamin
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

Jump Minimization in Linear Time

Author: BERGE C.
CHERNIAVSKY J.C.
GAREY M.R.
KOSARAJU S.R.
M. V. S. Ramanath
MANATH M.V.
Marvin Solomon
PLESNIK J.
RAMANATH M.V.
RATA T.
VON GALLAI T.
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

The Complexity of the Equivalence Problem for Simple Programs

Author: AHO A.
BAKER B.
CHERNIAVSKY J.C.
CONSTABLE R.L.
Eitan M. Gurari
FISCHER M.
GURARI E M
KARP R
MATIIASEVIC Y
MEYER A.
Oscar H. Ibarra
S.
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

Coverage Criteria for State Based Specifications

Author: B. Korel
B. Korel
C.V. Ramamoorthy
D.R. Kuhn
E. Weyuker
E.J. Weyuker
G. Gonenc
G. Myers
H. Legard
H. Zhu
J. Borzovs
J. Offutt
J. Offutt
J.A. Jones
J.C. Cherniavsky
J.C. Huang
J.J. Chilenski
J.M. Atlee
J.S. Gourlay
K. Henninger
K. Sabnani
K.N. King
L. Briand
L. White
L.A. Clarke
L.A. Clarke
M. Weiser
M.R. Paige
P. Ammann
P. McMinn
R. Binder
R. Ferguson
R. Jasper
R.A. DeMillo
R.A. DeMillo
R.A. DeMillo
R.E. Fairley
S. Fujiwara
S. Kosaraju
S. Naito
S.A. Vilkomir
S.B. Akers
T. Chow
T.J. McCabe
Y.G. Kim
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/2008
Field of study

core

core