Vitalsource Technologies, Inc. Programming Languages With Applications To Biology And Security