Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/TXL_(programming_language)> ?p ?o }
Showing triples 1 to 65 of
65
with 100 triples per page.
- TXL_(programming_language) abstract "TXL is a special-purpose programming language originally designed by Charles Halpern-Hamu and James Cordy at the University of Toronto in 1985. The acronym \"TXL\" originally stood for \"Turing eXtender Language\" after the language's original purpose, the specification and rapid prototyping of variants and extensions of the Turing programming language, but no longer has any meaningful interpretation.Modern TXL is specifically designed for creating, manipulating and rapidly prototyping language-based descriptions, tools and applications using source transformation. It is a hybrid functional / rule-based language using first order functional programming at the higher level and term rewriting at the lower level. The formal semantics and implementation of TXL are based on formal term rewriting, but the term structures are largely hidden from the user due to the example-like style of pattern specification. Each TXL program has two components: a description of the source structures to be transformed, specified as a (possibly ambiguous) context-free grammar using an extended Backus–Naur Form; and a set of tree transformation rules, specified using pattern / replacement pairs combined using first order functional programming. TXL is designed to allow explicit programmer control over the interpretation, application, order and backtracking of both parsing and rewriting rules, allowing for expression of a wide range of grammar-based techniques such as agile parsing.The first component parses the input expression into a tree using pattern-matching. The second component uses Term-rewriting in a manner similar to Yacc to produce the transformed output.TXL is most commonly used in software analysis and reengineering tasks such as design recovery, and in rapid prototyping of new programming languages and dialects.".
- TXL_(programming_language) designer Charles_Halpern-Hamu.
- TXL_(programming_language) designer James_Cordy.
- TXL_(programming_language) developer Charles_Halpern-Hamu.
- TXL_(programming_language) developer James_Cordy.
- TXL_(programming_language) wikiPageExternalLink citation.cfm?id=114627.115074.
- TXL_(programming_language) wikiPageExternalLink citation.cfm?id=1149672.
- TXL_(programming_language) wikiPageExternalLink Sort.Txl.
- TXL_(programming_language) wikiPageExternalLink factorial.txl.
- TXL_(programming_language) wikiPageExternalLink www.txl.ca.
- TXL_(programming_language) wikiPageID "7025179".
- TXL_(programming_language) wikiPageLength "3908".
- TXL_(programming_language) wikiPageOutDegree "26".
- TXL_(programming_language) wikiPageRevisionID "442810396".
- TXL_(programming_language) wikiPageWikiLink Category:Functional_languages.
- TXL_(programming_language) wikiPageWikiLink Charles_Halpern-Hamu.
- TXL_(programming_language) wikiPageWikiLink Code_refactoring.
- TXL_(programming_language) wikiPageWikiLink Context-free_grammar.
- TXL_(programming_language) wikiPageWikiLink DMS_Software_Reengineering_Toolkit.
- TXL_(programming_language) wikiPageWikiLink Extended_Backus–Naur_Form.
- TXL_(programming_language) wikiPageWikiLink Functional_programming.
- TXL_(programming_language) wikiPageWikiLink James_Cordy.
- TXL_(programming_language) wikiPageWikiLink Logic_programming.
- TXL_(programming_language) wikiPageWikiLink Pattern_matching.
- TXL_(programming_language) wikiPageWikiLink Program_transformation.
- TXL_(programming_language) wikiPageWikiLink Programming_language.
- TXL_(programming_language) wikiPageWikiLink Rapid_prototyping.
- TXL_(programming_language) wikiPageWikiLink Refal.
- TXL_(programming_language) wikiPageWikiLink Rewriting.
- TXL_(programming_language) wikiPageWikiLink Semantics_(computer_science).
- TXL_(programming_language) wikiPageWikiLink Turing_(programming_language).
- TXL_(programming_language) wikiPageWikiLink University_of_Toronto.
- TXL_(programming_language) wikiPageWikiLink Yacc.
- TXL_(programming_language) wikiPageWikiLinkText "TXL (programming language)".
- TXL_(programming_language) wikiPageWikiLinkText "TXL programming language".
- TXL_(programming_language) wikiPageWikiLinkText "TXL".
- TXL_(programming_language) designer "Charles Halpern-Hamu".
- TXL_(programming_language) designer "James Cordy".
- TXL_(programming_language) developer James_Cordy.
- TXL_(programming_language) developer "Charles Halpern-Hamu".
- TXL_(programming_language) developer "Eric Promislow".
- TXL_(programming_language) developer "Ian Carmichael".
- TXL_(programming_language) name "TXL".
- TXL_(programming_language) paradigm "Pattern-matching and Term-rewriting".
- TXL_(programming_language) wikiPageUsesTemplate Template:Infobox_programming_language.
- TXL_(programming_language) subject Category:Functional_languages.
- TXL_(programming_language) hypernym Language.
- TXL_(programming_language) type Language.
- TXL_(programming_language) type ProgrammingLanguage.
- TXL_(programming_language) type VideoGame.
- TXL_(programming_language) type Language.
- TXL_(programming_language) type Redirect.
- TXL_(programming_language) type Language.
- TXL_(programming_language) type Thing.
- TXL_(programming_language) type Q315.
- TXL_(programming_language) type Q34770.
- TXL_(programming_language) type Q9143.
- TXL_(programming_language) comment "TXL is a special-purpose programming language originally designed by Charles Halpern-Hamu and James Cordy at the University of Toronto in 1985.".
- TXL_(programming_language) label "TXL (programming language)".
- TXL_(programming_language) sameAs Q7590386.
- TXL_(programming_language) sameAs m.0h0wtq.
- TXL_(programming_language) sameAs Q7590386.
- TXL_(programming_language) wasDerivedFrom TXL_(programming_language)?oldid=442810396.
- TXL_(programming_language) isPrimaryTopicOf TXL_(programming_language).
- TXL_(programming_language) name "TXL".