Blame for AllAHMED, Amal; FINDLER, Robert Bruce; SIEK, Jeremy G et al.ACM SIGPLAN notices. 2011, Vol 46, Num 1, pp 201-214, issn 1523-2867, 14 p.Conference Paper

Refinement of Representation Theorems for Context-Free Languages : Foundations of Computer ScienceFUJIOKA, Kaoru.IEICE transactions on information and systems. 2010, Vol 93, Num 2, pp 227-232, issn 0916-8532, 6 p.Article

CETUS: A SOURCE- TO-SOURCE COMPILER INFRASTRUCTURE FOR MULTICORES : Tools and Environments for Multicore and Many-Core ArchitecturesDAVE, Chirag; BAE, Hansang; MIN, Seung-Jai et al.Computer (Long Beach, CA). 2009, Vol 42, Num 12, pp 36-42, issn 0018-9162, 7 p.Article

Remarks about Linguistic Analysis, Normalization and Translation of Spanish What to Do in Case of Fire TextsBLANCO, Xavier.International symposium on data and sense mining, machine translation and controlled languages, and their application to emergencies and safety critical domains. 2009, pp 43-48, isbn 978-2-8486-7261-8 2-8486-7261-7, 6 p.Conference Paper

Alpha-structural recursion and inductionPITTS, Andrew M.Journal of the Association for Computing Machinery. 2006, Vol 53, Num 3, pp 459-506, issn 0004-5411, 48 p.Article

An algebraic array shape inference system for MATLAB®JOISHA, Pramod G; BANERJEE, Prithviraj.ACM transactions on programming languages and systems. 2006, Vol 28, Num 5, pp 848-907, issn 0164-0925, 60 p.Article

Decidability and proof systems for language-based noninterference relationsDAM, Mads.ACM SIGPLAN notices. 2006, Vol 41, Num 1, pp 67-78, issn 1523-2867, 12 p.Conference Paper

Adventures in time and spaceDANNER, Norman; ROYER, James S.ACM SIGPLAN notices. 2006, Vol 41, Num 1, pp 168-179, issn 1523-2867, 12 p.Conference Paper

A polymorphic modal type system for lisp-like multi-staged languagesKIM, Ik-Soon; YI, Kwangkeun; CALCAGNO, Cristiano et al.ACM SIGPLAN notices. 2006, Vol 41, Num 1, pp 257-268, issn 1523-2867, 12 p.Conference Paper

Simplifying reductionsGAUTAM; RAJOPADHYE, S.ACM SIGPLAN notices. 2006, Vol 41, Num 1, pp 30-41, issn 1523-2867, 12 p.Conference Paper

Closure of language classes under bounded duplicationITO, Masami; LEUPOLD, Peter; SHIKISHIMA-TSUJI, Kayoko et al.Lecture notes in computer science. 2006, pp 238-247, issn 0302-9743, isbn 3-540-35428-X, 1Vol, 10 p.Conference Paper

Languages in membrane computing : Some details for spiking neural P systemsPAUN, Gheorghe.Lecture notes in computer science. 2006, pp 20-35, issn 0302-9743, isbn 3-540-35428-X, 1Vol, 16 p.Conference Paper

Learning Reversible Languages with Terminal DistinguishabilitySEMPERE, José M.Lecture notes in computer science. 2006, pp 354-355, issn 0302-9743, isbn 3-540-45264-8, 1Vol, 2 p.Conference Paper

Overlap-Free Regular LanguagesHAN, Yo-Sub; WOOD, Derick.Lecture notes in computer science. 2006, pp 469-478, issn 0302-9743, isbn 3-540-36925-2, 1Vol, 10 p.Conference Paper

Automatic discovery of covariant read-only fieldsPALSBERG, Jens; TIAN ZHAO; JIM, Trevor et al.ACM transactions on programming languages and systems. 2005, Vol 27, Num 1, pp 126-162, issn 0164-0925, 37 p.Article

Forth sorts fruit down underFRENGER, Paul.ACM SIGPLAN notices. 2005, Vol 40, Num 8, pp 7-9, issn 1523-2867, 3 p.Article

Dealing with incomplete knowledge on CLP(FD) variable domainsGAVANELLI, Marco; LAMMA, Evelina; MELLO, Paola et al.ACM transactions on programming languages and systems. 2005, Vol 27, Num 2, pp 236-263, issn 0164-0925, 28 p.Article

Pretty printing with lazy dequeuesCHITIL, Olaf.ACM transactions on programming languages and systems. 2005, Vol 27, Num 1, pp 163-184, issn 0164-0925, 22 p.Article

Remote attribute grammarsBOYLAND, John Tang.Journal of the Association for Computing Machinery. 2005, Vol 52, Num 4, pp 627-687, issn 0004-5411, 61 p.Article

Improving memory usage in the BEAMLOPES, Ricardo; SANTOS COSTA, Vitor.Lecture notes in computer science. 2005, pp 143-157, issn 0302-9743, isbn 3-540-24362-3, 15 p.Conference Paper

Improved fusion for optimizing genericsALIMARINE, Artem; SMETSERS, Sjaak.Lecture notes in computer science. 2005, pp 203-218, issn 0302-9743, isbn 3-540-24362-3, 16 p.Conference Paper

Functional framework for sound synthesisKARCZMARCZUK, Jerzy.Lecture notes in computer science. 2005, pp 7-21, issn 0302-9743, isbn 3-540-24362-3, 15 p.Conference Paper

Generalized innermost rewritingVAN DE POL, Jaco; ZANTEMA, Hans.Lecture notes in computer science. 2005, pp 2-16, issn 0302-9743, isbn 3-540-25596-6, 15 p.Conference Paper

On tree automata that certify termination of left-linear term rewriting systemsGESER, Alfons; HOFBAUER, Dieter; WALDMANN, Johannes et al.Lecture notes in computer science. 2005, pp 353-367, issn 0302-9743, isbn 3-540-25596-6, 15 p.Conference Paper

A tutorial example of the semantic approach to foundational proof-carrying codeFELTY, Amy P.Lecture notes in computer science. 2005, pp 394-406, issn 0302-9743, isbn 3-540-25596-6, 13 p.Conference Paper