Skip navigation
Home
Browse
Communities
& Collections
Browse Items by:
Issue Date
Author
Title
Subject
Help
Sign on to:
My DSpace
Receive email
updates
Edit Profile
DSpace
JSPUI
DSpace preserves and enables easy and open access to all types of digital content including text, images, moving images, mpegs and data sets
Learn More
DSpace at MEDIU
Harvested articles مقالات مستوردة من مؤسسات وجامعات عالمية
MIT Items
Search
Search:
All of DSpace
Harvested articles مقالات مستوردة من مؤسسات وجامعات عالمية
MIT Items
for
Current filters:
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 1-10 of 28 (Search time: 0.004 seconds).
previous
1
2
3
next
Item hits:
Issue Date
Title
Author(s)
9-Oct-2013
Automatic Analysis of the Logical Structure of Programs
-
9-Oct-2013
KBEmacs: A Step Toward the Programmer's Apprentice
-
9-Oct-2013
A Hypothetical Monologue Illustrating the Knowledge Underlying Program Analysis
-
9-Oct-2013
GPRINT - A LISP Pretty Printer Providing Extensive User Format-Control Mechanism
-
9-Oct-2013
A System for Understanding Mathematical FORTRAN Programs
-
9-Oct-2013
Intelligent Assistance for Program Recognition, Design, Optimization, and Debugging
-
9-Oct-2013
System Validation via Constraint Modeling
-
9-Oct-2013
Optimization of Series Expressions: Part I: User's Manual for the Series Macro Package
-
9-Oct-2013
Optimization of Series Expressions: Part II: Overview of the Theory and Implementation
-
9-Oct-2013
The Programmer's Apprentice Project: A Research Overview
-
Discover
Author
8
Rich, Charles
3
Shrobe, Howard E.
2
Sussman, Gerald J.
1
Hewitt, Carl E.
Subject
3
compilation
3
functional programming
3
looping constructs
3
Programmer's Apprentice
3
programsoptimization
3
series expressions
2
automatic programming
2
clich'es
1
automated reasoning
1
constraints
.
next >
Date issued
28
2013