cafeobj.org | CafeOBJ – Algebraic Specification and

Robots.txt Information

Robot	Path	Permission
GoogleBot	/	✔
BingBot	/	✔
BaiduSpider	/	✔
YandexBot	/	✔
User-agent: * Disallow: /wp-admin/ Allow: /wp-admin/admin-ajax.php Sitemap:

Meta Tags

Title	CafeOBJ – Algebraic Specification and
Description	Algebraic Specification and Verification Algebraic Specification and Verification Home Support & Contact Privacy Policy Download & Install Documentation D
Keywords	N/A

Server Information

WebSite	cafeobj.org
Host IP	95.216.25.247
Location	Ukraine

Related Websites

                        Site
                        Rank
                    

More to Explore

cafeobj.org Valuation

US$732,951

Last updated: 2023-05-16 03:09:43

cafeobj.org has Semrush global rank of 14,440,687. cafeobj.org has an estimated worth of US$ 732,951, based on its estimated Ads revenue. cafeobj.org receives approximately 84,572 unique visitors each day. Its web server is located in Ukraine, with IP address 95.216.25.247. According to SiteAdvisor, cafeobj.org is safe to visit.

Traffic & Worth Estimates

Purchase/Sale Value	US$732,951
Daily Ads Revenue	US$677
Monthly Ads Revenue	US$20,298
Yearly Ads Revenue	US$243,565
Daily Unique Visitors	5,639
Note: All traffic and earnings values are estimates.

DNS Records

Host	Type	TTL	Data
cafeobj.org.	A	1638	IP: 95.216.25.247
cafeobj.org.	AAAA	1800	IPV6: 2a01:4f9:2a:1a08::2
cafeobj.org.	NS	10800	NS Record: ns-179-b.gandi.net.
cafeobj.org.	NS	10800	NS Record: ns-143-a.gandi.net.
cafeobj.org.	NS	10800	NS Record: ns-147-c.gandi.net.
cafeobj.org.	MX	10800	MX Record: 10 cafeobj.org.
cafeobj.org.	TXT	1800	TXT Record: google-site-verification=mWWsgvlVNlNQOtQMjp6NdEA1TqaZeJKKepQxjAURD2g
cafeobj.org.	TXT	1800	TXT Record: v=spf1 mx ip4:95.216.25.247 ip6:2a01:4f9:2a:1a08::2 ~all

HtmlToTextCheckTime:2023-05-16 03:09:43

Algebraic Specification and Verification Algebraic Specification and Verification Home Support & Contact Privacy Policy Download & Install Documentation Documentation Overview Intro to CafeOBJ (English) Intro to CafeOBJ (日本語) モデルの記述と検証のためのプログラミング入門 Tutorials Examples Personnel Activities Links Search for: Recent Posts CafeOBJ 1.6.0 released CafeOBJ 1.5.9 released CafeOBJ 1.5.8 released CafeOBJ 1.5.7 released Book published: Introduction to programming for model description and validation (in Japanese) Meta Log in Entries feed Comments feed WordPress.org Overview CafeOBJ is a most advanced formal specification language which inherits many advanced features (e.g. flexible mix-fix syntax, powerful and clear typing system with ordered sorts, parameteric modules and views for instantiating the parameters, and module expressions, etc.) from OBJ (or more exactly OBJ3 ) algebraic specification language. CafeOBJ is a language for writing formal (i.e. mathematical) specifications of models for

HTTP Headers

HTTP/1.1 301 Moved Permanently
Date: Tue, 18 Jan 2022 08:18:01 GMT
Server: Apache/2.4.38
Location: https://cafeobj.org/
Content-Type: text/html; charset=iso-8859-1

HTTP/1.1 200 OK
Date: Tue, 18 Jan 2022 08:18:01 GMT
Server: Apache/2.4.38
X-Pingback: https://cafeobj.org/xmlrpc.php
Link: ; rel="https://api.w.org/"
Link: ; rel="alternate"; type="application/json"
Link: ; rel=shortlink
X-Content-Type-Options: nosniff
X-Frame-Options: SAMEORIGIN
X-XSS-Protection: 1; mode=block
Referrer-Policy: same-origin
Strict-Transport-Security: max-age=15552000; includeSubDomains
Content-Type: text/html; charset=UTF-8

cafeobj.org Whois Information

WHOIS LIMIT EXCEEDED - SEE WWW.PIR.ORG/WHOIS FOR DETAILS

cafeobj.org valuation and analysis