Find link

language:

Find link is a tool written by Edward Betts.

Longer titles found: Abstract syntax tree (view), Higher-order abstract syntax (view)

searching for Abstract syntax 86 found (236 total)

ASN.1 (2,474 words) [view diff] case mismatch in snippet view article find links to article

Abstract Syntax Notation One (ASN.1) is a standard interface description language (IDL) for defining data structures that can be serialized and deserialized

Common Logic (456 words) [view diff] exact match in snippet view article find links to article

gets the CL semantics for free, as they are specified relative to the abstract syntax only, and hence are inherited by any conformant dialect. In addition

Manufacturing Message Specification (296 words) [view diff] case mismatch in snippet view article find links to article

standard.[citation needed] MMS Protocol Details MMS Overview MMS V1 Abstract Syntax MMS Protocol Description MMS. Presentation by Prof. Dr. H. Kirrmann

LR-attributed grammar (164 words) [view diff] exact match in snippet view article find links to article

attributes can be evaluated in one left-to-right traversal of the abstract syntax tree. They are a superset of the S-attributed grammars, which allow

Management information base (1,824 words) [view diff] case mismatch in snippet view article find links to article

to as MIB-module. Objects in the MIB are defined using a subset of Abstract Syntax Notation One (ASN.1) called "Structure of Management Information Version

Ada Semantic Interface Specification (1,723 words) [view diff] case mismatch in snippet view article find links to article

to access exclusive information found in reference manuals and the Abstract Syntax Tree (AST). Which in return will advance ASIS to the capability of

Term graph (434 words) [view diff] exact match in snippet view article find links to article

graph) but also cyclic/recursive subexpressions (cyclic digraphs). Abstract syntax trees cannot represent shared subexpressions since each tree node can

Resource Description Framework (5,039 words) [view diff] case mismatch in snippet view article find links to article

following six "RDF 1.1" documents: "RDF 1.1 Primer", "RDF 1.1 Concepts and Abstract Syntax", "RDF 1.1 XML Syntax", "RDF 1.1 Semantics", "RDF Schema 1.1", and

X.509 (7,002 words) [view diff] case mismatch in snippet view article find links to article

"Standardization Sector" (ITU-T's SG17), in ITU-T Study Group 17 and is based on Abstract Syntax Notation One (ASN.1), another ITU-T standard. X.509 was initially issued

DMS Software Reengineering Toolkit (903 words) [view diff] exact match in snippet view article find links to article

language grammars and will produce parsers which automatically construct abstract syntax trees (ASTs), and prettyprinters to convert original or modified ASTs

Symposium on Logic in Computer Science (672 words) [view diff] case mismatch in snippet view article find links to article

Plotkin, Daniele Turi, "Abstract Syntax and Variable Binding" Murdoch Gabbay, Andrew M. Pitts, "A New Approach to Abstract Syntax Involving Binders" Luca

Web Coverage Processing Service (679 words) [view diff] case mismatch in snippet view article find links to article

The query string can be expressed in either Abstract Syntax or XML. In the following examples, Abstract Syntax will be used as it is more apt for human consumption

Encoding Control Notation (2,423 words) [view diff] case mismatch in snippet view article find links to article

Notation (ECN) is a standardized formal language that is part of the Abstract Syntax Notation One (ASN.1) family of international standards. ECN is designed

Language workbench (590 words) [view diff] exact match in snippet view article find links to article

workbench uses three different meta-languages: one meta-language for the abstract syntax (aligned with Emof); one for the static semantics (aligned with OCL)

UPDM (983 words) [view diff] exact match in snippet view article find links to article

similar guidance, and its meta-model is specified as a UML profile abstract syntax (i.e. extensions of UML 2.1 metaclasses). MODAF differs from DoDAF

SrcML (1,107 words) [view diff] case mismatch in snippet view article find links to article

Language. srcML wraps source code (text) with information from the Abstract Syntax Tree or AST (tags) into a single XML document. All original text is

Art Projects International (626 words) [view diff] exact match in snippet view article find links to article

spanning a decade from 1995–2005. Here "the evolution of Jinchi’s abstract syntax suggested a symbiosis between the artist’s method and her minimalist

LibSBML (1,661 words) [view diff] case mismatch in snippet view article find links to article

mathematical expressions in both text-string and MathML form: Abstract Syntax Trees (ASTs). Abstract Syntax Trees are well known in the computer science community;

ISO/IEC JTC 1/SC 6 (1,173 words) [view diff] case mismatch in snippet view article find links to article

within a local area 1 ISO/IEC 8824-1 free Information technology – Abstract Syntax Notation One (ASN.1): Specification of basic notation Published (2015)

Grammatical Framework (programming language) (1,779 words) [view diff] exact match in snippet view article

in fun. They say how trees are linearized. Consider the following: Abstract syntax abstract Zero = { cat S ; NP ; VP ; V2 ; fun Pred : NP -> VP -> S ;

CAMEL Application Part (365 words) [view diff] case mismatch in snippet view article find links to article

definition of the operations transferred between entities, defined using Abstract Syntax Notation One (ASN.1); the definition of the actions taken at each entity

Infer Static Analyzer (780 words) [view diff] exact match in snippet view article find links to article

in its data centers. Infer also has a domain specific language for abstract syntax tree linting, based on ideas from Model Checking for Computation Tree

Octet (computing) (970 words) [view diff] case mismatch in snippet view article

termed a megaoctet (Mo). A variable-length sequence of octets, as in Abstract Syntax Notation One (ASN.1), is referred to as an octet string. Historically

SmartQVT (143 words) [view diff] exact match in snippet view article find links to article

converts QVT code files into model representations of the QVT programs (abstract syntax). a compiler: this component converts model representations of the

Higher order grammar (253 words) [view diff] exact match in snippet view article find links to article

maintains Haskell Curry's distinction between tectogrammatical structure (abstract syntax) and phenogrammatical structure (concrete syntax). Abstract syntactic

Open Document Architecture (1,036 words) [view diff] case mismatch in snippet view article find links to article

(ODIF) and is based on the Standard Generalized Markup Language and Abstract Syntax Notation One (ASN.1). One of the features of this standard could be

UBJSON (730 words) [view diff] case mismatch in snippet view article find links to article

Apache Thrift MessagePack Document-oriented database (e.g. MongoDB) Abstract Syntax Notation One (ASN.1) Wireless Binary XML (WBXML) Efficient XML Interchange

Remote Operations Service Element protocol (151 words) [view diff] case mismatch in snippet view article find links to article

Telecommunication Union Recommendation X.229 ISO ISO 9072 Remote procedure call Abstract Syntax Notation One Transaction Capabilities Application Part v t e

R2ML (163 words) [view diff] exact match in snippet view article find links to article

user-defined datatypes; Actions (following OMG PRR submission); Events; EBNF abstract syntax; XML based concrete syntax validated by an XML Schema; Allowing different

External Data Representation (509 words) [view diff] case mismatch in snippet view article find links to article

type. Structured Data eXchange Format (SDXF) Remote Procedure Call Abstract Syntax Notation One Data Format Description Language Comparison of data serialization

List of network protocols (OSI model) (978 words) [view diff] case mismatch in snippet view article

Tele Communication Protocol SSH IMAP Gemini Controller Area Network Abstract Syntax Notation One (ASN.1) List of automation protocols Systems Network Architecture

Eclipse (software) (3,794 words) [view diff] case mismatch in snippet view article

Transformation, Model Development Tools, Concrete Syntax Development, Abstract Syntax Development, Technology and Research, and Amalgam. Model Transformation

General-purpose markup language (133 words) [view diff] case mismatch in snippet view article find links to article

language. Notable general-purpose markup languages include: ASN.1 (Abstract Syntax Notation One) EBML LML – general-purpose markup language for expressing

Hessian (Web service protocol) (195 words) [view diff] case mismatch in snippet view article

(Ruby) Hessian-Translator (Perl) Free and open-source software portal Abstract Syntax Notation One SDXF Apache Thrift Etch (protocol) Protocol Buffers Internet

Oberon (operating system) (3,293 words) [view diff] exact match in snippet view article

code based on a compressed version of the abstract syntax tree. The approach of a compressed abstract syntax tree for portable code representation is revived

Wolfram Language (1,318 words) [view diff] exact match in snippet view article find links to article

Reasons—Wolfram Blog". "codeparser: Parse Wolfram Language source code as abstract syntax trees (ASTs) or concrete syntax trees (CSTs)". GitHub. Wolfram Research

Apache Thrift (1,163 words) [view diff] case mismatch in snippet view article find links to article

software portal Comparison of data serialization formats Apache Avro Abstract Syntax Notation One (ASN.1) Hessian Protocol Buffers External Data Representation

Specification and Description Language (1,070 words) [view diff] case mismatch in snippet view article find links to article

related notation to describe the dynamic behavior of a system. ASN.1 Abstract Syntax Notation One. An ISO standard to describe data types that can be used

Skipper (computer software) (549 words) [view diff] case mismatch in snippet view article

format: no conversion for XML, simple conversion for YML, creating the Abstract Syntax Tree and its subsequent conversion to XML for PHP annotations. The

Reflective programming (1,818 words) [view diff] case mismatch in snippet view article find links to article

reflection such as C are required to use auxiliary compilers for tasks like Abstract Syntax Notation to produce code for serialization and bundling. Reflection

SDXF (994 words) [view diff] case mismatch in snippet view article find links to article

Data Editable Format. External Data Representation Protocol Buffers Abstract Syntax Notation One Apache Thrift Etch (protocol) Internet Communications

Bitcoin scalability problem (2,046 words) [view diff] case mismatch in snippet view article find links to article

long-time developer and Blockstream co-founder Pieter Wuille. Merkelized Abstract Syntax Trees (MAST) is a proposal by Johnson Lau which reduces the size of

Automatic message accounting (1,141 words) [view diff] case mismatch in snippet view article find links to article

3rd Generation Partnership Project (3GPP) have been working toward Abstract Syntax Notation One (ASN.1)-encoded Charging Data Records (CDRs) to be mapped

Agda (programming language) (1,310 words) [view diff] exact match in snippet view article

allows one to quote program fragments into – or unquote them from – the abstract syntax tree. The way reflection is used is similar to the way Template Haskell

PrintableString (137 words) [view diff] case mismatch in snippet view article find links to article

690 encoding standard for ASN.1 IA5String Information technology – Abstract Syntax Notation One (ASN.1): Specification of basic notation, ITU-T X.680

Triune continuum paradigm (1,134 words) [view diff] exact match in snippet view article find links to article

conceptual framework. As described by Dijkman, Naumenko in 2002 defined an abstract syntax for RM-ODP in a language called Alloy that uses a set theoretic formal

Sparse (811 words) [view diff] exact match in snippet view article find links to article

that, like a compiler front end, provides convenient access to the abstract syntax tree and typing information of a C program. Christopher Li (2009-10-16)

Afenginn (697 words) [view diff] exact match in snippet view article find links to article

released in June 2008. The album featured Finnish poet Timo Haapaniemi's abstract syntax error poems and was orchestrated for a male choir, brass band, and

Architecture-driven modernization (615 words) [view diff] case mismatch in snippet view article find links to article

Force recommended, and the Platform Technical Committee issued, the Abstract Syntax Tree Metamodel (ASTM) Request For Proposal (RFP). This work is still

Information Object Class (ASN.1) (837 words) [view diff] case mismatch in snippet view article

protocol in ASN.1. Abbreviations used throughout this article: ASN.1 Abstract Syntax Notation One IOC Information Object Class IOS Information Object Set

Lightweight Directory Access Protocol (4,669 words) [view diff] case mismatch in snippet view article find links to article

org Openldap.org Open Grid Forum : Project Home ITU-T Rec. X.680, "Abstract Syntax Notation One (ASN.1) - Specification of Basic Notation", 1994 Basic

Tuxedo (software) (2,693 words) [view diff] case mismatch in snippet view article

Typed buffers FML/FML32 - Self-describing fielded buffers similar to Abstract Syntax Notation One or Fast Infoset XML STRING and multibyte strings MBSTRING

SQL injection (4,166 words) [view diff] exact match in snippet view article find links to article

Cai, T.; Zhang, X.; Lv, F. (April 2021). "Long short-term memory on abstract syntax tree for SQL injection detection". IET Software. 15 (2): 188–197. doi:10

Code injection (2,954 words) [view diff] exact match in snippet view article find links to article

T.; Zhang, X.; Lv, F. (12 March 2021). "Long short‐term memory on abstract syntax tree for SQL injection detection". IET Software. 15 (2): 188–197. doi:10

Meta-circular evaluator (1,921 words) [view diff] exact match in snippet view article find links to article

a self-evaluator for the λ {\displaystyle \lambda } calculus. The abstract syntax of the λ {\displaystyle \lambda } calculus is implemented as follows

Domain-specific language (3,864 words) [view diff] exact match in snippet view article find links to article

Xtext generates not only a parser but also a class model for the abstract syntax tree. In addition, it provides a fully featured, customizable Eclipse-based

F Sharp (programming language) (4,029 words) [view diff] exact match in snippet view article

meta-programming called quotations. A quotation expression evaluates to an abstract syntax tree representation of the F# expressions. Similarly, definitions labelled

XML (7,031 words) [view diff] case mismatch in snippet view article find links to article

22 August 2010. "Resource Description Framework (RDF): Concepts and Abstract Syntax". W3C. Retrieved 22 August 2010. "ISO/IEC 19757-3". ISO/IEC. 1 June

ITU-T (3,338 words) [view diff] case mismatch in snippet view article find links to article

"superseded" and keep their existing Recommendation number. ASN.1 (Abstract Syntax Notation One) Coding of audio: G.711 and G.72x series Coding of still

Ellipsis (computer programming) (1,065 words) [view diff] case mismatch in snippet view article

used as an expressive place-holder for code to be inserted later. In Abstract Syntax Notation One (ASN.1), the ellipsis is used as an extension marker to

Normalisation by evaluation (1,610 words) [view diff] case mismatch in snippet view article find links to article

Morten; Rose, Kristoffer (2001). "Normalization by Evaluation with Typed Abstract Syntax". Journal of Functional Programming. 11 (6): 673–680. Danvy, Olivier;

OSI model (5,416 words) [view diff] case mismatch in snippet view article find links to article

the transfer of syntax structure through the Basic Encoding Rules of Abstract Syntax Notation One (ASN.1), with capabilities such as converting an EBCDIC-coded

ISO/IEEE 11073 Personal Health Data Standards (3,644 words) [view diff] case mismatch in snippet view article find links to article

Each object, and all of its attributes, are formally defined using Abstract Syntax Notation One (ASN.1). ASN.1 provides a set of formal rules for describing

Communication protocol (8,206 words) [view diff] case mismatch in snippet view article find links to article

patterns. Popular formal methods of describing communication syntax are Abstract Syntax Notation One (an ISO standard) and augmented Backus–Naur form (an IETF

Program optimization (4,487 words) [view diff] exact match in snippet view article find links to article

macros are implemented using parse-time substitution of parse trees/abstract syntax trees, which it is claimed makes them safer to use. Since in many cases

Graph database (4,674 words) [view diff] case mismatch in snippet view article find links to article

PMID 24135261. "Resource Description Framework (RDF): Concepts and Abstract Syntax". www.w3.org. Retrieved 2018-10-24. "The Competitive Dynamics of the

Brownfield (software development) (1,170 words) [view diff] case mismatch in snippet view article

taken this capability even further via the use of formal grammars and Abstract Syntax Trees to enable almost any program to be parsed and tokenized into

PHP (11,986 words) [view diff] no match in snippet view article find links to article

rfc:size_t_and_int64_next". php.net. Retrieved 16 December 2014. "PHP: rfc:abstract_syntax_tree". php.net. Retrieved 16 December 2014. "PHP: rfc:closure_apply"

Learning theory (education) (6,664 words) [view diff] exact match in snippet view article

within the culture students are familiar with. For example, formal and abstract syntax of math problems can be transformed by placing a traditional math problem

Semantic parsing (2,859 words) [view diff] case mismatch in snippet view article find links to article

2017. Rabinovich, Maxim; Stern, Mitchell; Klein, Dan (2017-04-25). "Abstract Syntax Networks for Code Generation and Semantic Parsing". arXiv:1704.07535

Well-known URI (1,192 words) [view diff] case mismatch in snippet view article find links to article

Transport. IETF. doi:10.17487/RFC7030. RFC 7030. "RDF 1.1 Concepts and Abstract Syntax". www.w3.org. Retrieved 2021-10-06. "Global Privacy Control (GPC)"

YANG (2,607 words) [view diff] case mismatch in snippet view article find links to article

(SMI). The SMI language itself was based on the 1988 version of the Abstract Syntax Notation One (ASN.1). The current version of the SMI language, SMIv2

Biomolecular Object Network Databank (2,263 words) [view diff] case mismatch in snippet view article find links to article

updates and changes. BIND is based on a data specification written using Abstract Syntax Notation 1 (ASN.1) language. ASN.1 is used also by NCBI when storing

Outline of the United Nations (8,523 words) [view diff] case mismatch in snippet view article find links to article

Serial Digital Interface Standard:ITU-R 468 ATM Adaptation Layers Abstract Syntax Notation One Allowed cell rate Asymmetric Digital Subscriber Line Asynchronous

Binary-coded decimal (8,200 words) [view diff] case mismatch in snippet view article find links to article

types. "Signalling Protocols and Switching (SPS) Guidelines for using Abstract Syntax Notation One (ASN.1) in telecommunication application protocols" (PDF)

Louise Belcourt (2,331 words) [view diff] exact match in snippet view article find links to article

language remains distinct from either a purely representational or abstract syntax, combining natural, architectural and geometric forms—often stacked

Josep Maria Nadal i Farreras (1,180 words) [view diff] case mismatch in snippet view article find links to article

abstracta (On Aspects of the Current Catalan Subordination: Towards an Abstract Syntax). Soon, however, and beside Modest Prats he became interested in the

Propositional calculus (15,679 words) [view diff] exact match in snippet view article find links to article

parentheses are needed to interpret this formula. A very general and abstract syntax is given here, following the notation in the SEP, but including the

Caroline F. Rowland (1,352 words) [view diff] exact match in snippet view article find links to article

Ambridge, B., Pine, J. M., & Lieven, E. V. (2012). The development of abstract syntax: Evidence from structural priming and the lexical boost. Cognition

Client honeypot (2,601 words) [view diff] case mismatch in snippet view article find links to article

(vulnerability module), and static + dynamic analysis capabilities (using Abstract Syntax Tree and Libemu shellcode analyser). Thug is written in Python under

List of file formats (14,027 words) [view diff] case mismatch in snippet view article find links to article

instruments from Applied Biosystems ACE – A sequence assembly format ASN.1 – Abstract Syntax Notation One, is an International Standards Organization (ISO) data

RDFLib (3,185 words) [view diff] case mismatch in snippet view article find links to article

Wood, David; Lanthaler, Markus (2014-02-25), RDF 1.1 Concepts and Abstract Syntax, W3C, retrieved 2020-04-18 Harris, Steve; Seaborne, Andy (2013-03-21)

Dansk Datamatik Center (3,636 words) [view diff] exact match in snippet view article find links to article

implementation was equivalent to the specification. In cases where the static abstract syntax representation needed to have additional constraints incorporated,

Thornton Willis (3,744 words) [view diff] case mismatch in snippet view article find links to article

ISBN 0-942945-01-8 Frontispiece (color), pp. 74-75 C.E. Licka, Thornton Willis’ Abstract Syntax, Thornton Willis Recent Work: Paintings and Drawings, a catalogue,

Negative raising (3,100 words) [view diff] case mismatch in snippet view article find links to article

ISSN 0097-8507. JSTOR 412310. Seligson, Gerda; Lakoff, Robin T. (1969). "Abstract Syntax and Latin Complementation". The Classical World. 62 (9): 364. doi:10

List of ISO standards 8000–9999 (9,521 words) [view diff] case mismatch in snippet view article find links to article

Conformance Statement (PICS) proforma ISO/IEC 8824 Information technology – Abstract Syntax Notation One (ASN.1) ISO/IEC 8824-1:2015 Specification of basic notation