David D Pagan

Title: Innovations by David D Pagan

Introduction

David D Pagan is an accomplished inventor based in Redding, CA (US). He has made significant contributions to the field of computer programming through his innovative patent. His work focuses on enhancing the reliability and safety of type casting operations within computer programs.

Latest Patents

David D Pagan holds a patent for a "Method and apparatus for detecting violations of type rules in a computer program." This invention provides a system that detects violations of type rules by locating type casting operations within a program. The system checks these operations for any violations and indicates them accordingly. For instance, if a type casting operation involves a structure pointer and a non-structure pointer, the system will flag this as a violation. Additionally, it assesses whether two structure types belong to the same alias group, generating an error if they do not. This patent showcases his expertise in improving programming practices and ensuring code integrity.

Career Highlights

David D Pagan has had a notable career, working at Sun Microsystems, Inc. His role at the company has allowed him to collaborate with other talented professionals in the field. His contributions have been instrumental in advancing technology and enhancing software development processes.

Collaborations

Some of David's coworkers include Nicolai Kosche and Douglas E Walls. Their collaboration has likely fostered an environment of innovation and creativity, leading to advancements in their respective projects.

Conclusion

David D Pagan's work exemplifies the spirit of innovation in computer programming. His patent for detecting type rule violations is a testament to his commitment to improving software reliability. Through his career at Sun Microsystems, Inc., he has made significant strides in the field, contributing to the advancement of technology.