Learn More
We propose a generalization to Haskell's type classes where a class can have type parameters besides the placeholder variable. We show that this generalization is essential to represent container classes with overloaded data constructor and selector operations. We also show that the resulting type system has principal types and present unification and(More)
Aspect-oriented programming (AOP) has been shown to be a useful model for software development. Special care must be taken when we try to adapt AOP to strongly typed functional languages which come with features like a type inference mechanism, polymorphic types, higher-order functions and <i>type-scoped</i> pointcuts. Our main contribution lies in a(More)
INTRODUCTION The Institute of Medicine has identified both Computerized Physician Order Entry (CPOE) and Electronic Prescription (EP) as key in reducing medication errors and improving safety. Many computerized clinical decision support systems (CDSSs) improve practitioner performance. However, the development of CDSSs involves a long cycle time that makes(More)
Introducing aspect orientation to a polymorphically typed functional language strengthens the importance of type-scoped advices; i.e., advices with their effects harnessed by type constraints. As types are typically treated as compile time entities, it is highly desirable to be able to perform static weaving to determine at compile time the chaining of(More)
Despite the built-in garbage collector, Java programs can still suffer the memory leak problem resulted from the unhealthy programming style of retaining unwanted references. This paper presents an aspect-based tool for assisting programmers in locating such references to fix the problem. This tool, FindLeaks, utilizes an aspect to collect memory(More)
The Institute of Medicine has identified both computerized physician order entry and electronic prescription as keys to reducing medication errors and improving safety. Many computerized clinical decision support systems can enhance practitioner performance. However, the development of such systems involves a long cycle time that makes it difficult to apply(More)
OBJECTIVES Maintaining proper access control to Electronic Medical Records (EMR) is essential to protecting patients' privacy. We aim to develop mechanisms and tools that can support fine-grained and adaptable access control for EMR. METHOD This paper presents an aspect-oriented design and implementation scheme to providing adaptable access control for(More)