As part of the Digital Library's transition to Open Access, new features for researchers are available in the Premium Edition. Click here to learn more.
Temporal Logic
Broadly construed, Temporal Logic covers all formalapproaches to representing and reasoning about time and temporalinformation. More narrowly, it usually refers to the modal-logic styleapproach introduced by Arthur Prior in the 1950s under the nameTense Logic and subsequently developed further by manylogicians and computer scientists. Temporal Logic has been widely usedas a formalism for clarifying philosophical issues about time, as aframework for defining the semantics of temporal expressions innatural language, as a language for encoding temporal knowledge inartificial intelligence, and as a tool for specification andverification of computer programs and systems.
quint-co/quint
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Denicek: Computational Substrate for Document-Oriented End-User Programming
As part of the Digital Library's transition to Open Access, new features for researchers are available in the Premium Edition. Click here to learn more.
As we may think
As part of the Digital Library's transition to Open Access, new features for researchers are available in the Premium Edition. Click here to learn more.
The Application and Its Consequences for Non-Standard Knowledge Work
As part of the Digital Library's transition to Open Access, new features for researchers are available in the Premium Edition. Click here to learn more.
Coherent reaction
As part of the Digital Library's transition to Open Access, new features for researchers are available in the Premium Edition. Click here to learn more.
The operating system: should there be one?
As part of the Digital Library's transition to Open Access, new features for researchers are available in the Premium Edition. Click here to learn more.
Generative and Malleable User Interfaces with Generative and Evolving Task-Driven Data Model
As part of the Digital Library's transition to Open Access, new features for researchers are available in the Premium Edition. Click here to learn more.
Cracking the cocoa nut: user interface programming at runtime
As part of the Digital Library's transition to Open Access, new features for researchers are available in the Premium Edition. Click here to learn more.
OCaml Programming: Correct + Efficient + Beautiful — OCaml Programming: Correct + Efficient + Beautiful
A textbook on functional programming and data structures in OCaml, with an emphasis on semantics and software engineering. This book is the textbook for CS 3110 Data Structures and Functional Programming at Cornell University. A past title of this book was “Functional Programming in OCaml”.
User-tailorable systems: pressing the issues with buttons
As part of the Digital Library's transition to Open Access, new features for researchers are available in the Premium Edition. Click here to learn more.
Reflective design
As part of the Digital Library's transition to Open Access, new features for researchers are available in the Premium Edition. Click here to learn more.
Composing Time: Compositional Async in Solid 2.0
The Spoofax language workbench | Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
As part of the Digital Library's transition to Open Access, new features for researchers are available in the Premium Edition. Click here to learn more.
Engraft: An API for Live, Rich, and Composable Programming
As part of the Digital Library's transition to Open Access, new features for researchers are available in the Premium Edition. Click here to learn more.
