Search Results - "Program Analysis and Debugging"
-
1
Authors: M. G. Rakesh
Source: Proceedings of the 3rd India software engineering conference. :13-22
-
2
Authors: et al.
Contributors: et al.
Source: The Journal of Logic Programming. :351-384
Subject Terms: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.2: Constraint and logic languages, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Logic, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 02 engineering and technology, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.1: Debugging aids, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]
Access URL: https://inria.hal.science/hal-00756832v1
-
3
Authors: Kim Hazelwood
Source: Synthesis Lectures on Computer Architecture ISBN: 9783031006043
-
4
Authors:
Contributors:
Subject Terms: [INFO.INFO-OH] Computer Science [cs]/Other [cs.OH], PROGRAMMING ENVIRONMENTS, DEBUGGING, LOGIC PROGRAMMING, PROGRAM ANALYSIS, SURVEY ARTICLE
File Description: application/pdf
Access URL: https://inria.hal.science/inria-00074067v1
-
5
-
6
-
7
Authors:
Source: Programming the UNIXTM System ISBN: 9781349073733
-
8
-
9
-
10
-
11
Authors: et al.
Contributors: et al.
Source: RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
Universitat Politècnica de València (UPV)
instnameSubject Terms: Técnicas de transformación de código, Llenguatge de programació, Program Analysis and Debugging, Lenguaje de programación, Grado en Ingeniería Informática-Grau en Enginyeria Informàtica, Reducción de trazas de ejecución mediante técnicas de fragmentación, Formal Methods in Software Engineering, Programming Languages, Mètodes Formals en Enginyeria del Programari, Depuración de programas, Anàlisi i depuració de programes, LENGUAJES Y SISTEMAS INFORMATICOS
File Description: application/pdf
-
12
-
13
Authors:
Source: Journal of Electronic Testing; Jun1999, Vol. 14 Issue 3, p273-293, 21p
-
14
Authors:
Source: ACM Transactions on Computational Logic; Oct2024, Vol. 25 Issue 4, p1-38, 38p
-
15
Authors: et al.
Source: Proceedings of the 9th Workshop on Hot Topics in Dependable Systems. :1-6
-
16
-
17
Authors: et al.
Source: Software Quality Journal; Jun2024, Vol. 32 Issue 2, p567-605, 39p
Subject Terms: COMPUTER science students, SYSTEMS software, USER experience
-
18
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Contents
File Description: application/pdf
-
19
Authors: Kim Hazelwood
Resource Type: eBook.
Subjects: Microprocessors, Computer architecture
Categories: TECHNOLOGY & ENGINEERING / Electronics / Circuits / General, COMPUTERS / Computer Architecture
-
20
Authors: Khoo, Yit Phang
Nájsť tento článok vo Web of Science
Full Text Finder