a formal dance or gathering of high school students, typically held at the end of the senior year