OBJ (programming language)
Semantic Scholar uses AI to extract papers important to this topic.
The primary goal of this thesis is to describe and analyze applicative constructions in Tigrinya. An applicative construction is… Expand Construction Driven Language Processing Jerry T. Ball (Jerry.Ball@mesa.afmc.af.mil) Human Effectiveness Directorate, Air Force… Expand We present a generic scheme for the declarative debugging of functional programs modeled as term rewriting systems. We associate… Expand 1.1. Losowo±¢ i liczby losowe. Wiele procesów obserwowanych przez nas w przyrodzie, technice, ekonomii czy »yciu spoaecznym… Expand CAFE is the name of a network based environment now under development for supporting systematic creation, checking, verification… Expand D OBJ is a declarative language, with mathematical semantics given by order-sorted equational logic and an operational semantics… Expand This paper presents some ways to prove theorems in first and second order logic, such that rewriting does the routine work… Expand This paper states, justifies, and illustrates some new techniques for proving theorems with a functional programming language… Expand OBJ 3 is a new implementation of the OBJ language, with a new efficient operational semantics based on order-sorted term… Expand Tarskian semantics is called "Tarskian" for historical reasons (Tarski, 1936). A more descriptive name would be "systematic… Expand