Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/AbsInt> ?p ?o }
Showing triples 1 to 77 of
77
with 100 triples per page.
- AbsInt abstract "AbsInt is a software-development tools vendor based in Saarbrücken, Germany. The company was founded in 1998 as a technology spin-off from the Department of Programming Languages and Compiler Construction of Prof. Reinhard Wilhelm at Saarland University. AbsInt specializes in software-verification tools based on abstract interpretation. Its tools are used worldwide by Fortune 500 companies, educational institutions, government agencies and startups.".
- AbsInt keyPerson Reinhard_Wilhelm.
- AbsInt location Germany.
- AbsInt location Saarbrücken.
- AbsInt product Astrée_(static_analysis).
- AbsInt type Privately_held_company.
- AbsInt wikiPageExternalLink www.absint.com.
- AbsInt wikiPageExternalLink www.absint.com.
- AbsInt wikiPageID "37301795".
- AbsInt wikiPageLength "11432".
- AbsInt wikiPageOutDegree "35".
- AbsInt wikiPageRevisionID "692025951".
- AbsInt wikiPageWikiLink Abstract_interpretation.
- AbsInt wikiPageWikiLink Astrée_(static_analysis).
- AbsInt wikiPageWikiLink C_(programming_language).
- AbsInt wikiPageWikiLink Category:Static_program_analysis_tools.
- AbsInt wikiPageWikiLink Centre_national_de_la_recherche_scientifique.
- AbsInt wikiPageWikiLink CompCert.
- AbsInt wikiPageWikiLink Esterel_Technologies.
- AbsInt wikiPageWikiLink European_Commission.
- AbsInt wikiPageWikiLink Federal_Ministry_of_Education_and_Research_(Germany).
- AbsInt wikiPageWikiLink File:Logo_AbsInt.png.
- AbsInt wikiPageWikiLink French_Institute_for_Research_in_Computer_Science_and_Automation.
- AbsInt wikiPageWikiLink Germany.
- AbsInt wikiPageWikiLink International_Space_Station.
- AbsInt wikiPageWikiLink Jules_Verne_ATV.
- AbsInt wikiPageWikiLink NASA.
- AbsInt wikiPageWikiLink National_Highway_Traffic_Safety_Administration.
- AbsInt wikiPageWikiLink Patrick_Cousot.
- AbsInt wikiPageWikiLink Privately_held_company.
- AbsInt wikiPageWikiLink Real-time_computing.
- AbsInt wikiPageWikiLink Reinhard_Wilhelm.
- AbsInt wikiPageWikiLink Saarbrücken.
- AbsInt wikiPageWikiLink Saarland_University.
- AbsInt wikiPageWikiLink Stack_(abstract_data_type).
- AbsInt wikiPageWikiLink Stack_overflow.
- AbsInt wikiPageWikiLink Static_program_analysis.
- AbsInt wikiPageWikiLink Sudden_unintended_acceleration.
- AbsInt wikiPageWikiLink Worst-case_execution_time.
- AbsInt wikiPageWikiLink École_Normale_Supérieure.
- AbsInt wikiPageWikiLink Category:Companies_based_in_Saarbrücken.
- AbsInt wikiPageWikiLink Category:Software_companies_based_in_Saarbrücken.
- AbsInt wikiPageWikiLinkText "AbsInt GmbH".
- AbsInt wikiPageWikiLinkText "AbsInt".
- AbsInt homepage www.absint.com.
- AbsInt industry "Software Verification Tools".
- AbsInt keyPeople "Founders: Christian Ferdinand, Daniel Kästner, Marc Langenbach, Florian Martin, Stephan Thesing, and Reinhard Wilhelm".
- AbsInt location "Saarbrücken, Germany".
- AbsInt logo "200".
- AbsInt name "AbsInt Angewandte Informatik GmbH".
- AbsInt products "aiT, StackAnalyzer, Astrée".
- AbsInt type Privately_held_company.
- AbsInt wikiPageUsesTemplate Template:Infobox_company.
- AbsInt wikiPageUsesTemplate Template:Portal.
- AbsInt wikiPageUsesTemplate Template:Reflist.
- AbsInt subject Category:Static_program_analysis_tools.
- AbsInt subject Category:Companies_based_in_Saarbrücken.
- AbsInt subject Category:Software_companies_based_in_Saarbrücken.
- AbsInt hypernym Vendor.
- AbsInt type Agent.
- AbsInt type Company.
- AbsInt type Organisation.
- AbsInt type Tool.
- AbsInt type Organization.
- AbsInt type Agent.
- AbsInt type SocialPerson.
- AbsInt type Thing.
- AbsInt type Q43229.
- AbsInt comment "AbsInt is a software-development tools vendor based in Saarbrücken, Germany. The company was founded in 1998 as a technology spin-off from the Department of Programming Languages and Compiler Construction of Prof. Reinhard Wilhelm at Saarland University. AbsInt specializes in software-verification tools based on abstract interpretation. Its tools are used worldwide by Fortune 500 companies, educational institutions, government agencies and startups.".
- AbsInt label "AbsInt".
- AbsInt sameAs Q4669633.
- AbsInt sameAs m.0n5t_59.
- AbsInt sameAs Q4669633.
- AbsInt wasDerivedFrom AbsInt?oldid=692025951.
- AbsInt homepage www.absint.com.
- AbsInt isPrimaryTopicOf AbsInt.
- AbsInt name "AbsInt Angewandte Informatik GmbH".