Live Programming with Code Portals

Total Page:16

File Type:pdf, Size:1020Kb

Live Programming with Code Portals Live Programming with Code Portals Alexander Breckel and Matthias Tichy Institute of Software Engineering and Compiler Construction Ulm University, Germany {alexander.breckel,matthias.tichy}@uni-ulm.de Abstract a time. If developers identify a mistake when using such a Programming is often a cycle between programming activi- wizard, they typically need to start from scratch or go back ties and understanding the results of those activities. Hence, several steps, which makes performing refactorings a rather modern development environments support many different heavy-weight process. tools to increase the speed of development, e.g., for refac- Different approaches already exist which support live pre- toring or to visualize variable values or type information view of various development activities. For live-evaluation in a running program. However, current development en- of expressions, some approaches use a separate view [6], vironments provide these different tools in various ways, whereas others embed results directly under [10], beside [7], from wizards for refactorings with special preview pages, to or near the [1] respective expression in the source code view. tooltips and watch views for showing specific information. In previous work [3], we introduced code portals, a mech- In this paper, we present code portals as a generic technical anism to integrate arbitrary textual information into source concept to enable showing live and continuously updated in- code documents. Code portals provide a generic and ver- formation about the program and its state. We illustrate code satile way to provide both, live-evaluation for expressions, portals on three different types of programming languages, and live-previews for editor features, from right within the procedural, functional and homoiconic. A qualitative user main source code view. In contrast to other techniques of em- study shows that code portals and their applications are seen bedding additional information inside the source code view, helpful by users. A video demonstration can be found at: however, code portals maintain complete editability of em- https://goo.gl/PumhQR bedded content, while providing a low visual overhead and a handling already familiar to programmers. Integrated con- Keywords live evaluation, refactoring, function inlining, tent therefore can be selected, copied, and modified using code portals, source code editor existing text editing operations. This paper builds upon this previous work [3], where we 1. Introduction present how code portals can be utilized to present program- ming context and improve code comprehension. In this pa- Contemporary integrated development environments (IDEs) per, we extend our previous work on live-evaluation to three often provide, unlike the name suggests, only little integra- different types of programming languages (functional, im- tion between different editor features. Information like, for perative, homoiconic) to show the genericity of the code por- example, debugging state or code structure, is often accessed tal concept. Further, we show how code portals can be used through a multitude of visually and conceptually separate for live-previews of program refactorings, including meta- views, instead of being displayed within the main source programming in homoiconic languages. Finally, we present code view. Furthermore, in many cases this information a generic mechanism to enable live-previews using code por- needs to be requested and updated explicitly. tals for various typical editor features. Source code changes, like various types of refactorings, We have implemented all features presented in this paper are often implemented in wizards, which only provide spe- in a prototypical source code editor. Based on this imple- cific preview capabilities and only support one refactoring at mentation, we have furthermore performed an initial quali- tative usability study, which suggests that the presented tech- niques can be quickly grasped by programmers and help in Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and understanding and writing source code. the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, to republish, to post on servers, or to redistribute to lists, contact After an introduction to code portals in the next section, the Owner/Author(s). Request permissions from [email protected] or Publications Dept., ACM, Inc., fax +1 (212) 869-0481. we describe different types of live-information which can be CONF ’yy Month d–d, 20yy, City, ST, Country embedded into source code in Sections 3 and 4, and illustrate Copyright © 20yy held by owner/author(s). Publication rights licensed to ACM. ACM 978-1-nnnn-nnnn-n/yy/mm. $15.00 them with concrete examples. Section 5 provides a general- DOI: http://dx.doi.org/10.1145/nnnnnnn.nnnnnnn ization of these use-cases that facilitates live-previews for a instead open a code portal showing the definition of DB right wide set of editor features. In Sections 6 and 7, we present within the code of PersistentDB: our prototypical implementation of a standalone text editor, and initial results of a qualitative study. After a discussion of 1 class PersistentDB implementsDB{ related work in Section 8, we conclude and give an outlook 2 ···· on future work. 76 interfaceDB extends Serializable { 77 ····void store(String k, String v); 78 ····String retrieve(String k); 2. Code Portals 79} Existing programming editors support a wide variety of 3} ways to display additional information inside the main ... source code view. For example, many IDEs display API doc- 76 interfaceDB extends Serializable { umentation or compilation errors with tool-tips or overlays. 77 ····void store(String k, String v); While this in principle represents a non-intrusive way to dis- 78 ····String retrieve(String k); play optional information, the fact that tool-tips and similar 79} concepts obstruct the view on underlying code makes them unsuitable for a permanent display of live-evaluation results. Therefore, some tools [7, 10] with live-evaluation capabil- The code portal, visible at the top, is highlighted with a blue ities choose to embed live-information in between existing border and background, but otherwise uses the same font and source code locations. This minimizes the visual distance mono-space grid as the surrounding code. Line numbers are between evaluation results and respective code locations and adjusted to indicate where the content originates from. The clarifies the pairing of code and results in the case of mul- dotted area at the bottom represents the source region of the tiple simultaneous embeddings. However, these additional code portal further down in the file and is displayed using a embeddings are not part of the surrounding code document matching blue color. and cannot be selected and manipulated directly with exist- The Link between the source and destination area of ing editor operations. the portal is maintained, and modifications within a code Code portals follow a different approach. Similar to non- portal also affect the original code location, which inspired obstructive embeddings known from other tools, code por- the name portal. Conversely, changes to the original code tals provide a way to embed textual content into the source locations, e.g., when performing refactoring operations, are code document. However, the content is – character by char- also immediately visible within the code portal. This allows acter – integrated into the surrounding source code. This the programmer to extend the interface definition, or work makes it possible to select, copy, and in some cases even ma- on both locations in parallel without having to navigate back nipulate embedded content, just as if its characters were part and forth. of the original code document. Analysis tools, and the com- Unlike similar visualization mechanisms, code portals piler itself, though, can safely ignore all embedded content represent first-class citizens within a document and can to avoid syntactic or semantic errors. therefore be nested, which allows a composition of differ- To illustrate this, the following example, taken from [3], ent editor features. After creation, code portals can subse- shows a definition of an empty Java class PersistentDB, quently be moved, resized, closed, and have their contents which derives from an interface DB further down in the file: merged into the underlying code location. Merging works by replacing the code underneath a portal, which is empty in 1 class PersistentDB implementsDB{ the aforementioned example, with the code inside the portal. 2 ···· This has the effect that all visible characters stay in place 3} while the portal borders disappear: ... merge 76 interfaceDB extends Serializable { create 77 ····void store(String k, String v); abcdefghij abghefghij abghefghij 78 ····String retrieve(String k); 79} Here, a portal is created hiding the characters cd and show- ing the characters gh from further right in the string instead. Merging the portal replaces cd with gh. In order to implement the class PersistentDB, a pro- Portals are displayed by a combination of borders and grammer likely needs access to the interface definition of DB. colors. Rounded corners allow the user to distinguish be- This is normally achieved by opening a second editor view, tween different nesting levels and overlappings: or navigating back and forth between the corresponding code locations. With our approach, however, the programmer can abcdefghij abcdefghij abcdefghij In the left example, the green portal is nested within the blue Here, code portals were used to inline a function definition, portal. In the middle example, both portals are side-by-side, as will be further explained in Section 4. Note the consistent whereas the right example shows an inverted nesting. alignment of if, then and else, which would not have been Colors indicate linked code fragments of the same origin.
Recommended publications
  • Programming Paradigms & Object-Oriented
    4.3 (Programming Paradigms & Object-Oriented- Computer Science 9608 Programming) with Majid Tahir Syllabus Content: 4.3.1 Programming paradigms Show understanding of what is meant by a programming paradigm Show understanding of the characteristics of a number of programming paradigms (low- level, imperative (procedural), object-oriented, declarative) – low-level programming Demonstrate an ability to write low-level code that uses various address modes: o immediate, direct, indirect, indexed and relative (see Section 1.4.3 and Section 3.6.2) o imperative programming- see details in Section 2.3 (procedural programming) Object-oriented programming (OOP) o demonstrate an ability to solve a problem by designing appropriate classes o demonstrate an ability to write code that demonstrates the use of classes, inheritance, polymorphism and containment (aggregation) declarative programming o demonstrate an ability to solve a problem by writing appropriate facts and rules based on supplied information o demonstrate an ability to write code that can satisfy a goal using facts and rules Programming paradigms 1 4.3 (Programming Paradigms & Object-Oriented- Computer Science 9608 Programming) with Majid Tahir Programming paradigm: A programming paradigm is a set of programming concepts and is a fundamental style of programming. Each paradigm will support a different way of thinking and problem solving. Paradigms are supported by programming language features. Some programming languages support more than one paradigm. There are many different paradigms, not all mutually exclusive. Here are just a few different paradigms. Low-level programming paradigm The features of Low-level programming languages give us the ability to manipulate the contents of memory addresses and registers directly and exploit the architecture of a given processor.
    [Show full text]
  • A Feature Model of Actor, Agent, Functional, Object, and Procedural Programming Languages
    Accepted Manuscript A feature model of actor, agent, functional, object, and procedural programming languages H.R. Jordan, G. Botterweck, J.H. Noll, A. Butterfield, R.W. Collier PII: S0167-6423(14)00050-1 DOI: 10.1016/j.scico.2014.02.009 Reference: SCICO 1711 To appear in: Science of Computer Programming Received date: 9 March 2013 Revised date: 31 January 2014 Accepted date: 5 February 2014 Please cite this article in press as: H.R. Jordan et al., A feature model of actor, agent, functional, object, and procedural programming languages, Science of Computer Programming (2014), http://dx.doi.org/10.1016/j.scico.2014.02.009 This is a PDF file of an unedited manuscript that has been accepted for publication. As a service to our customers we are providing this early version of the manuscript. The manuscript will undergo copyediting, typesetting, and review of the resulting proof before it is published in its final form. Please note that during the production process errors may be discovered which could affect the content, and all legal disclaimers that apply to the journal pertain. Highlights • A survey of existing programming language comparisons and comparison techniques. • Definitions of actor, agent, functional, object, and procedural programming concepts. • A feature model of general-purpose programming languages. • Mappings from five languages (C, Erlang, Haskell, Jason, and Java) to this model. A Feature Model of Actor, Agent, Functional, Object, and Procedural Programming Languages H.R. Jordana,∗, G. Botterwecka, J.H. Nolla, A. Butterfieldb, R.W. Collierc aLero, University of Limerick, Ireland bTrinity College Dublin, Dublin 2, Ireland cUniversity College Dublin, Belfield, Dublin 4, Ireland Abstract The number of programming languages is large [1] and steadily increasing [2].
    [Show full text]
  • The Machine That Builds Itself: How the Strengths of Lisp Family
    Khomtchouk et al. OPINION NOTE The Machine that Builds Itself: How the Strengths of Lisp Family Languages Facilitate Building Complex and Flexible Bioinformatic Models Bohdan B. Khomtchouk1*, Edmund Weitz2 and Claes Wahlestedt1 *Correspondence: [email protected] Abstract 1Center for Therapeutic Innovation and Department of We address the need for expanding the presence of the Lisp family of Psychiatry and Behavioral programming languages in bioinformatics and computational biology research. Sciences, University of Miami Languages of this family, like Common Lisp, Scheme, or Clojure, facilitate the Miller School of Medicine, 1120 NW 14th ST, Miami, FL, USA creation of powerful and flexible software models that are required for complex 33136 and rapidly evolving domains like biology. We will point out several important key Full list of author information is features that distinguish languages of the Lisp family from other programming available at the end of the article languages and we will explain how these features can aid researchers in becoming more productive and creating better code. We will also show how these features make these languages ideal tools for artificial intelligence and machine learning applications. We will specifically stress the advantages of domain-specific languages (DSL): languages which are specialized to a particular area and thus not only facilitate easier research problem formulation, but also aid in the establishment of standards and best programming practices as applied to the specific research field at hand. DSLs are particularly easy to build in Common Lisp, the most comprehensive Lisp dialect, which is commonly referred to as the “programmable programming language.” We are convinced that Lisp grants programmers unprecedented power to build increasingly sophisticated artificial intelligence systems that may ultimately transform machine learning and AI research in bioinformatics and computational biology.
    [Show full text]
  • A Formal Component-Based Software Engineering Approach for Developing Trustworthy Systems
    A FORMAL COMPONENT-BASED SOFTWARE ENGINEERING APPROACH FOR DEVELOPING TRUSTWORTHY SYSTEMS MUBARAK SAMI MOHAMMAD A THESIS IN THE DEPARTMENT OF COMPUTER SCIENCE AND SOFTWARE ENGINEERING PRESENTED IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF DOCTOR OF PHILOSOPHY (COMPUTER SCIENCE) CONCORDIA UNIVERSITY MONTREAL´ ,QUEBEC´ ,CANADA APRIL 2009 °c MUBARAK SAMI MOHAMMAD, 2009 CONCORDIA UNIVERSITY School of Graduate Studies This is to certify that the thesis prepared By: Mr. Mubarak Sami Mohammad Entitled: A Formal Component-Based Software Engineering Approach for Developing Trustworthy Systems and submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy (Computer Science) (Computer Science) complies with the regulations of this University and meets the accepted standards with re- spect to originality and quality. Signed by the final examining committee: Chair Dr. External Examiner Dr. Nicholas Graham External to Program Dr. Jamal Bentahar Examiner Dr. Joey Paquet Examiner Dr. Juergen Rilling Supervisor Dr. Vasu Alagar Co-supervisor Dr. Olga Ormandjieva Approved Chair of Department or Graduate Program Director 20 Dr. Robin A.L. Drew, Dean Faculty of Engineering and Computer Science Abstract A Formal Component-Based Software Engineering Approach for Developing Trustworthy Systems Mubarak Sami Mohammad, Ph.D. Concordia University, 2009 Software systems are increasingly becoming ubiquitous, affecting the way we experience the world. Embedded software systems, especially those used in smart devices, have be- come an essential constituent of the technological infrastructure of modern societies. Such systems, in order to be trusted in society, must be proved to be trustworthy. Trustworthiness is a composite non-functional property that implies safety, timeliness, security, availability, and reliability.
    [Show full text]
  • Comparative Studies of Programming Languages; Course Lecture Notes
    Comparative Studies of Programming Languages, COMP6411 Lecture Notes, Revision 1.9 Joey Paquet Serguei A. Mokhov (Eds.) August 5, 2010 arXiv:1007.2123v6 [cs.PL] 4 Aug 2010 2 Preface Lecture notes for the Comparative Studies of Programming Languages course, COMP6411, taught at the Department of Computer Science and Software Engineering, Faculty of Engineering and Computer Science, Concordia University, Montreal, QC, Canada. These notes include a compiled book of primarily related articles from the Wikipedia, the Free Encyclopedia [24], as well as Comparative Programming Languages book [7] and other resources, including our own. The original notes were compiled by Dr. Paquet [14] 3 4 Contents 1 Brief History and Genealogy of Programming Languages 7 1.1 Introduction . 7 1.1.1 Subreferences . 7 1.2 History . 7 1.2.1 Pre-computer era . 7 1.2.2 Subreferences . 8 1.2.3 Early computer era . 8 1.2.4 Subreferences . 8 1.2.5 Modern/Structured programming languages . 9 1.3 References . 19 2 Programming Paradigms 21 2.1 Introduction . 21 2.2 History . 21 2.2.1 Low-level: binary, assembly . 21 2.2.2 Procedural programming . 22 2.2.3 Object-oriented programming . 23 2.2.4 Declarative programming . 27 3 Program Evaluation 33 3.1 Program analysis and translation phases . 33 3.1.1 Front end . 33 3.1.2 Back end . 34 3.2 Compilation vs. interpretation . 34 3.2.1 Compilation . 34 3.2.2 Interpretation . 36 3.2.3 Subreferences . 37 3.3 Type System . 38 3.3.1 Type checking . 38 3.4 Memory management .
    [Show full text]
  • Programming Languages
    Lecture 19 / Chapter 13 COSC1300/ITSC 1401/BCIS 1405 12/5/2004 Lecture 19 / Chapter 13 COSC1300/ITSC 1401/BCIS 1405 12/5/2004 General Items: Computer Program • Lab? Ok? • Read the extra credits • A series of instructions that direct a computer to perform tasks • Need to come to class • Such as? Who is the programmer? • Have a quiz / no books / use notes -> What is the big idea • School is almost over • Programming language is a series of rules for writing the instructions • • There are hundreds of computer programs – need-based! Reading Materials: Programming language • - Two basic types: Low- and high-level programming languages Miscellaneous: o Low-level: Programming language that is machine-dependent ° Must be run on specific machines o High-level: Language that is machine-independent ° Can be run on different types of machines Programming Language Low Level High Level Machine Assembly Language Language Procedural Nonprocedural Remember: Ultimately, everything must be converted to the machine language! Object Oriented F.Farahmand 1 / 12 File: lec14chap13f04.doc F.Farahmand 2 / 12 File: lec14chap13f04.doc Lecture 19 / Chapter 13 COSC1300/ITSC 1401/BCIS 1405 12/5/2004 Lecture 19 / Chapter 13 COSC1300/ITSC 1401/BCIS 1405 12/5/2004 Categories of programming languages o Nonprocedural language -> Programmer specifies only what the - Machine language program should accomplish; it does not explain how o Only language computer understands directly - Forth-generation language - Assembly language o Syntax is closer to human language than that
    [Show full text]
  • C++ Tutorial Part I : Procedural Programming
    C++ Tutorial Part I : Procedural Programming C. David Sherrill School of Chemistry and Biochemistry School of Computational Science and Engineering Georgia Institute of Technology Purpose To provide rapid training in elements of C++ syntax, C++ procedural programming, and C++ object- oriented programming for those with some basic prior programming experience To provide a handy programming reference for selected topics To provide numerous, actual C++ code examples for instruction and reference Why C++? “Intermediate”-level language: allows for fine (low- level) control over hardware, yet also allows certain complex tasks to be done with relatively little code (high-level) Good for scientific applications: produces efficient, compiled code, yet has features that help one develop and maintain a complicated, large code (e.g., namespaces, object-oriented design) Recommended reading These notes were developed during my reading of “Sams Teach Yourself C++ in One Hour a Day,” 7th Edition, by Siddhartha Rao (Sams, Indianapolis, 2012). I recommend the book, it’s readable and to the point. A good mastery of C++ will probably require working through a book like that one, and doing some examples; notes like these only serve as a basic introduction or a quick review A Note on C++11 This was originally supposed to be C++0x, with the “x” filled in according to the year the new C++ standard was finalized (e.g., C++09 for 2009). However, the standard took longer than expected, and was only formalized in 2011. So, C++11 is what was formerly referred to as C++0x. As of 2013, the new C++11 standards are not yet fully implemented in many compilers.
    [Show full text]
  • Chapter 1 Basic Principles of Programming Languages
    Chapter 1 Basic Principles of Programming Languages Although there exist many programming languages, the differences among them are insignificant compared to the differences among natural languages. In this chapter, we discuss the common aspects shared among different programming languages. These aspects include: programming paradigms that define how computation is expressed; the main features of programming languages and their impact on the performance of programs written in the languages; a brief review of the history and development of programming languages; the lexical, syntactic, and semantic structures of programming languages, data and data types, program processing and preprocessing, and the life cycles of program development. At the end of the chapter, you should have learned: what programming paradigms are; an overview of different programming languages and the background knowledge of these languages; the structures of programming languages and how programming languages are defined at the syntactic level; data types, strong versus weak checking; the relationship between language features and their performances; the processing and preprocessing of programming languages, compilation versus interpretation, and different execution models of macros, procedures, and inline procedures; the steps used for program development: requirement, specification, design, implementation, testing, and the correctness proof of programs. The chapter is organized as follows. Section 1.1 introduces the programming paradigms, performance, features, and the development of programming languages. Section 1.2 outlines the structures and design issues of programming languages. Section 1.3 discusses the typing systems, including types of variables, type equivalence, type conversion, and type checking during the compilation. Section 1.4 presents the preprocessing and processing of programming languages, including macro processing, interpretation, and compilation.
    [Show full text]
  • Formalizing Gremlin Pattern Matching Traversals in an Integrated Graph Algebra
    Formalizing Gremlin Pattern Matching Traversals in an Integrated Graph Algebra Harsh Thakkar1, S¨orenAuer1;2, Maria-Esther Vidal2 1 Smart Data Analytics Lab (SDA), University of Bonn, Germany 2 TIB & Leibniz University of Hannover, Germany [email protected], [email protected] Abstract. Graph data management (also called NoSQL) has revealed beneficial characteristics in terms of flexibility and scalability by differ- ently balancing between query expressivity and schema flexibility. This peculiar advantage has resulted into an unforeseen race of developing new task-specific graph systems, query languages and data models, such as property graphs, key-value, wide column, resource description framework (RDF), etc. Present-day graph query languages are focused towards flex- ible graph pattern matching (aka sub-graph matching), whereas graph computing frameworks aim towards providing fast parallel (distributed) execution of instructions. The consequence of this rapid growth in the variety of graph-based data management systems has resulted in a lack of standardization. Gremlin, a graph traversal language, and machine provide a common platform for supporting any graph computing sys- tem (such as an OLTP graph database or OLAP graph processors). In this extended report, we present a formalization of graph pattern match- ing for Gremlin queries. We also study, discuss and consolidate various existing graph algebra operators into an integrated graph algebra. Keywords: Graph Pattern Matching, Graph Traversal, Gremlin, Graph Algebra 1 Introduction Upon observing the evolution of information technology, we can observe a trend from data models and knowledge representation techniques be- ing tightly bound to the capabilities of the underlying hardware towards more intuitive and natural methods resembling human-style information processing.
    [Show full text]
  • Employing Object Rexx for Teaching Mba Students the Oo-Paradigm
    EMPLOYING OBJECT REXX FOR TEACHING MBA STUDENTS THE OO-PARADIGM Rony G. Flatscher Department of Management and Information Systems Vienna University of Economics and Business Administration "10th International REXX Symposium“, Jacksonville, Florida, U.S.A., May 3rd-5th, 1999 ABSTRACT At the WU Vienna - with over 20,000 students one of the largest Economics and Business Administration Universities in the world - an experiment was started in the summer semester of 1999 to teach MBA Students the OO-paradigm with the help of Object REXX. It has been very well known that taught material is learned the best, if the concepts are worked out by the people themselves. Therefore it may make sense to teach OO-concepts to MBA students by the means of exercises using an object-oriented programming language. Object REXX was chosen because of its simple syntax which draws from Mike F. Cowlishaw's original work on procedural REXX, while at the same time implementing a very powerful OO-model. Object REXX is available on a variety of operating systems, namely AIX, Linux, OS/2 and Windows95/98/NT. This article introduces a syllabus for teaching MBA students the OO-paradigm with the help of Object REXX, thereby introducing the key features of the language itself and reports about preliminary conclusions. Employing Object REXX for Teaching MBA Students the OO-paradigm, page 1-18 1 INTRODUCTION The "Wirtschaftsuniversität Wien” (abbreviated: WU, English translation: "University of Economics and Business Administration”; cf. [W3WU] for an English set of foils giving an additional overview of the University) is located in Vienna (Austria).
    [Show full text]
  • Software Education for Changing Computing Technology
    Software Education for Changing Computing Technology Benjamin Cooper1 and Steve E. Watkins2 1 CMC Technologies Limited LLC and 2Missouri University of Science and Technology Abstract Software education has been dominated by procedural-based programming languages such as BASIC, FORTRAN and C, and before that, the assembly languages. The primary reason that this methodology has held such sway in education was that it allowed quick action for the first major users of computers. This approach was the most straight-forward means of utilizing hardware that, over the last 60 years, has gotten faster and more complex through smaller and more densely packed elements. However, traditional advances as described by Moore’s law are now reaching both physical and economic limits. Pure object-oriented programming approaches offer benefits for hardware that is highly parallel and that is of non-traditional design. This work describes the evolution of computational technology, explores features of pure object-oriented languages such as Squeak Smalltalk, and discusses proactive curricula options. Introduction Programming literacy and proficiency are key curricula concerns whether as an independent specialty or as a fundamental component of other engineering specialties. Software education typically emphasized procedural-based programming languages. Such programming approaches, which use sequential calculations and simple decision-making processes, are the traditional option, but they are not the only possible methodology. Alternative approaches have been explored with advanced features. Also, software choices are not unrelated to the hardware. Improvements in computational capabilities require both hardware and software considerations. Students that are educated today must be prepared for the next generation of digital technologies.
    [Show full text]
  • Specializing Continuations a Model for Dynamic Join Points
    Specializing Continuations A Model for Dynamic Join Points Christopher J. Dutchyn Computer Science, University of Saskatchewan [email protected] ABSTRACT joint procedures; in an object-oriented language, the feature By modeling dynamic join points, pointcuts, and advice in might span several methods or classes. a defunctionalized continuation-passing style interpreter, we These crosscutting features inhibit software development provide a fundamental account of these AOP mechanisms. in several ways. For one, it is difficult for the programmer Dynamic join points develop in a principled and natural way to reason about how the disparate pieces of the feature in- as activations of continuation frames. Pointcuts arise di- teract. In addition, they compound development workload rectly in the semantic specification as predicates identifying because features cannot be tested in isolation. Also, they continuation frames. Advice models procedures operating prevent modular assembly: the programmer cannot simply on continuations, specializing the behaviour of continuation add or delete these features from a program, since they are frames. In this way, an essential form of AOP is seen, nei- not separable units. Aspect-oriented programming (aop) ther as meta-programming nor as an ad hoc extension, but is intended to provide alternative forms of modularity, to as an intrinsic feature of programming languages. extract these crosscutting features into their own modules. As a result, the code more closely resembles the design. Aop subsumes a number of different modularity technolo- 1. INTRODUCTION gies, some pre-existing, such as open classes and rewriting Current programming languages offer many ways of orga- systems, and some more unconventional, including dynamic nizing code into conceptual blocks, through functions, ob- join points and advice.
    [Show full text]