Ph.D. Thesis Proposal: Programming Language Support For Separation Of Concerns Doug Orleans April 19, 2002 Abstract
Add to Reading List

Document Date: 2015-01-31 11:52:21

File Size: 153,18 KB

Position

ProgrammingLanguage

RadioStation

Technology

SocialTag

• Predicate logic
• Formal methods
• Functional programming
• GNUstep
• Objective-C
• Lambda calculus
• Infinite loop
• First-order logic
• Append
• Software engineering