Certified CYK parsing of context-free languages

Uloženo v:
Podrobná bibliografie
Vydáno v:Journal of logical and algebraic methods in programming Ročník 83; číslo 5-6; s. 459 - 468
Hlavní autoři: Firsov, Denis, Uustalu, Tarmo
Médium: Journal Article
Jazyk:angličtina
Vydáno: 01.09.2014
ISSN:2352-2208
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Author Uustalu, Tarmo
Firsov, Denis
Author_xml – sequence: 1
  givenname: Denis
  surname: Firsov
  fullname: Firsov, Denis
– sequence: 2
  givenname: Tarmo
  surname: Uustalu
  fullname: Uustalu, Tarmo
BookMark eNp9j71OwzAUhT0UiVL6BCx5gaTX1_nziCL-1EosMDBZrnMdOUqTyDYSvD0pMDEwneV8R-e7YqtxGomxGw4ZB17u-qwf9GnOEHiegcwAcMXWKApMEaG-ZNsQeoClWle14Gu2a8hHZx21SfO2T2btgxu7ZLKJmcZIHzG1nigZ9Ni9647CNbuwegi0_c0Ne72_e2ke08Pzw1Nze0gN5jKmRzSlFAKIC8vJYptXWktuy1pyIsBCmjJvORcFSFsYXbYozVIwFZbmKGuxYfJn1_gpBE9WGRd1dMspr92gOKizsOrVt7A6CyuQahFeWPGHnb07af_5L_UFur5e3A
CitedBy_id crossref_primary_10_1145_3591472
Cites_doi 10.1016/S0022-0000(75)80046-8
10.1007/BF01941137
ContentType Journal Article
DBID AAYXX
CITATION
DOI 10.1016/j.jlamp.2014.09.002
DatabaseName CrossRef
DatabaseTitle CrossRef
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EndPage 468
ExternalDocumentID 10_1016_j_jlamp_2014_09_002
GroupedDBID --M
0R~
4.4
457
4G.
7-5
8P~
AAEDT
AAEDW
AAIKJ
AAKOC
AALRI
AAOAW
AATTM
AAXKI
AAXUO
AAYFN
AAYWO
AAYXX
ABBOA
ABJNI
ABMAC
ABXDB
ACDAQ
ACGFS
ACLOT
ACRLP
ACVFH
ADBBV
ADCNI
ADEZE
ADVLN
AEBSH
AEIPS
AEKER
AENEX
AEUPX
AFJKZ
AFPUW
AFTJW
AGHFR
AGUBO
AIALX
AIEXJ
AIGII
AIIUN
AIKHN
AITUG
AKBMS
AKRWK
AKYEP
ALMA_UNASSIGNED_HOLDINGS
AMRAJ
ANKPU
AOUOD
AXJTR
BKOJK
BLXMC
CITATION
EBS
EFJIC
EFKBS
EFLBG
EJD
FDB
FIRID
FYGXN
GBLVA
GBOLZ
HZ~
KOM
M41
O9-
OAUVE
ROL
SPC
SPCBC
SSV
SSZ
T5K
~G-
ID FETCH-LOGICAL-c249t-b2c69330e13f1ef2d47aa91f6891ee0259c64d113509f5ca6d29ca91c726cb983
ISICitedReferencesCount 14
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000345179400006&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 2352-2208
IngestDate Thu Nov 13 04:20:26 EST 2025
Tue Nov 18 20:12:38 EST 2025
IsPeerReviewed true
IsScholarly true
Issue 5-6
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-c249t-b2c69330e13f1ef2d47aa91f6891ee0259c64d113509f5ca6d29ca91c726cb983
PageCount 10
ParticipantIDs crossref_citationtrail_10_1016_j_jlamp_2014_09_002
crossref_primary_10_1016_j_jlamp_2014_09_002
PublicationCentury 2000
PublicationDate 2014-09-01
PublicationDateYYYYMMDD 2014-09-01
PublicationDate_xml – month: 09
  year: 2014
  text: 2014-09-01
  day: 01
PublicationDecade 2010
PublicationTitle Journal of logical and algebraic methods in programming
PublicationYear 2014
References Norell (10.1016/j.jlamp.2014.09.002_br0030) 2009; vol. 5832
Koprowski (10.1016/j.jlamp.2014.09.002_br0090) 2011; 7
Ridge (10.1016/j.jlamp.2014.09.002_br0130) 2011; vol. 7086
Valiant (10.1016/j.jlamp.2014.09.002_br0050) 1975; 10
Danielsson (10.1016/j.jlamp.2014.09.002_br0110) 2010
Younger (10.1016/j.jlamp.2014.09.002_br0040) 1967; 10
Barthwal (10.1016/j.jlamp.2014.09.002_br0080) 2009; vol. 5502
Sjöblom (10.1016/j.jlamp.2014.09.002_br0120) 2013
Firsov (10.1016/j.jlamp.2014.09.002_br0010) 2013; vol. 8307
Nordström (10.1016/j.jlamp.2014.09.002_br0060) 1988; 28
Wadler (10.1016/j.jlamp.2014.09.002_br0070) 1990
Norell (10.1016/j.jlamp.2014.09.002_br0020) 2007
Jourdan (10.1016/j.jlamp.2014.09.002_br0100) 2012; vol. 7211
References_xml – year: 2007
  ident: 10.1016/j.jlamp.2014.09.002_br0020
– volume: vol. 5832
  start-page: 230
  year: 2009
  ident: 10.1016/j.jlamp.2014.09.002_br0030
  article-title: Dependently typed programming in Agda
– start-page: 61
  year: 1990
  ident: 10.1016/j.jlamp.2014.09.002_br0070
  article-title: Comprehending monads
– volume: vol. 8307
  start-page: 98
  year: 2013
  ident: 10.1016/j.jlamp.2014.09.002_br0010
  article-title: Certified parsing of regular languages
– volume: 10
  start-page: 308
  issue: 2
  year: 1975
  ident: 10.1016/j.jlamp.2014.09.002_br0050
  article-title: General context-free recognition in less than cubic time
  publication-title: J. Comput. Syst. Sci.
  doi: 10.1016/S0022-0000(75)80046-8
– volume: 7
  issue: 2
  year: 2011
  ident: 10.1016/j.jlamp.2014.09.002_br0090
  article-title: TRX: a formally verified parser interpreter
  publication-title: Log. Methods Comput. Sci.
– volume: vol. 5502
  start-page: 160
  year: 2009
  ident: 10.1016/j.jlamp.2014.09.002_br0080
  article-title: Verified, executable parsing
– start-page: 285
  year: 2010
  ident: 10.1016/j.jlamp.2014.09.002_br0110
  article-title: Total parser combinators
– volume: 10
  start-page: 189
  issue: 2
  year: 1967
  ident: 10.1016/j.jlamp.2014.09.002_br0040
  article-title: Recognition and parsing of context-free languages in time O(n3)
  publication-title: Inf. Comput.
– year: 2013
  ident: 10.1016/j.jlamp.2014.09.002_br0120
– volume: vol. 7086
  start-page: 103
  year: 2011
  ident: 10.1016/j.jlamp.2014.09.002_br0130
  article-title: Simple, functional, sound and complete parsing for all context-free grammars
– volume: 28
  start-page: 605
  issue: 3
  year: 1988
  ident: 10.1016/j.jlamp.2014.09.002_br0060
  article-title: Terminating general recursion
  publication-title: BIT Numer. Math.
  doi: 10.1007/BF01941137
– volume: vol. 7211
  start-page: 397
  year: 2012
  ident: 10.1016/j.jlamp.2014.09.002_br0100
  article-title: Validating LR(1) parsers
SSID ssj0001687831
Score 2.0061157
SourceID crossref
SourceType Enrichment Source
Index Database
StartPage 459
Title Certified CYK parsing of context-free languages
Volume 83
WOSCitedRecordID wos000345179400006&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVESC
  databaseName: Elsevier SD Freedom Collection Journals 2021
  issn: 2352-2208
  databaseCode: AIEXJ
  dateStart: 20140301
  customDbUrl:
  isFulltext: true
  dateEnd: 20180131
  titleUrlDefault: https://www.sciencedirect.com
  omitProxy: false
  ssIdentifier: ssj0001687831
  providerName: Elsevier
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1LT9tAEF5VoYdeKJQi3vKht7LFu3b2cUQRiLYS6gGkcLLsfaBEiRMlAfHzO_uwY4GK4NCLZa3WK9sznvk8Hn8fQt80ZDkLuQBzL2GmM41LpQiWnNg0q6xOlfZiE_z6WgyH8k-kJ1h6OQFe1-LpSc7_q6lhDIztfp19h7nbRWEA9sHosAWzw_ZNhh-4TmnrkOXg7vf3eRmqAb57vHZtHtgujGnrlMt_oNMmJHou18m9-7w8UlFvOrSeh8auaZP6nA-MAL0_higWCEv88K37R2vy4D2jXExn3UIDydtOqhiPKGA1TGkqusEzqNBEJ-njbizMI9V3SKt5UM95EbFD8WD8YwwPgOMPJYF3NqXrBNV8lH-Wt9puwqZRbVz4RQq3SJHKwpOMblDel6KHNs5_Xgx_rctvTHDh1Srby2o4qXz334vT6eCWDgC52UKb0TbJebD4Nvpg6i_oc6PKkcQgvYPOWgdIwAGS6ADJzCZdB0haB_iKbi8vbgZXOMpiYAXvyitcUcVcGcqQzBJjqc55WUpimZDEGMCwUrFcE5IBFrR9VTJNpYIJilOmKimyXdSrZ7XZQ0lqFeO64qxMqxywZZVbYY1iGVGAY0W-j2hz0YWKnPFOumRSvHLP99Fpe9A8UKa8Nv3gfdMP0ae1cx6h3mrxYI7RR_W4Gi0XJ9HMfwFu9WXE
linkProvider Elsevier
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Certified+CYK+parsing+of+context-free+languages&rft.jtitle=Journal+of+logical+and+algebraic+methods+in+programming&rft.au=Firsov%2C+Denis&rft.au=Uustalu%2C+Tarmo&rft.date=2014-09-01&rft.issn=2352-2208&rft.volume=83&rft.issue=5-6&rft.spage=459&rft.epage=468&rft_id=info:doi/10.1016%2Fj.jlamp.2014.09.002&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_j_jlamp_2014_09_002
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2352-2208&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2352-2208&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2352-2208&client=summon