Everything about Whiley (programming language)

🧭 Start here: a 6-step reading path

1. Read the overview: Whiley (programming language)A 5-minute orientation
2. Go sideways: DafnyA closely related topic
3. Go sideways: Loop invariantA closely related topic

🏆 Landmark papers (most cited)

• No matching papers found.

📚 Books worth reading

Open Library didn't respond; try again in a moment.

🔗 Related topics

• Dafny Dafny is an imperative and functional compiled language that compiles to other programming languages, such as C#, Java, JavaScript, Go, and Python. It…
• Loop invariant In computer science, a loop invariant is a property of a program loop that is true before (and after) each iteration. It is a logical assertion, sometimes…
• Undefined behavior A computer program exhibits undefined behavior (UB) when it contains, or is executing code for which its programming language specification does not mandate…
• Generics in Java Generics are a facility of generic programming that were added to the Java programming language in 2004 within version J2SE 5.0. They were designed to…
• Java Modeling Language The Java Modeling Language (JML) is a specification language for Java programs, using Hoare style pre- and postconditions and invariants, that follows…
• Pointer (computer programming) I do consider assignment statements and pointer variables to be among computer science's "most valuable treasures." — Donald Knuth, Structured Programming…
• Class invariant In computer programming, specifically object-oriented programming, a class invariant (or type invariant) is an invariant used for constraining objects…
• Array (data type) In computer science, array is a data type that represents a collection of elements (values or variables), each selected by one or more indices (identifying…