Hits 1.221 – 1.236 of 1.236
1221 |
Università di Roma ”La Sapienza” and
|
|
|
|
In: http://www.cs.toronto.edu/cogrobo/Papers/execgat.pdf
|
|
BASE
|
|
Show details
|
|
1222 |
Abstract Javari: Adding Reference Immutability to Java
|
|
|
|
In: http://pag.csail.mit.edu/~mernst/pubs/ref-immutability-oopsla2005.pdf
|
|
BASE
|
|
Show details
|
|
1223 |
Executable denotations for concurrent languages using Concurrent Transaction Logic
|
|
|
|
In: http://haendel.kr.tuwien.ac.at/events/wlp06/15-final.pdf
|
|
BASE
|
|
Show details
|
|
1224 |
Engineering Domain-Specific Languages with
|
|
|
|
In: http://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/Guenther2009a.pdf
|
|
BASE
|
|
Show details
|
|
1225 |
Building program generators the easy way (Extended Abstract)
|
|
|
|
In: http://www-sal.cs.uiuc.edu/~kamin/pubs/ml-meta-extabs.ps
|
|
BASE
|
|
Show details
|
|
1226 |
agents, languages and structures
|
|
|
|
In: http://labe.felk.cvut.cz/%7Emcap/publications/cap_2011.pdf
|
|
BASE
|
|
Show details
|
|
1227 |
Expressive, Efficient, Embedded, and Component-based XML-Java Data Binding Framework
|
|
|
|
In: http://ecologylab.net/technicalReports/ecolabXML_TR_08_06.pdf
|
|
BASE
|
|
Show details
|
|
1228 |
Abstract Stabilizers: A Modular Checkpointing Abstraction for Concurrent Functional Programs
|
|
In: http://www.classes.cs.uchicago.edu/archive/2007/spring/32102-1/papers/p136-ziarek.pdf
|
|
BASE
|
|
Show details
|
|
1229 |
Verified interoperable implementations of security protocols
|
|
|
|
In: http://research.microsoft.com/%7Ekarthb/pubs/verified-interoperable-implementations-toplas08.pdf
|
|
BASE
|
|
Show details
|
|
1230 |
Exchanging Sources Between Clean and Haskell A Double-Edged Front End for the Clean Compiler
|
|
|
|
In: http://www.st.cs.ru.nl/papers/2010/groj10-Haskell_front_end_Clean.pdf
|
|
BASE
|
|
Show details
|
|
1231 |
ALattice BLEU Oracles in Machine Translation ARTEM SOKOLOV, Institut für Computerlinguistik, Universität Heidelberg
|
|
|
|
In: http://www.cl.uni-heidelberg.de/~sokolov/pubs/sokolov13lattice.pdf
|
|
BASE
|
|
Show details
|
|
1232 |
Abstract Tangible Functional Programming
|
|
In: http://conal.net/papers/Eros/eros.pdf
|
|
BASE
|
|
Show details
|
|
1234 |
LLRL(k) grammars: a left to right parsing technique with reduced lookaheads
|
|
|
|
BASE
|
|
Show details
|
|
1236 |
A cultural diffusion model for the rise and fall of programming languages
|
|
|
|
BASE
|
|
Show details
|
|
|
|