Approaches to improved program validation through programming language design /
| Main Author: | Kosy, Donald W. |
|---|---|
| Corporate Author: | Rand Corporation |
| Format: | Book |
| Language: | English |
| Published: |
[Santa Monica] :
[Rand Corp.],
[1972]
|
| Subjects: |
Similar Items
Program style, design, efficiency, debugging, and testing.
by: Van Tassel, Dennie, 1939-
Published: (1974)
by: Van Tassel, Dennie, 1939-
Published: (1974)
Program style, design, efficiency, debugging, and testing /
by: Van Tassel, Dennie, 1939-
Published: (1978)
by: Van Tassel, Dennie, 1939-
Published: (1978)
Proving programs correct /
by: Anderson, Robert Brockett, 1941-
Published: (1979)
by: Anderson, Robert Brockett, 1941-
Published: (1979)
Algorithmic program debugging /
by: Shapiro, Ehud Y.
Published: (1983)
by: Shapiro, Ehud Y.
Published: (1983)
Debugging BASIC programs /
by: Cecil, David R.
Published: (1984)
by: Cecil, David R.
Published: (1984)
Intention-based diagnosis of errors in novice programs /
by: Johnson, W. Lewis
Published: (1986)
by: Johnson, W. Lewis
Published: (1986)
Software defect removal /
by: Dunn, Robert H., 1929-
Published: (1984)
by: Dunn, Robert H., 1929-
Published: (1984)
The art of software testing /
by: Myers, Glenford J., 1946-
Published: (1979)
by: Myers, Glenford J., 1946-
Published: (1979)
Algorithmic program debugging /
by: Shapiro, Ehud Y.
Published: (1983)
by: Shapiro, Ehud Y.
Published: (1983)
JOSTRAN : an interactive JOSS dialect for writing and debugging FORTRAN programs /
by: Graham, W. R.
Published: (1970)
by: Graham, W. R.
Published: (1970)
Aladdin : an assembly language assertion-driven debugging interpreter /
by: Hardin, David Alan
Published: (1977)
by: Hardin, David Alan
Published: (1977)
DISPLAY, a guide to the TRACK FORTRAN debugging system /
by: MacNeilage, D. C.
Published: (1968)
by: MacNeilage, D. C.
Published: (1968)
Language constructs for message handling in decentralized programs /
by: Gord, Elaine P.
Published: (1974)
by: Gord, Elaine P.
Published: (1974)
Troubleshooting Java : read, debug, and optimize JVM applications /
by: Spilcă, Laurenţiu
Published: (2023)
by: Spilcă, Laurenţiu
Published: (2023)
Abend debugging for COBOL programmers /
by: Boar, Bernard H., 1947-
Published: (1976)
by: Boar, Bernard H., 1947-
Published: (1976)
Perl debugged /
by: Scott, Peter
Published: (2001)
by: Scott, Peter
Published: (2001)
Debugging C++ : troubleshooting for programmers /
by: Pappas, Chris H., 1953-
Published: (2000)
by: Pappas, Chris H., 1953-
Published: (2000)
Troubleshooting Java : read, debug, and optimize JVM applications /
by: Spilcă, Laurenţiu
Published: (2023)
by: Spilcă, Laurenţiu
Published: (2023)
Practical debugging in C++ /
by: Ford, Ann R.
Published: (2002)
by: Ford, Ann R.
Published: (2002)
Experiences in conducting a review of statistical program packages.
by: Van Riesen, Kathleen
Published: (1975)
by: Van Riesen, Kathleen
Published: (1975)
Proceedings /
Published: (1975)
Published: (1975)
The ECSS II language for simulating computer systems /
by: Kosy, Donald W.
Published: (1975)
by: Kosy, Donald W.
Published: (1975)
Code optimization : effective memory usage /
by: Kaspersky, Kris
Published: (2003)
by: Kaspersky, Kris
Published: (2003)
Computer simulation programming languages : perspective and prognosis /
by: Kiviat, Philip J.
Published: (1967)
by: Kiviat, Philip J.
Published: (1967)
Debugging system 360/370 programs using OS and VS storage dumps /
by: Rindfleisch, Daniel H., 1940-
Published: (1976)
by: Rindfleisch, Daniel H., 1940-
Published: (1976)
Debugging techniques for IBM PC BASIC /
by: Corsi, Jerome R.
Published: (1986)
by: Corsi, Jerome R.
Published: (1986)
System design from provably correct constructs : the beginnings of true software engineering /
by: Martin, James, 1933-2013
Published: (1985)
by: Martin, James, 1933-2013
Published: (1985)
SAS/C source level debugger user's guide /
Published: (1988)
Published: (1988)
The debugger's handbook : UCSD and Apple Pascal /
by: McKelvey, James
Published: (1986)
by: McKelvey, James
Published: (1986)
Block programming in O/S-360 assembly code /
by: Balzer, R. M.
Published: (1968)
by: Balzer, R. M.
Published: (1968)
A Multiprocessor execution profiler /
Published: (1989)
Published: (1989)
Why programs fail : a guide to systematic debugging /
by: Zeller, Andreas
Published: (2009)
by: Zeller, Andreas
Published: (2009)
Why programs fail : a guide to systematic debugging /
by: Zeller, Andreas
Published: (2006)
by: Zeller, Andreas
Published: (2006)
Linux Kernel Debugging : Leverage Proven Tools and Advanced Techniques to Effectively Debug Linux Kernels and Kernel Modules.
by: Billimoria, Kaiwan N.
Published: (2022)
by: Billimoria, Kaiwan N.
Published: (2022)
Directions.
Published: (1983)
Published: (1983)
Reverse engineering code with IDA Pro /
Published: (2008)
Published: (2008)
Cloud native Pytest tips and tricks from ground zero /
Published: (2022)
Published: (2022)
Software debugging for microcomputers /
by: Bruce, Robert C., 1951-
Published: (1980)
by: Bruce, Robert C., 1951-
Published: (1980)
Programming and languages : module P /
by: Gear, C. William (Charles William), 1935-
Published: (1978)
by: Gear, C. William (Charles William), 1935-
Published: (1978)
A PL/I approach to programming languages /
by: Katzan, Harry
Published: (1972)
by: Katzan, Harry
Published: (1972)