Open Access. Powered by Scholars. Published by Universities.®
Programming Languages and Compilers Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Discipline
- Keyword
-
- Abstract model (1)
- Apple (1)
- Computer Science (1)
- Concurrent computing (1)
- Concurrent processing (1)
-
- Data flow computing (1)
- Distributed computing (1)
- Education Learning and scholarship (1)
- Electronic computers (1)
- Flowcharts (1)
- Imaging phantoms (1)
- Information technology (1)
- Internet Statistics (1)
- Internet in higher education (1)
- Java (Computer program language) (1)
- Mobile (1)
- Ontologies (Information retrieval) (1)
- Parsing (Computer grammar) (1)
- Programming Languages (1)
- Programming languages (1)
- Querying (Computer science) (1)
- Specification language (1)
- Synchronization (1)
- Temporal logic (1)
- Unified Medical Language System (UMLS) (1)
- User-centered system design (1)
- Publication
- Publication Type
Articles 1 - 6 of 6
Full-Text Articles in Programming Languages and Compilers
The Future Of Ios Development: Evaluating The Swift Programming Language, Garrett Wells
The Future Of Ios Development: Evaluating The Swift Programming Language, Garrett Wells
CMC Senior Theses
Swift is a new programming language developed by Apple for creating iOS and Mac OS X applications. Intended to eventually replace Objective-C as Apple’s language of choice, Swift needs to convince developers to switch over to the new language. Apple has promised that Swift will be faster than Objective-C, as well as offer more modern language features, be very safe, and be easy to learn and use. In this thesis I test these claims by creating an iOS application entirely in Swift as well as benchmarking two different algorithms. I find that while Swift is faster than Objective-C, it does …
Evaluating Java Applets For Teaching On The Internet, Michael R. Healy '04, Dale E. Berger, Victoria L. Romero '07, Christopher L. Aberson '99, Amanda Saw '11
Evaluating Java Applets For Teaching On The Internet, Michael R. Healy '04, Dale E. Berger, Victoria L. Romero '07, Christopher L. Aberson '99, Amanda Saw '11
CGU Faculty Publications and Research
The Web Interface for Statistics Education (http://wise.cgu.edu) is a website built around interactive tutorials designed to teach introductory and advanced statistical concepts. The tutorials use Java applets that dynamically illustrate the statistical concepts being taught. By using Java applets, we teach statistics in a manner not possible in a traditional classroom environment. In this paper, we provide examples of the applets, illustrate how students use them, and we report the outcome of a study that examined tutorial effectiveness as a learning tool.
Meeting Medical Terminology Needs: The Ontology-Enhanced Medical Concept Mapper, Gondy Leroy, Hsinchun Chen
Meeting Medical Terminology Needs: The Ontology-Enhanced Medical Concept Mapper, Gondy Leroy, Hsinchun Chen
CGU Faculty Publications and Research
This paper describes the development and testing of the Medical Concept Mapper, a tool designed to facilitate access to online medical information sources by providing users with appropriate medical search terms for their personal queries. Our system is valuable for patients whose knowledge of medical vocabularies is inadequate to find the desired information, and for medical experts who search for information outside their field of expertise. The Medical Concept Mapper maps synonyms and semantically related concepts to a user's query. The system is unique because it integrates our natural language processing tool, i.e., the Arizona (AZ) Noun Phraser, with human-created …
Specification Of Synchronizing Processes, Krithivasan Ramamritham, Robert M. Keller
Specification Of Synchronizing Processes, Krithivasan Ramamritham, Robert M. Keller
All HMC Faculty Publications and Research
The formalism of temporal logic has been suggested to be an appropriate tool for expressing the semantics of concurrent programs. This paper is concerned with the application of temporal logic to the specification of factors affecting the synchronization of concurrent processes. Towards this end, we first introduce a model for synchronization and axiomatize its behavior. SYSL, a very high-level language for specifying synchronization properties, is then described. It is designed using the primitives of temporal logic and features constructs to express properties that affect synchronization in a fairly natural and modular fashion. Since the statements in the language have intuitive …
Data Flow Program Graphs, Alan L. Davis, Robert M. Keller
Data Flow Program Graphs, Alan L. Davis, Robert M. Keller
All HMC Faculty Publications and Research
Data flow languages form a subclass of the languages which are based primarily upon function application (i.e., applicative languages). By data flow language we mean any applicative language based entirely upon the notion of data flowing from one function entity to another or any language that directly supports such flowing. This flow concept gives data flow languages the advantage of allowing program definitions to be represented exclusively by graphs. Graphical representations and their applications are the subject of this article.
Specifying And Proving Properties Of Sentinels, Krithivasan Ramamritham, Robert M. Keller
Specifying And Proving Properties Of Sentinels, Krithivasan Ramamritham, Robert M. Keller
All HMC Faculty Publications and Research
This paper presents a technique for specifying and verifying properties of "sentinels," a high-level language construct for synchronizing access to shared resources. Statements in the specification language possess formal temporal semantics. As a prelude to proving the correctness of sentinels, the semantics of constructs used in sentinels is given. The proof technique involves showing that the temporal behavior of a sentinel conforms to that defined by the specification. The methodology is illustrated by applying it to a typical synchronization problem.