Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Typed_assembly_language> ?p ?o }
Showing triples 1 to 53 of
53
with 100 triples per page.
- Typed_assembly_language abstract "In computer science, a typed assembly language (TAL) is an assembly language that is extended to include a method of annotating the datatype of each value that is manipulated by the code. These annotations can then be used by a program (type checker) that processes the assembly language code in order to analyse how it will behave when it is executed. Specifically, such a type checker can be used to prove the type safety of code that meets the criteria of some appropriate type system. Typed assembly languages usually include a high-level memory management system based on garbage collection.A typed assembly language with a suitably expressive type system can be used to enable the safe execution of untrusted code without using an intermediate representation like bytecode, allowing features similar to those currently provided by virtual machine environments like Java and .NET.".
- Typed_assembly_language wikiPageExternalLink talc.
- Typed_assembly_language wikiPageID "5115749".
- Typed_assembly_language wikiPageLength "1539".
- Typed_assembly_language wikiPageOutDegree "16".
- Typed_assembly_language wikiPageRevisionID "544375996".
- Typed_assembly_language wikiPageWikiLink .NET_Framework.
- Typed_assembly_language wikiPageWikiLink Assembly_language.
- Typed_assembly_language wikiPageWikiLink Benjamin_C._Pierce.
- Typed_assembly_language wikiPageWikiLink Bytecode.
- Typed_assembly_language wikiPageWikiLink Category:Assembly_languages.
- Typed_assembly_language wikiPageWikiLink Category:Computer_security.
- Typed_assembly_language wikiPageWikiLink Category:Programming_language_theory.
- Typed_assembly_language wikiPageWikiLink Computer_science.
- Typed_assembly_language wikiPageWikiLink Data_type.
- Typed_assembly_language wikiPageWikiLink Datatype.
- Typed_assembly_language wikiPageWikiLink Garbage_collection_(computer_science).
- Typed_assembly_language wikiPageWikiLink Greg_Morrisett.
- Typed_assembly_language wikiPageWikiLink IA-32.
- Typed_assembly_language wikiPageWikiLink Java_(software_platform).
- Typed_assembly_language wikiPageWikiLink Java_platform.
- Typed_assembly_language wikiPageWikiLink Proof-carrying_code.
- Typed_assembly_language wikiPageWikiLink Type_safety.
- Typed_assembly_language wikiPageWikiLink Type_system.
- Typed_assembly_language wikiPageWikiLinkText "Typed assembly language".
- Typed_assembly_language wikiPageWikiLinkText "typed assembly language".
- Typed_assembly_language hasPhotoCollection Typed_assembly_language.
- Typed_assembly_language wikiPageUsesTemplate Template:Comp-sci-stub.
- Typed_assembly_language wikiPageUsesTemplate Template:Prog-lang-stub.
- Typed_assembly_language subject Category:Assembly_languages.
- Typed_assembly_language subject Category:Computer_security.
- Typed_assembly_language subject Category:Programming_language_theory.
- Typed_assembly_language hypernym Language.
- Typed_assembly_language type Area.
- Typed_assembly_language type Language.
- Typed_assembly_language type ProgrammingLanguage.
- Typed_assembly_language type Software.
- Typed_assembly_language type Work.
- Typed_assembly_language type Area.
- Typed_assembly_language type Language.
- Typed_assembly_language type CreativeWork.
- Typed_assembly_language type Thing.
- Typed_assembly_language type Q386724.
- Typed_assembly_language type Q7397.
- Typed_assembly_language type Q9143.
- Typed_assembly_language comment "In computer science, a typed assembly language (TAL) is an assembly language that is extended to include a method of annotating the datatype of each value that is manipulated by the code. These annotations can then be used by a program (type checker) that processes the assembly language code in order to analyse how it will behave when it is executed. Specifically, such a type checker can be used to prove the type safety of code that meets the criteria of some appropriate type system.".
- Typed_assembly_language label "Typed assembly language".
- Typed_assembly_language sameAs Langage_dassemblage_typxc3xa9.
- Typed_assembly_language sameAs m.0d3byr.
- Typed_assembly_language sameAs Q3217176.
- Typed_assembly_language sameAs Q3217176.
- Typed_assembly_language wasDerivedFrom Typed_assembly_language?oldid=544375996.
- Typed_assembly_language isPrimaryTopicOf Typed_assembly_language.