精品第3章 东京湾临海部工业地帯におけ 4.pptVIP

* * * * * * * * * * * Jungloids dealt with types only; no semantics. Broadway used library annotations to provide analysis information that is difficult for a compiler to infer, but didn’t use semantic annotations in the same sense as we do. Speckle is an example of a language that tightly integrated specifications with a programming language. * * * PLDI 2006 Troy A. Johnson - Purdue PLDI 2006 * Context-Sensitive Domain-Independent Algorithm Composition and Selection Troy A. Johnson and Rudi Eigenmann Purdue University Troy A. Johnson - Purdue PLDI 2006 * Motivation Increasing programmer productivity Typical language approach: increase abstraction do more with less code reduce development and maintenance costs Domain-specific languages / libraries (DSLs) provide a high level of abstraction e.g., a domain is biology, chemistry, physics But, typically a sequence of library calls is needed Troy A. Johnson - Purdue PLDI 2006 * A Library Designers Problem Consider two useful library procedures A and B reluctant to include a third procedure C that simply calls A and B (i.e., has composite behavior) though convenient, C is redundant including only C prevents reuse of A and B including all three, for all such procedures, greatly increases library size and complexity Library user is expected to compose sequences of “fundamental” calls Troy A. Johnson - Purdue PLDI 2006 * A Library Users Problem Novice users dont know these call sequences procedures documented independently tutorials provide a few example call sequences not an exhaustive list may need adjusted for each calling context User knows what they want to do, but not how to do it. Can the compiler let them specify a goal, and insert an appropriate call sequence? Yes! Troy A. Johnson - Purdue PLDI 2006 * Our Solution Add an “abstract algorithm” (AA) construct to the programming language named and defined (once) by the programmer definition is the programmers goal called like a procedure (any number of times) compil