- procedural semantics
- An approach to semantics that views understanding in terms of a set of procedures for deciding whether terms apply to things, or procedures for deciding the truth-values of propositions. The idea is allied to a verificationist approach to meaning, and also to the general view that meaning should be connected with practice.
Philosophy dictionary. Academic. 2011.
Look at other dictionaries:
Semantics of Business Vocabulary and Business Rules — The Semantics of Business Vocabulary and Business Rules (SBVR) is an adopted standard of the Object Management Group (OMG) intended to be the basis for a formal and detailed natural language declarative description of a complex entity, such as a… … Wikipedia
Inferential role semantics — (also: conceptual role semantics, functional role semantics, procedural semantics) is an approach to the theory of meaning that identifies the meaning of an expression with its relationship to other expressions, typically its inferential… … Wikipedia
Transaction logic — is an extension of predicate logic with both declarative and procedural semantics that describe state changes in logic programming over dynamic databases. First proposed in the early 1990s by Anthony J. Bonner and Michael Kifer, transaction logic … Wikipedia
Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s  advice taker proposal, logic is used as a purely declarative… … Wikipedia
SQL — This article is about the database language. For the airport with IATA code SQL, see San Carlos Airport. SQL Paradigm(s) Multi paradigm Appeared in 1974 Designed by Donald D. Chamberlin Raymond F. Boyce Developer … Wikipedia
Object-oriented programming — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurrent computing … Wikipedia
Programming language — lists Alphabetical Categorical Chronological Generational A programming language is an artificial language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs that… … Wikipedia
Comparison of programming languages — Programming language comparisons General comparison Basic syntax Basic instructions Arrays Associative arrays String operations … Wikipedia
Comparison of Java and C++ — Programming language comparisons General comparison Basic syntax Basic instructions Arrays Associative arrays String operations … Wikipedia
Common Lisp — Paradigm(s) Multi paradigm: procedural, functional, object oriented, meta, reflective, generic Appeared in 1984, 1994 for ANSI Common Lisp Developer ANSI X3J13 committee Typing discipline … Wikipedia