[ACM Press CHI '05 extended abstracts - Portland, OR, USA (2005.04.02-2005.04.07)] CHI '05 extended abstracts on Human factors in computing systems - CHI '05 - Glimpse
- 作者Forlines, Clifton; Shen, Chia
- 文件大小81.46KB
- 发表时间2005
- DOI10.1145/1056808.1056920
Almost-linear inclusion for XML regular expression typesColazzo, Dario; Ghelli, Giorgio; Pardini, Luca; Sartiani, Carlo · ACM Transactions on Database Systems · 2013
A Rewrite System with Incomplete Regular Expression Type for Transformation of XML DocumentsSuzuki, Taro; Okui, Satoshi · IPSJ Digital Courier · 2005
Efficient asymmetric inclusion of regular expressions with interleaving and counting for XML type-checkingColazzo, D.; Ghelli, G.; Pardini, L.; Sartiani, C. · Theoretical Computer Science · 2013
[ACM Press Proceeding of the 18th ACM conference - Hong Kong, China (2009.11.02-2009.11.06)] Proceeding of the 18th ACM conference on Information and knowledge management - CIKM '09 - Linear inclusion for XML regular expression typesColazzo, Dario; Ghelli, Giorgio; Pardini, Luca; Sartiani, Carlo · 2009
The Byzantine Generals ProblemLamport, Leslie; Shostak, Robert; Pease, Marshall · ACM Transactions on Programming Languages and Systems · 1982
The temporal logic of actionsLamport, Leslie · ACM Transactions on Programming Languages and Systems · 1994
Essential AOPDe Fraine, Bruno; Ernst, Erik; Südholt, Mario · ACM Transactions on Programming Languages and Systems · 2012
LOCKSMITHPratikakis, Polyvios; Foster, Jeffrey S.; Hicks, Michael · ACM Transactions on Programming Languages and Systems · 2011
Linear scan register allocationPoletto, Massimiliano; Sarkar, Vivek · ACM Transactions on Programming Languages and Systems · 1999
The undecidability of aliasingRamalingam, G. · ACM Transactions on Programming Languages and Systems · 1994
Parameterized loop tilingRenganarayanan, Lakshminarayanan; Kim, Daegon; Strout, Michelle Mills; Rajopadhye, Sanjay · ACM Transactions on Programming Languages and Systems · 2012
METRICMarathe, Jaydeep; Mueller, Frank; Mohan, Tushar; Mckee, Sally A.; De Supinski, Bronis R.; Yoo, Andy · ACM Transactions on Programming Languages and Systems · 2007