Matches in SemOpenAlex for { <https://semopenalex.org/work/W2544693247> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2544693247 endingPage "77" @default.
- W2544693247 startingPage "59" @default.
- W2544693247 abstract "This report documents the program and the outcomes of Dagstuhl Seminar 16131 Language Based Verification Tools for Functional Programs. This seminar is motivated by two converging trends in computing -- the increasing reliance on software has led to an increased interest in seeking formal, reliable means of ensuring that programs possess crucial correctness properties, and thedramatic increase in adoption of higher-order functional languages due to the web, multicore and big data revolutions.While the research community has studied the problem of language based verification for imperative and first-order programs for decades – yielding important ideas like Floyd-Hoare Logics, Abstract Interpretation, Model Checking, and Separation Logic and so on – it is only relatively recently, that proposals have emerged for language baseverification tools for functional and higher-order programs. These techniques include advanced type systems, contract systems, model checking and program analyses specially tailored to exploit the structure of functional languages. These proposals are from groups based in diverse research communities, attacking the problem from different angles, yielding techniques with complementary strengths.This seminar brought diverse set of researchers together so that we could:compare the strengths and limitations of different approaches, discuss ways to unify the complementary advantages of different techniques, both conceptually and in tools, share challenging open problems and application areas where verification may be most effective, identify novel ways of using verification techniques for other software engineering tasks such as code search or synthesis, and improve the pedagogy and hence adoption of such techniques." @default.
- W2544693247 created "2016-11-04" @default.
- W2544693247 creator A5002412544 @default.
- W2544693247 creator A5021948795 @default.
- W2544693247 creator A5034957233 @default.
- W2544693247 creator A5049220962 @default.
- W2544693247 date "2016-01-01" @default.
- W2544693247 modified "2023-09-24" @default.
- W2544693247 title "Language Based Verification Tools for Functional Programs (Dagstuhl Seminar 16131)" @default.
- W2544693247 doi "https://doi.org/10.4230/dagrep.6.3.59" @default.
- W2544693247 hasPublicationYear "2016" @default.
- W2544693247 type Work @default.
- W2544693247 sameAs 2544693247 @default.
- W2544693247 citedByCount "0" @default.
- W2544693247 crossrefType "journal-article" @default.
- W2544693247 hasAuthorship W2544693247A5002412544 @default.
- W2544693247 hasAuthorship W2544693247A5021948795 @default.
- W2544693247 hasAuthorship W2544693247A5034957233 @default.
- W2544693247 hasAuthorship W2544693247A5049220962 @default.
- W2544693247 hasConcept C110251889 @default.
- W2544693247 hasConcept C115903868 @default.
- W2544693247 hasConcept C149091818 @default.
- W2544693247 hasConcept C165696696 @default.
- W2544693247 hasConcept C177264268 @default.
- W2544693247 hasConcept C199360897 @default.
- W2544693247 hasConcept C2777561058 @default.
- W2544693247 hasConcept C2777904410 @default.
- W2544693247 hasConcept C38652104 @default.
- W2544693247 hasConcept C41008148 @default.
- W2544693247 hasConcept C55439883 @default.
- W2544693247 hasConceptScore W2544693247C110251889 @default.
- W2544693247 hasConceptScore W2544693247C115903868 @default.
- W2544693247 hasConceptScore W2544693247C149091818 @default.
- W2544693247 hasConceptScore W2544693247C165696696 @default.
- W2544693247 hasConceptScore W2544693247C177264268 @default.
- W2544693247 hasConceptScore W2544693247C199360897 @default.
- W2544693247 hasConceptScore W2544693247C2777561058 @default.
- W2544693247 hasConceptScore W2544693247C2777904410 @default.
- W2544693247 hasConceptScore W2544693247C38652104 @default.
- W2544693247 hasConceptScore W2544693247C41008148 @default.
- W2544693247 hasConceptScore W2544693247C55439883 @default.
- W2544693247 hasIssue "3" @default.
- W2544693247 hasLocation W25446932471 @default.
- W2544693247 hasOpenAccess W2544693247 @default.
- W2544693247 hasPrimaryLocation W25446932471 @default.
- W2544693247 hasRelatedWork W1512370798 @default.
- W2544693247 hasRelatedWork W1565807956 @default.
- W2544693247 hasRelatedWork W1606631201 @default.
- W2544693247 hasRelatedWork W1988020221 @default.
- W2544693247 hasRelatedWork W2010642398 @default.
- W2544693247 hasRelatedWork W2057478091 @default.
- W2544693247 hasRelatedWork W2072697836 @default.
- W2544693247 hasRelatedWork W2078844586 @default.
- W2544693247 hasRelatedWork W2106821916 @default.
- W2544693247 hasRelatedWork W2132449052 @default.
- W2544693247 hasRelatedWork W2148724073 @default.
- W2544693247 hasRelatedWork W2184781191 @default.
- W2544693247 hasRelatedWork W2734940986 @default.
- W2544693247 hasRelatedWork W2751886073 @default.
- W2544693247 hasRelatedWork W2755868726 @default.
- W2544693247 hasRelatedWork W2794608298 @default.
- W2544693247 hasRelatedWork W2876786669 @default.
- W2544693247 hasRelatedWork W2898849581 @default.
- W2544693247 hasRelatedWork W3048512501 @default.
- W2544693247 hasRelatedWork W3211136204 @default.
- W2544693247 hasVolume "6" @default.
- W2544693247 isParatext "false" @default.
- W2544693247 isRetracted "false" @default.
- W2544693247 magId "2544693247" @default.
- W2544693247 workType "article" @default.