×

Found 182 Documents (Results 1–100)

Summary-based context-sensitive data-dependence analysis in presence of callbacks. (English) Zbl 1346.68066

Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 83-95 (2015).
MSC:  68N30 68Q25 68Q45
Full Text: DOI

Stochastic \(k\)-tree grammar and its application in biomolecular structure modeling. (English) Zbl 1407.68239

Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 8th international conference, LATA 2014, Madrid, Spain, March 10–14, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8370, 308-322 (2014).
Full Text: DOI

On IO-copying and mildly-context sensitive formalisms. (English) Zbl 1362.68130

Morrill, Glyn (ed.) et al., Formal grammar. 17th and 18th international conferences, FG 2012, Opole, Poland, August 2012, revised selected papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39997-8/pbk). Lecture Notes in Computer Science 8036, 1-16 (2013).
MSC:  68Q45 68Q42 91F20

Eliminating stack symbols in push-down automata and linear indexed grammars. (English) Zbl 1377.68117

Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 7th international conference, LATA 2013, Bilbao, Spain, April 2–5, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-37063-2/pbk). Lecture Notes in Computer Science 7810, 444-455 (2013).
MSC:  68Q45 68Q42
Full Text: DOI

The complexity of tree transducer output languages. (English) Zbl 1248.68205

Hariharan, Ramesh (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2008), December 9–11, 2008, Bangalore, India. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-08-8). LIPIcs – Leibniz International Proceedings in Informatics 2, 244-255, electronic only (2008).
MSC:  68Q15 68Q45 68Q17

Learning context-sensitive languages from linear structural information. (English) Zbl 1177.68122

Clark, Alexander (ed.) et al., Grammatical inference: Algorithms and applications. 9th international colloquium, ICGI 2008, Saint-Malo, France, September 22–24, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-88008-0/pbk). Lecture Notes in Computer Science 5278. Lecture Notes in Artificial Intelligence, 175-186 (2008).
MSC:  68Q32 68Q05 68Q42 68Q45
Full Text: DOI

Proving termination of context-sensitive rewriting with MU-TERM. (English) Zbl 1278.68113

Lucio, Paqui (ed.) et al., Proceedings of the sixth Spanish conference on programming and languages (PROLE 2006), Sitges, Barcelona, Spain, October 4–6, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 188, 105-115 (2007).
MSC:  68Q42 68N15
Full Text: DOI

The Church-Rosser languages are the deterministic variants of the growing context-sensitive languages. (English) Zbl 0908.68089

Nivat, Maurice (ed.), Foundations of software science and computation structures. 1st international conference, FoSSaCS ’98. Held as part of the joint European conferences on Theory and practice of software, ETAPS ’98, Lisbon, Portugal, March 28 - April 4, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1378, 243-257 (1998).
MSC:  68Q45

Filter Results by …

Access

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software