Information: - Computer science is the study of the theory, experimentation, and engineering that form the basis for the design and use of computers. It is the scientific and practical approach to computation and its applications and the systematic study of the feasibility, structure, expression, and mechanization of the methodical procedures (or algorithms) that underlie the acquisition, representation, processing, storage, communication of, and access to information. An alternate, more succinct definition of computer science is the study of automating algorithmic processes that scale. A computer scientist specializes in the theory of computation and the design of computational systems. - In mathematics, computer science, and linguistics, a formal language is a set of strings of symbols together with a set of rules that are specific to it. - The 2010 United States Census, (known as "Census 2010"), is the twenty-third and currently most recent United States national census. National Census Day, the reference day used for the census, was April 1, 2010. As part of a drive to increase the count's accuracy, 635,000 temporary enumerators were hired. The population of the United States was counted as 308,745,538, a 9.7% increase from the 2000 Census. - The Merriam-Webster dictionary defines system analysis as "the process of studying a procedure or business in order to identify its goals and purposes and create systems and procedures that will achieve them in an efficient way". Another view sees system analysis as a problem-solving technique that decomposes a system into its component pieces for the purpose of the studying how well those component parts work and interact to accomplish their purpose. Analysis and synthesis, as scientific methods, always go hand in hand; they complement one another. Every synthesis builds upon the results of a preceding analysis, and every analysis requires a subsequent synthesis in order to verify and correct its results. - Stanford University, officially Leland Stanford Junior University, is a private research university in Stanford, California, adjacent to Palo Alto and between San Jose and San Francisco. Its campus is one of the largest in the United States. Stanford also has land and facilities elsewhere. - A programming language is a formal computer language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs to control the behavior of a machine or to express algorithms. - The Prototype Verification System ( PVS ) is a specification language integrated with support tools and an automated theorem prover , developed at the Computer Science Laboratory of SRI International in Menlo Park , California . PVS is based on a kernel consisting of an extension of Church 's theory of types with dependent types , and is fundamentally a classical typed higher - order logic . The base types include uninterpreted types that may be introduced by the user , and built - in types such as the booleans , integers , reals , and the ordinals . Type - constructors include functions , sets , tuples , records , enumerations , and abstract data types . Predicate subtypes and dependent types can be used to introduce constraints ; these constrained types may incur proof obligations ( called type - correctness conditions or TCCs ) during typechecking . PVS specifications are organized into parameterized theories . The system is implemented in Common Lisp , and is released under the GNU General Public License ( GPL ) . - The San Francisco Bay Area (referred to locally as the Bay Area) is a populous region surrounding the San Francisco and San Pablo estuaries in Northern California. The region encompasses the major cities and metropolitan areas of San Jose, San Francisco, and Oakland, along with smaller urban and rural areas. The Bay Area's nine counties are Alameda, Contra Costa, Marin, Napa, San Francisco, San Mateo, Santa Clara, Solano, and Sonoma. Home to approximately 7.65 million people, the nine-county Bay Area contains many cities, towns, airports, and associated regional, state, and national parks, connected by a network of roads, highways, railroads, bridges, tunnels and commuter rail. The combined statistical area of the region is the second-largest in California (after the Greater Los Angeles area), the fifth-largest in the United States, and the 43rd-largest urban area in the world. - Trustee (or the holding of a trusteeship) is a legal term which, in its broadest sense, can refer to any person who holds property, authority, or a position of trust or responsibility for the benefit of another. A trustee can also refer to a person who is allowed to do certain tasks but not able to gain income. Although in the strictest sense of the term a trustee is the holder of property on behalf of a beneficiary, the more expansive sense encompasses persons who serve, for example, on the Board of Trustees for an institution that operates for a charity, for the benefit of the general public, or a person in the local government. - Menlo Park is a city at the eastern edge of San Mateo County, in the San Francisco Bay Area of California, in the United States. It is bordered by San Francisco Bay on the north and east; East Palo Alto, Palo Alto, and Stanford to the south; Atherton, North Fair Oaks, and Redwood City to the west. Menlo Park is one of the most educated cities in the state of California and the United States, with nearly 70% of its residents having earned a degree. Menlo Park had 32,026 inhabitants according to the 2010 United States Census. - System design is the process of defining the architecture, components, modules, interfaces, and data for a system to satisfy specified requirements. Systems design could be seen as the application of systems theory to product development. There is some overlap with the disciplines of systems analysis, systems architecture and systems engineering. - A research institute is an establishment endowed for doing research. Research institutes may specialize in basic research or may be oriented to applied research. Although the term often implies natural science research, there are also many research institutes in the social sciences as well, especially for sociological and historical research purposes. - A specification language is a formal language in computer science used during systems analysis, requirements analysis and systems design to describe a system at a much higher level than a programming language, which is used to produce the executable code for a system. - In systems engineering and software engineering, requirements analysis encompasses those tasks that go into determining the needs or conditions to meet for a new or altered product or project, taking account of the possibly conflicting requirements of the various stakeholders, "analyzing, documenting, validating and managing" software or system requirements. - SRI International (SRI) is an American nonprofit research institute headquartered in Menlo Park, California. The trustees of Stanford University established SRI in 1946 as a center of innovation to support economic development in the region. - The San Francisco Bay is a shallow estuary that drains water from approximately 40% of California. Water from the Sacramento and San Joaquin rivers, and from the Sierra Nevada mountains, passes through the bay to the Pacific Ocean. Specifically, both rivers flow into Suisun Bay, which flows through the Carquinez Strait to meet with the Napa River at the entrance to San Pablo Bay, which connects at its south end to San Francisco Bay. However, the entire group of interconnected bays is often called the "San Francisco Bay". 'prototype verification system' is related to which object entity through the relation of 'instance of'? Choices: - account - application - area - bay - census - city - code - combined statistical area - communication - commuter rail - component - computer - count - county - data - day - degree - design - dictionary - engineering - estuary - executable - formal language - government - group - income - information - institute - legal term - local government - los angeles - mathematics - may - natural science - park - part - person - population - process - programming - programming language - project - public - reference - research - research institute - research university - science - set - sierra - sierra nevada - software - specification - specification language - system - theory - university - will - work
A:
programming language