{"id":"https://openalex.org/W2561365607","doi":null,"title":"Quantum Programming Language LanQ","display_name":"Quantum Programming Language LanQ","publication_year":2007,"publication_date":"2007-01-01","ids":{"openalex":"https://openalex.org/W2561365607","mag":"2561365607"},"language":"en","primary_location":{"id":"mag:2561365607","doi":null,"is_oa":false,"landing_page_url":"http://lanq.sourceforge.net/doc/lanq-thesis.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5005399701","display_name":"Hynek Mlna\u0159\u00edk","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Hynek Mlna\u0159\u00edk","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5005399701"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.6401000022888184,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.6401000022888184,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.34470000863075256,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10020","display_name":"Quantum Information and Cryptography","score":0.003100000089034438,"subfield":{"id":"https://openalex.org/subfields/3107","display_name":"Atomic and Molecular Physics, and Optics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/quantum-programming-languages","display_name":"quantum programming languages","score":0.7870000004768372},{"id":"https://openalex.org/keywords/quantum-computing","display_name":"quantum computing","score":0.5260000228881836},{"id":"https://openalex.org/keywords/no-cloning-theorem","display_name":"no-cloning theorem","score":0.6980000138282776},{"id":"https://openalex.org/keywords/process-calculus","display_name":"process algebra","score":0.871999979019165},{"id":"https://openalex.org/keywords/interprocess-communication","display_name":"interprocess communication","score":0.8849999904632568},{"id":"https://openalex.org/keywords/type-soundness","display_name":"type soundness","score":0.8769999742507935},{"id":"https://openalex.org/keywords/memory-models","display_name":"memory models","score":0.7929999828338623},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"operational semantics","score":0.9539999961853027},{"id":"https://openalex.org/keywords/quantum-resource-management","display_name":"quantum resource management","score":0.6480000019073486},{"id":"https://openalex.org/keywords/quantum-random-number-generators","display_name":"quantum random number generators","score":0.699999988079071},{"id":"https://openalex.org/keywords/quantum-simulators","display_name":"quantum simulators","score":0.5630000233650208}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8666383028030396},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.8223509788513184},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.5469591021537781},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5349055528640747},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.5046170949935913},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.49063459038734436},{"id":"https://openalex.org/C570499","wikidata":"https://www.wikidata.org/wiki/Q1289116","display_name":"First-generation programming language","level":3,"score":0.4811076521873474},{"id":"https://openalex.org/C19024347","wikidata":"https://www.wikidata.org/wiki/Q211496","display_name":"High-level programming language","level":3,"score":0.4321417808532715},{"id":"https://openalex.org/C20724563","wikidata":"https://www.wikidata.org/wiki/Q3075258","display_name":"Language primitive","level":4,"score":0.42981380224227905},{"id":"https://openalex.org/C15077461","wikidata":"https://www.wikidata.org/wiki/Q7248507","display_name":"Programming language specification","level":5,"score":0.4221077263355255},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.41191157698631287},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40154364705085754},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.2185799479484558},{"id":"https://openalex.org/C119263510","wikidata":"https://www.wikidata.org/wiki/Q7248501","display_name":"Programming domain","level":4,"score":0.12795168161392212},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.11562857031822205},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:2561365607","doi":null,"is_oa":false,"landing_page_url":"http://lanq.sourceforge.net/doc/lanq-thesis.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":61,"referenced_works":["https://openalex.org/W37314665","https://openalex.org/W102856817","https://openalex.org/W622285400","https://openalex.org/W1485061101","https://openalex.org/W1501699518","https://openalex.org/W1537615043","https://openalex.org/W1544331224","https://openalex.org/W1597330895","https://openalex.org/W1619379664","https://openalex.org/W1631356911","https://openalex.org/W1640543104","https://openalex.org/W1972478730","https://openalex.org/W1978553093","https://openalex.org/W1980939032","https://openalex.org/W1982928587","https://openalex.org/W1986407511","https://openalex.org/W1997124098","https://openalex.org/W1999702075","https://openalex.org/W2015179126","https://openalex.org/W2018674325","https://openalex.org/W2020725861","https://openalex.org/W2033216491","https://openalex.org/W2034188142","https://openalex.org/W2034870916","https://openalex.org/W2035993353","https://openalex.org/W2044085038","https://openalex.org/W2049471987","https://openalex.org/W2050334794","https://openalex.org/W2052146120","https://openalex.org/W2064622659","https://openalex.org/W2076218011","https://openalex.org/W2088962847","https://openalex.org/W2092952058","https://openalex.org/W2101088258","https://openalex.org/W2101206446","https://openalex.org/W2101556801","https://openalex.org/W2109585055","https://openalex.org/W2112320167","https://openalex.org/W2115757125","https://openalex.org/W2121369607","https://openalex.org/W2128932399","https://openalex.org/W2141046241","https://openalex.org/W2142902085","https://openalex.org/W2146078873","https://openalex.org/W2148132004","https://openalex.org/W2157769965","https://openalex.org/W2160765215","https://openalex.org/W2166822586","https://openalex.org/W2168676717","https://openalex.org/W2168893913","https://openalex.org/W2179731956","https://openalex.org/W2493581502","https://openalex.org/W2752853835","https://openalex.org/W2782499725","https://openalex.org/W2914012520","https://openalex.org/W2950993906","https://openalex.org/W2951214865","https://openalex.org/W3007889862","https://openalex.org/W3144368627","https://openalex.org/W3199565109","https://openalex.org/W4244719572"],"related_works":["https://openalex.org/W102856817","https://openalex.org/W2782499725","https://openalex.org/W2120939440","https://openalex.org/W7096823113","https://openalex.org/W2104406942","https://openalex.org/W7098895990","https://openalex.org/W4224988834","https://openalex.org/W4301895766","https://openalex.org/W7095187029","https://openalex.org/W7099331422"],"abstract_inverted_index":{"We":[0,168,197],"define":[1],"a":[2,23,73,81,103,111,115,132,194,203,213],"typed":[3],"imperative":[4],"quantum":[5,28,74,85],"programming":[6],"language":[7,31,39,94,157,180,185,210],"LanQ":[8,220],"that":[9,16,36,83,137],"allows":[10,69],"programmers":[11,42,70],"to":[12,35,43,63,71,76,191,216],"implement":[13],"any":[14],"algorithm":[15],"is":[17,33,107,223],"based":[18],"on":[19],"either":[20],"one,":[21],"or":[22,27],"combination":[24],"of":[25,37,50,125,178,202,219],"classical":[26],"computation.":[29],"The":[30,93,128],"syntax":[32],"similar":[34],"C":[38],"and":[40,60,89,118,165,181,211],"forces":[41],"structure":[44],"their":[45],"programs":[46,64,188],"into":[47],"smaller":[48],"pieces":[49],"code":[51],"(methods,":[52],"blocks)":[53],"what":[54],"makes":[55],"the":[56,151,156,175,179,183,187,209,217],"program":[57],"better":[58],"readable":[59],"maintainable":[61],"compared":[62],"in":[65,79,208],"unstructured":[66],"languages.":[67],"It":[68,121],"assign":[72],"system":[75],"several":[77],"variables":[78],"such":[80,100],"way":[82],"all":[84],"principles,":[86],"namely":[87],"no-cloning":[88],"no-deleting,":[90],"are":[91,134,139,189],"obeyed.":[92],"also":[95,169],"offers":[96],"process":[97,105,113,146],"algebraic":[98],"features":[99],"as":[101],"creation":[102],"new":[104,112],"(this":[106],"done":[108],"by":[109,142],"forking":[110],"from":[114],"running":[116],"one)":[117],"interprocess":[119],"communication.":[120],"therefore":[122],"supports":[123],"implementation":[124,218],"multiparty":[126],"protocols.":[127],"resources":[129],"sent":[130],"over":[131],"channel":[133],"handled":[135],"so":[136],"they":[138],"always":[140],"owned":[141],"at":[143,147,226],"most":[144],"one":[145,148],"time.":[149],"In":[150],"thesis,":[152],"we":[153],"formally":[154],"describe":[155],"syntax,":[158],"its":[159],"type":[160,171],"system,":[161],"memory":[162],"model":[163],"used":[164],"operational":[166],"semantics.":[167],"prove":[170],"soundness":[172],"property":[173],"for":[174,182],"noncommunicating":[176],"part":[177],"full":[184],"provided":[186],"guaranteed":[190],"use":[192],"only":[193],"well-formed":[195],"communication..":[196],"show":[198],"an":[199],"example":[200],"run":[201],"random":[204],"number":[205],"generator":[206],"implemented":[207],"provide":[212],"reference":[214],"manual":[215],"simulator":[221],"which":[222],"publicly":[224],"available":[225],"http://lanq.sf.net/.":[227]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2017-01-06T00:00:00"}