Selected and extended papers of the Brazilian Symposium on Programming Languages 2012 Preface

被引：0
|
作者：
de Carvalho Junior, Francisco Heron [1 ]
Barbosa, Luis Soares [2 ,3 ]
机构：
[1] Univ Fed Ceara, Fortaleza, Ceara, Brazil
[2] INESC TEC, Oporto, Portugal
[3] Univ Minho, P-4719 Braga, Portugal
来源：
SCIENCE OF COMPUTER PROGRAMMING | 2014年 / 96卷
关键词：
D O I：
10.1016/j.scico.2014.08.001
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：175 / 176
页数：2
相关论文
共 50 条
  • [21] Web Technologies: Selected & extended papers from WT ACM SAC 2012 Preface
    Di Iorio, Angelo
    Rossi, Davide
    Zacchiroli, Stefano
    SCIENCE OF COMPUTER PROGRAMMING, 2014, 94 : 1 - 2
  • [22] SBLP 2008: XII Brazilian Symposium on Programming Languages
    Valente, Marco Tulio
    Mosses, Peter D.
    de Carvalho, Francisco Heron, Jr.
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2008, 14 (21) : 3412 - 3413
  • [23] Preface to Rewriting Logic and Its Applications (extended selected papers from WRLA 2012)
    Duran, Francisco
    Marti-Oliet, Narciso
    SCIENCE OF COMPUTER PROGRAMMING, 2015, 99 : 1 - 2
  • [24] Preface: Selected Extended Papers of CADE 2015
    Felty, Amy
    Middeldorp, Aart
    JOURNAL OF AUTOMATED REASONING, 2017, 58 (03) : 311 - 312
  • [25] Preface: Selected Extended Papers of CADE 2017
    Leonardo de Moura
    Journal of Automated Reasoning, 2020, 64 : 511 - 511
  • [26] Selected Extended Papers of NFM 2016: Preface
    Munoz, Cesar A.
    Rayadurgam, Sanjai
    Tkachuk, Oksana
    JOURNAL OF AUTOMATED REASONING, 2018, 60 (01) : 1 - 2
  • [27] Selected Extended Papers of NFM 2017: Preface
    Barrett, Clark
    Kahsai, Temesghen
    JOURNAL OF AUTOMATED REASONING, 2019, 63 (04) : 1003 - 1004
  • [28] Selected extended papers of NFM 2021: Preface
    Dutle, Aaron
    Moscato, Mariano M.
    Titolo, Laura
    Munoz, Cesar A.
    Perez, Ivan
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2023, 19 (04) : 337 - 338
  • [29] Selected Extended Papers of ITP 2015: Preface
    Zhang, Xingyuan
    Urban, Christian
    JOURNAL OF AUTOMATED REASONING, 2019, 62 (04) : 431 - 432
  • [30] Selected Extended Papers of ITP 2016: Preface
    Jasmin Christian Blanchette
    Stephan Merz
    Journal of Automated Reasoning, 2019, 62 : 169 - 170
12345