3 Results for General Search
Sorted by:
Sorted by:
RelevanceOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Show only
- Full Text Online (2)
Refined by:
author/creator:
Simão, A
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Conference Paper
|
|
Using denotational semantics in the validation of the compiler for a mutation-oriented languageAdenilso da Silva Simão José Carlos Maldonado; Roberto da Silva Bigonha; Workshop on Formal Methods (5. 2002 Gramado)Proceedings Porto Alegre : Instituto de Informática da UFRGS, 2002Porto Alegre Instituto de Informática da UFRGS 2002Available at ICMC - Inst. Ciên. Mat. Computação (PROD-1275840 ) and other locations(GetIt) |
| 2 |
Material Type: Article
|
|
A tranformational language for mutant descriptionAdenilso da Silva Simão José Carlos Maldonado; Roberto da Silva BigonhaComputer Languages, Systems & Structures Amsterdam : Elsevier v. 35, n. 3, p. 322-339, oct. 2009Amsterdam 2009Online access. The library also has physical copies. |
| 3 |
Material Type: Article
|
|
A tranformational language for mutant descriptionAdenilso da Silva Simão José Carlos Maldonado; Roberto da Silva BigonhaComputer Languages, Systems & Structures Amsterdam : Elsevier v. 35, n. 3, p. 322-339, oct. 2009Amsterdam 2009Online access. The library also has physical copies. |
Personalize your results
Refine Search Results
Expand My Results
Show only
- Full Text Online (2)
Journal Title
Home Page
RSS
Feed
Policies
Contact Us-
Implemented by:
Social Network Logos: 