standard semantics

0.01 sec.

standard semantics - The standard interpretation of a term in some language yields the term's standard denotational semantics, i.e. its "meaning". This is usually given by a semantic function which maps a term in the abstract syntax to a point in some domain. The domain is the interpretation of the term's type. The semantic function also takes an environment - a function which maps the free variables of the term to their meaning. We say that a domain point "denotes", or "is the denotation of", a term. A non-standard semantics results from some other interpretation, e.g. an abstract interpretation.

Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.

?Page tools

Printer friendly
Cite / link

Feedback

Mentioned in	?		References in periodicals archive	?		Encyclopedia browser	?		Full browser	?
No references found			The use of prior material and standard semantics creates an illusion of effort. Preserving quality in the pressure cooker by Martin, Vernon, III / Mortgage Banking Whether we adopt the substitutional or the standard approach to quantification in logical semantics, to get the truth table of a universally quantified conditional we must review all possible examples within the universe of discourse (substitutional semantics is generally attributed to Wittgenstein, 1922, though he later abandoned it; reviews of standard semantics can be found in Hodges, 1983; Martin, 1987). A test of a two-stage model of the evaluation of conditional ... by Langford, Peter E. / The Psychological Record The use of previous material and standard semantics can create an illusion of effort. Appraising the profession by Martin, Vernon, III / Mortgage Banking			standard output standard parallel standard parallel port standard penetration resistance standard penetration test standard performance standard pile standard pipe size Standard Pitch standard plane Standard Potential standard preemphasis standard pressure standard project flood standard propagation standard railing standard rate turn Standard Reference Material standard refraction standard sand standard sand Ottawa sand standard schnauzer standard score standard screen HDTV standard seawater standard semantics standard shaft Standard Solution standard source standard source A standard source B standard source C standard special standard star Standard State standard station standard subroutine standard target Standard TCP/IP Port standard temperature and pressure standard terminal arrival route standard test-tone power Standard Time Standard Time in the Ussr standard tolerance standard ton standard trajectory standard visibility standard visual range standard volume standard waveguide			Standard Royalty Free License Standard Russian Standard Safety Analysis Report standard Salmonella pullorum strains standard Salmonella pullorum strains standard Salmonella pullorum strains standard Salmonella pullorum strains standard sample standard sand standard sand Ottawa sand Standard Schedules Information Manual standard schnauzer standard schnauzer standard schnauzer Standard Schnauzer Club of America Standard Schnauzer Club of Canada Standard Schnauzer Club of Northern California Standard Schnauzer Club of Southern California Standard score Standard score Standard score Standard score Standard score Standard score standard scratch score standard screen HDTV standard seawater Standard Sector Board Standard Security Label Standard Seedbox Screening Test standard semantics Standard Semi-Automated Message Processing System Standard Service Agreement Standard Service Link Standard Service Offer Standard Service Program Standard Service Revolver Standard Service Supply Standard Service Volume Standard Serviceability Test Standard Setting Body Standard Settlement Instruction standard shaft Standard Ship's Organization & Regulation Manual Standard Shipyard Procedure Standard simplex Standard simplex Standard simplex Standard Simulation Interface Design Standard Simulator Data Base Standard Simulator Database Interchange Format Standard Single Account File Standard Single Mode Fiber Standard Single-Sided Single-Layered DVD Disc Standard Slit Interdigital Micro Mixer Standard Small Computer Standard Small Launch Vehicle

Encyclopedia

Free Tools:	For surfers: Free toolbar & extensions \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup

Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.