Gerado a 26 de Dezembro de 2025 15:13 PM
Estatísticas desatualizadas? ATUALIZE !
O resultado é de 55/100
Título
James Chapman
Cumprimento : 13
Perfeito, o Título contém entre 10 e 70 caracteres.
Descrição
Cumprimento : 0
Mau. Não encontrámos nenhuma Descrição META na sua página.
Palavras-chave
Mau. Não detetámos palavras-chave META na sua página.
Propriedades Og Meta
Esta página não tira vantagens das propriedades Og.
Cabeçalhos
| H1 | H2 | H3 | H4 | H5 | H6 |
| 0 | 0 | 4 | 0 | 0 | 0 |
Imagens
Encontrámos 0 imagens nesta página.
Bom, a maioria das imagens têm o atributo ALT definidos.
Rácio Texto/HTML
Rácio : 30%
Ideal! O rácio de texto para código HTML desta página está entre 25 e 70 porcento.
Flash
Perfeito, não foi encontrado conteúdo Flash nesta página.
Iframe
Excelente, não foram detetadas Iframes nesta página.
Reescrita de URL
Perfeito. As ligações aparentam ser limpas!
Underscores (traços inferiores) nas URLs
Perfeito. Não foram encontrados 'underscores' (traços inferiores) nas suas URLs.
Ligações para a própria página
Encontrámos um total de 16 ligações incluindo 0 ligações a ficheiros
| Âncoras | Tipo | Sumo |
|---|---|---|
| James Chapman | Internas | Passa sumo |
| Publications | Internas | Passa sumo |
| Big-Step Normalisation | Internas | Passa sumo |
| Relative Monads | Internas | Passa sumo |
| Service | Internas | Passa sumo |
| Teaching | Internas | Passa sumo |
| WTSC 2021 | Externas | Passa sumo |
| ISoLA 2020 | Externas | Passa sumo |
| TFP 2020 | Externas | Passa sumo |
| WTSC 2020 | Externas | Passa sumo |
| PADL 2020 | Externas | Passa sumo |
| Native Custom Tokens in the Extended UTXO Model (ISoLA, 2020) (accepted 26 June 2020) | Internas | Passa sumo |
| UTXOma: UTXO with Multi-Asset Support (ISoLA, 2020) (accepted 26 June 2020) | Internas | Passa sumo |
| Flexible Formality: Practical Experience with Agile Formal Methods (TFP, 2020) (accepted 18 May 2020) | Internas | Passa sumo |
| A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs (JFP) (accepted 28 January 2020) | Internas | Passa sumo |
| The Extended UTxO Model (WTSC, 2020) (accepted 20 January 2020) | Internas | Passa sumo |
Núvem de palavras-chave
programme semantics accepted type author utxo member isola theory wtsc
Consistência das Palavras-chave
| Palavra-chave | Conteúdo | Título | Palavras-chave | Descrição | Cabeçalhos |
|---|---|---|---|---|---|
| accepted | 5 | ![]() |
![]() |
![]() |
![]() |
| type | 4 | ![]() |
![]() |
![]() |
![]() |
| theory | 4 | ![]() |
![]() |
![]() |
![]() |
| member | 3 | ![]() |
![]() |
![]() |
![]() |
| programme | 3 | ![]() |
![]() |
![]() |
![]() |
Url
Domínio : jmchapman.io
Cumprimento : 12
Favicon
Oh, não! Não encontrámos nenhum favicon. Os favicon são umas das formas mais fáceis de atraír visitantes regulares para qualquer site, uma vez que eles o tornam distintivo.
Facilidade de Impressão
Não encontrámos CSS apropriado para impressão.
Língua
Otimo! A língua declarada deste site é en.
Dublin Core
Esta página não tira vantagens do Dublin Core.
Tipo de Documento
HTML 5
Codificação
Perfeito. O conjunto de caracteres UTF-8 está declarado.
Validação W3C
Erros : 0
Avisos : 0
Privacidade do Email
Boa! Nenhum endereço de email está declarado sob a forma de texto!
HTML obsoleto
Fantástico! Não detetámos etiquetas HTML obsoletas.
Dicas de Velocidade
![]() |
Excelente, este site não usa tablelas dentro de tabelas. |
![]() |
Perfeito. Não foram detetados estilos CSS nas etiquetas HTML! |
![]() |
Boa, o site usa poucos ficheiros CSS. |
![]() |
Perfeito, o site usa poucos ficheiros JavaScript. |
![]() |
Perfeito, o site tira vantagens da compressão gzip. |
Otimização para dispositivos móveis
![]() |
Icon Apple |
![]() |
Meta Viewport Tag |
![]() |
Conteúdo Flash |
XML Sitemap
Em falta
O site não tem um mapa XML do site (sitemap) - isto pode ser problemático.
Um mapa do site identifica todas as URLs que estão disponíveis para rastreio, incluindo informação acerca de atualizações, frequência de alterações ou a importancia de cada URL. Isto contribui para uma maior inteligência e eficiência do rastreio.
Robots.txt
https://jmchapman.io/robots.txt
Perfeito, o seu site tem um ficheiro robots.txt.
Analytics
Perfeito, o site tem uma ferramenta analítica para a análise de atividade.
Google Analytics |
Free SEO Testing Tool é uma ferramenta gratuita que o ajuda a avaliar o seu site