<--- Back to Details
First PageDocument Content
Software engineering / Computer programming / Computing / Source code / Type theory / Holism / Subroutine / University of Cambridge Computer Laboratory / Macro / Constant / Variable / HindleyMilner type system
Date: 2016-08-17 18:18:26
Software engineering
Computer programming
Computing
Source code
Type theory
Holism
Subroutine
University of Cambridge Computer Laboratory
Macro
Constant
Variable
HindleyMilner type system

TRANSFORMING MULTIPLE-RECORD DATA INTO SINGLE-RECORD FORMAT WHEN NUMBER OF VARIABLES IS LARGE. David Izrael, Abt Associates Inc., Cambridge, MA David Russo, Independent Consultant ABSTRACT In one large survey project eac

Add to Reading List

Source URL: www.ats.ucla.edu

Download Document from Source Website

File Size: 37,54 KB

Share Document on Facebook

Similar Documents

Vinta: Verification with INTerpolation and Abstract iterpretation Arie Gurfinkel Software Engineering Institute Carnegie Mellon University

Vinta: Verification with INTerpolation and Abstract iterpretation Arie Gurfinkel Software Engineering Institute Carnegie Mellon University

DocID: 1xVXp - View Document

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, #  1 Swarm Verification Techniques Gerard J. Holzmann, Rajeev Joshi, and Alex Groce

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, # 1 Swarm Verification Techniques Gerard J. Holzmann, Rajeev Joshi, and Alex Groce

DocID: 1xVM2 - View Document

Education Sharif University of Technology, Tehran, Iran BS in Computer Engineering - Software Engineering Grade Point Average: 18.29 out of 20 GPAKasra Edalat Nejad

Education Sharif University of Technology, Tehran, Iran BS in Computer Engineering - Software Engineering Grade Point Average: 18.29 out of 20 GPAKasra Edalat Nejad

DocID: 1xVB5 - View Document

Improving the Adoption of Software Engineering Practices Through Persuasive Interventions Von der Fakultät für Elektrotechnik und Informatik der Gottfried Wilhelm Leibniz Universität Hannover zur Erlangung des Grades

Improving the Adoption of Software Engineering Practices Through Persuasive Interventions Von der Fakultät für Elektrotechnik und Informatik der Gottfried Wilhelm Leibniz Universität Hannover zur Erlangung des Grades

DocID: 1xVuG - View Document

Software Bug Localization with Markov Logic Sai Zhang Congle Zhang  Department of Computer Science & Engineering

Software Bug Localization with Markov Logic Sai Zhang Congle Zhang Department of Computer Science & Engineering

DocID: 1xVks - View Document