Extended
1Extended ML — Saltar a navegación, búsqueda Extended ML es un lenguaje de programación creado por Kahrs, Sannella y Tarlecki basado en ML. Extiende la sintaxis de ML para incluir axiomas de semántica, los cuales pueden no ser ejecutables pero que sirven para… …
2Extended ML — is a specification language created by Kahrs, Sannella and Tarlecki based on the ML programming language. It extends the syntax of ML to include axioms, which need not be executable but can rigorously specify the behavior of the program. With… …
3Extended ML — es un lenguaje de programación creado por Kahrs, Sannella y Tarlecki basado en ML. Extiende la sintaxis de ML para incluir axiomas de semántica, los cuales pueden no ser ejecutables pero que sirven para especificar rigurosamente el comportamiento …
4extended — index broad, capacious, chronic, comprehensive, continuous, extensive, far reaching, inflated (enlarged …
5extended — adjective Date: 15th century 1. drawn out in length especially of time < an extended visit > 2. a. fully stretched out < an extended battle line > b. of a horse s gait performed with a greatly lengthened stride but without a break compare… …
6extended — extendedly, adv. extendedness, n. /ik sten did/, adj. 1. stretched out: extended wires. 2. continued or prolonged: extended efforts. 3. spread out: extended flags. 4. widespread or extensive; having extension or spatial magnitude: extended… …
7Extended — Extend Ex*tend ([e^]ks*t[e^]nd ), v. t. [imp. & p. p. {Extended}; p. pr. & vb. n. {Extending}.] [L. extendere, extentum, extensum; ex out + tendere to stretch. See {Trend}.] 1. To stretch out; to prolong in space; to carry forward or continue in… …
8Extended — Ex|ten|ded [ɪks tɛndɪd], die; [engl. extended = ausgedehnt; (vom Buchstaben) breit, eigtl. 2. Part. von: to extend = ausdehnen < lat. extendere, ↑ extendieren (2. Part.: extensum), aus: ex = (her)aus u. tendere, ↑ Tendenz] (Druckw.): aus… …
9extended — See extended, extensive …
10extended — adj. Extended is used with these nouns: ↑absence, ↑arm, ↑discussion, ↑family, ↑finger, ↑kin, ↑leave, ↑metaphor, ↑monologue, ↑period, ↑sequence, ↑solo, ↑ …
