Você está em: Início > Publicações > Visualização > Validity Checking of Putback Transformations in Bidirectional Programming

Mapa das Instalações

Publicação

Publicações

Validity Checking of Putback Transformations in Bidirectional Programming

Título

Tipo

Artigo em Livro de Atas de Conferência Internacional

Data

2014

Título

Validity Checking of Putback Transformations in Bidirectional Programming

Tipo

Artigo em Livro de Atas de Conferência Internacional

Ano

2014

Autores

Hu, Z

(Autor)

Outra

A pessoa não pertence à instituição. A pessoa não pertence à instituição. A pessoa não pertence à instituição. Sem AUTHENTICUS Sem ORCID

Pacheco, H

(Autor)

Outra

Fischer, S

(Autor)

Outra

A pessoa não pertence à instituição. A pessoa não pertence à instituição. A pessoa não pertence à instituição. Sem AUTHENTICUS Sem ORCID

Ata de Conferência Internacional

Título: FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings Pesquisar Publicações da Ata de Conferência

Páginas: 1-15

Outras Informações

ID Authenticus: P-00N-DHY

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Documentos

Não foi encontrado nenhum documento associado à publicação.

Publicações Relacionadas

The essence of bidirectional programming (2015)
Artigo em Revista Científica Internacional
Fischer, S; Hu, Z; Pacheco, H

Validity checking of putback transformations in bidirectional programming (2014)
Artigo em Livro de Atas de Conferência Internacional
Hu, Z; Pacheco, H; Fischer, S

Monadic combinators for "Putback" style bidirectional programming (2014)
Artigo em Livro de Atas de Conferência Internacional
Pacheco, H; Hu, Z; Fischer, S

A Clear Picture of Lens Laws - Functional Pearl (2015)
Artigo em Livro de Atas de Conferência Internacional
Fischer, S; Hu, Z; Pacheco, H