Howdy Logo
Glossary Hero image

The Howdy Glossary

Search terms in Glossary


LIS (Language for Implementation of Systems) is a programming language designed for system implementation. The language stemmed from research at the University of Paris in the 1970s and continues to be used in academia and industry. LIS provides constructs for specifying both abstract data types and their associated operations, allowing developers to model systems at higher levels of abstraction than with traditional programming languages. The language integrates formal specification methods, such as algebraic specifications and theorem proving, enabling rigorous verification techniques throughout the development process.

Hire Lis Experts

Enter your email to get started.