Programming Languages and Systems : 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014 : Proceedings /
Selección de ponencias presentadas en el décimo segundo Simposio Asiático sobre Lenguajes y Sistemas de Programación, celebrado en Singapur, en noviembre de 2014. Los artículos dan cuenta de temas como semántica, lógica, teoría fundacional; diseño de lenguajes, sistemas tipográficos y cálculos funda...
Salvato in:
| Ente Autore: | |
|---|---|
| Altri autori: | |
| Natura: | Atti del Convegno Libro |
| Lingua: | inglese |
| Pubblicazione: |
Cham, Suiza :
Springer,
2014, c2014
|
| Serie: | (Lecture Notes in Computer Science ;
8858) |
| Soggetti: | |
| Accesso online: | Ver documento en línea |
| Tags: |
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi: Programming Languages and Systems :
- Programming Languages and Systems : 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : Proceedings /
- Programming Languages : 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014 : Proceedings /
- Model-Based Safety and Assessment : 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014 : Proceedings /
- Software Engineering and Formal Methods : SEFM 2013 Collocated Workshops : BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert Madrid, Spain, September 23-24, 2013 : Revised Selected Papers /
- Model-Driven Engineering Languages and Systems : 17th International Conference, MODELS 2014, Valencia, Spain, September 28-October 3, 2014 : Proceedings /
- Functional and Logic Programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014 : Proceedings /