spoofax.org rapport :   Visitez le site

Données techniques du spoofax.org

Geo IP vous fournit comme la latitude, la longitude et l'ISP (Internet Service Provider) etc. informations. Notre service GeoIP a trouvé l'hôte spoofax.org.Actuellement, hébergé dans France et son fournisseur de services est Gandi SAS .

the related websites

domaine	Titre
spoofax.org	the spoofax language workbench — spoofax 2.5.1 documentation
sanako.com	teacher-led language labs and language teaching solutions • sanako
lang-8.com	multi-lingual language learning and language exchange | lang-8: for learning for
languagebox.ac.uk	welcome to language box - language box
languageeasily.lu	language easily
same-tractors.com	language selector - same
menssana.com	set language | menssana
thelanguagenetwork.fr	the language network
yxtranslation.com	language translation
essocard.com	language choice - essocard
nunnauuni.com	choose language - nunnauuni
engdavao.com	e&g; international language center
tln-blog.fr	the language network blog
ammann-group.com	region and language | ammann
langtag.net	language tags: home

Analyse d'en-tête HTTP

Les informations d'en-tête HTTP font partie du protocole HTTP que le navigateur d'un utilisateur envoie à appelé cloudflare contenant les détails de ce que le navigateur veut et acceptera de nouveau du serveur Web.

DNS

HtmlToText

-- spoofax latest the spoofax language workbench examples publications tutorials installing spoofax creating a language project using the api getting support reference manual language definition with spoofax abstract syntax with aterms syntax definition with sdf3 static semantics with nabl2 data-flow analysis with flowspec transformation with stratego dynamic semantics with dynsem editor services with esv language testing with spt building languages running languages from command-line programmatic api developing spoofax releases latest stable release development release release archive migration guides contributions contributions spoofax docs » the spoofax language workbench edit on github the spoofax language workbench ¶ spoofax is a platform for developing textual (domain-specific) programming languages. the platform provides the following ingredients: meta-languages for high-level declarative language definition an interactive environment for developing languages using these meta-languages code generators that produces parsers, type checkers, compilers, interpreters, and other tools from language definitions generation of full-featured eclipse editor plugins from language definitions generation of full-featured intellij editor plugins from language definitions (experimental) an api for programmatically combining the components of a language implementation with spoofax you can focus on the essence of language definition and ignore irrelevant implementation details. developing software languages ¶ spoofax supports the development of textual languages, but does not otherwise restrict what kind of language you develop. spoofax has been used to develop the following kinds of languages: programming languages languages for programming computers. implement an existing programming language to create an ide and other tools for it, or design a new programming language. domain-specific languages languages that capture the understanding of a domain with linguistic abstractions. design a dsl for your domain with a compiler that generates code that would be tedious and error prone to produce manually. scripting languages languages with a special run-time environment and interpreter work-flow languages languages for scheduling actions such as building the components of a software system configuration languages languages for configuring software and other systems data description languages languages for formatting data data modeling languages languages for describing data schemas web programming languages languages for programming web clients or servers creating full-featured editors ¶ from a language definition spoofax generates full-featured eclipse and intellij editor plugins, as well as a command-line interface. generated editors support the following features: syntactic editor services syntax highlighting syntax checking parse error recovery outline view syntactic code completion formatting semantic editor services name checking type checking inline error markers reference resolution: navigate to declaration builders: custom operations for invoking code generation interpreter transformations refactorings declare your language ¶ we design spoofax according to the following guiding principles: separation of concerns separate specification from implementation. separate language-specific aspects from language-independent aspects. separate definition of separate aspects (e.g. separate syntax definition and static semantics definition) single source instead of repeating a language aspect in many different implementation components, we aim to generate many different artifacts from a single source. declarative language definition language designers should focus on what distinguishes their language and should not be distracted by writing boilerplate for recurring implementation details. rather than confronting each language designer with these implementation details, we factor them out into language-independent abstractions and corresponding implementations. following these guidelines, spoofax provides the following high-level, declarative meta-languages: sdf3 the sdf3 syntax definition formalism allows language designers to focus on the structure of programs rather than on debugging parser implementations by means of the following features: support for the full class of context-free grammars by means of generalized lr parsing, integration of lexical and context-free syntax through scannerless parsing, safe and complete disambiguation using priority and associativity declarations, an automatic mapping from parse trees to abstract syntax trees through integrated constructor declarations, automatic generation of formatters based on template productions, syntactic completion proposals in editors. nabl2 the nabl2 ‘name binding language’ supports the definition of the static semantics of languages including name binding and type analysis. nabl2 rules define a mapping from abstract syntax trees to name and type constraints. the generated constraints are solved by a language-independent solver and produce error messages to display in an editor and a symbol table for the analyzed abstract syntax tree for use in further processing. name analysis in nabl2 is based on scope graphs, a language-independent model for name resolution and scoping. flowspec the flowspec data-flow analysis specification language supports the specification of control-flow and intra-procedural data-flow analysis. flowspec control-flow rules map abstract syntax trees to control-flow edges. data-flow properties in flowspec represent the results of different data-flow analyses, and the analyses are specified through property rules per type of control-flow node. flowspec depends on the use of nabl2 for name binding. stratego the stratego transformation language supports the definition of transformations of abstract syntax terms using rewrite rules and programmable rewriting strategies. strategies enable concise definition of traversals over trees. stratego is used to define desugarings, transformations, optimizations, and code generation (translation to another language). dynsem the dynsem dynamic semantics specification language supports the definition of the execution behavior of programs by means of reduction rules that are typically used to define natural semantics or big-step operational semantics . dynsem specifications are compiled to interpreters targeting the truffle/graal stack. spt the spt testing language supports the definition of tests for all aspects of a language definition. esv the esv editor services language is used to configure language definitions. a platform for language engineering ¶ spoofax is a platform for language engineers. that is, it provides full support for software engineering of language implementations. agile language development an important feature of spoofax is its support for agile language development. the development of a language definition and testing that language definition in the generated ide for the language under development is done in the same eclipse instance. this enables a quick turn-around time between language development and language testing. ide generation spoofax generates a full fledged editor plugin from a language definition. api spoofax does not only provide an ide for interactively developing and using languages, it also provides a programmatic interface that enables embedding languages and their implementations directly in application code or to invoke language components from build systems or the command line. bootstrapped language workbench spoofax has been bootstrapped. that is, spoofax is used for the definition of its own meta-languages and the workbench is the composition of plugins generated for these meta-languages. continuous integration the spoofax sources are continuously built on a buildfarm at tu delft, which reports build errors to spoofax developers and provides a complete build for various platforms of the latest version. open

Analyse PopURL pour spoofax.org

http://www.metaborg.org/en/latest/source/sunshine/manual/index.html
http://www.metaborg.org/en/latest/source/langdev/start.html
http://www.metaborg.org/en/latest/source/core/manual/index.html
http://www.metaborg.org/en/latest/source/install.html
http://www.metaborg.org/en/latest/#a-platform-for-research
http://www.metaborg.org/en/latest/source/overview/examples.html
http://www.metaborg.org/en/latest/source/langdev/meta/lang/nabl2/index.html
http://www.metaborg.org/en/latest/source/langdev/meta/lang/flowspec/index.html
http://www.metaborg.org/en/latest/source/langdev/manual/index.html
http://www.metaborg.org/en/latest/#the-spoofax-language-workbench
http://www.metaborg.org/en/latest/source/dev/index.html
http://www.metaborg.org/en/latest/#creating-full-featured-editors
http://www.metaborg.org/en/latest/#declare-your-language
http://www.metaborg.org/en/latest/source/overview/publications.html
http://www.metaborg.org/en/latest/source/langdev/meta/lang/esv.html

Informations Whois

Whois est un protocole qui permet d'accéder aux informations d'enregistrement.Vous pouvez atteindre quand le site Web a été enregistré, quand il va expirer, quelles sont les coordonnées du site avec les informations suivantes. En un mot, il comprend ces informations;

Domain Name: SPOOFAX.ORG
Registry Domain ID: D104347115-LROR
Registrar WHOIS Server:
Registrar URL: http://www.gandi.net
Updated Date: 2017-05-13T10:44:17Z
Creation Date: 2004-05-14T13:48:07Z
Registry Expiry Date: 2018-05-14T13:48:07Z
Registrar Registration Expiration Date:
Registrar: Gandi SAS
Registrar IANA ID: 81
Registrar Abuse Contact Email:
Registrar Abuse Contact Phone:
Reseller:
Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited
Registry Registrant ID: C8857131-LROR
Registrant Name: Karl Trygve Kalleberg
Registrant Organization: Karl Trygve Kalleberg
Registrant Street: Rogalandsgt 87
Registrant City: Haugesund
Registrant State/Province:
Registrant Postal Code: 5522
Registrant Country: NO
Registrant Phone: +47.40892230
Registrant Phone Ext:
Registrant Fax:
Registrant Fax Ext:
Registrant Email: karltk@prosalg.no
Registry Admin ID: C8857130-LROR
Admin Name: Karl Trygve Kalleberg
Admin Organization:
Admin Street: Rogalandsgt 87
Admin City: Haugesund
Admin State/Province:
Admin Postal Code: 5522
Admin Country: NO
Admin Phone: +47.40892230
Admin Phone Ext:
Admin Fax:
Admin Fax Ext:
Admin Email: karltk@prosalg.no
Registry Tech ID: C8857130-LROR
Tech Name: Karl Trygve Kalleberg
Tech Organization:
Tech Street: Rogalandsgt 87
Tech City: Haugesund
Tech State/Province:
Tech Postal Code: 5522
Tech Country: NO
Tech Phone: +47.40892230
Tech Phone Ext:
Tech Fax:
Tech Fax Ext:
Tech Email: karltk@prosalg.no
Name Server: C.DNS.GANDI.NET
Name Server: B.DNS.GANDI.NET
Name Server: A.DNS.GANDI.NET
DNSSEC: unsigned
URL of the ICANN Whois Inaccuracy Complaint Form: https://www.icann.org/wicf/
>>> Last update of WHOIS database: 2017-08-31T18:41:52Z <<<

For more information on Whois status codes, please visit https://icann.org/epp

Access to Public Interest Registry WHOIS information is provided to assist persons in determining the contents of a domain name registration record in the Public Interest Registry registry database. The data in this record is provided by Public Interest Registry for informational purposes only, and Public Interest Registry does not guarantee its accuracy. This service is intended only for query-based access. You agree that you will use this data only for lawful purposes and that, under no circumstances will you use this data to: (a) allow, enable, or otherwise support the transmission by e-mail, telephone, or facsimile of mass unsolicited, commercial advertising or solicitations to entities other than the data recipient's own existing customers; or (b) enable high volume, automated, electronic processes that send queries or data to the systems of Registry Operator, a Registrar, or Afilias except as reasonably necessary to register domain names or modify existing registrations. All rights reserved. Public Interest Registry reserves the right to modify these terms at any time. By submitting this query, you agree to abide by this policy.

  REFERRER http://www.pir.org/

  REGISTRAR Public Interest Registry

SERVERS

  SERVER org.whois-servers.net

  ARGS spoofax.org

  PORT 43

  TYPE domain
RegrInfo
DOMAIN

  NAME spoofax.org

  HANDLE D104347115-LROR

  CREATED 2004-05-14

STATUS
clientTransferProhibited https://icann.org/epp#clientTransferProhibited

NSERVER

  C.DNS.GANDI.NET 217.70.179.1

  B.DNS.GANDI.NET 213.167.229.1

  A.DNS.GANDI.NET 173.246.98.1

OWNER

  HANDLE C8857131-LROR

  NAME Karl Trygve Kalleberg

  ORGANIZATION Karl Trygve Kalleberg

ADDRESS

STREET
Rogalandsgt 87

  CITY Haugesund

  PCODE 5522

  COUNTRY NO

  PHONE +47.40892230

  EMAIL karltk@prosalg.no

ADMIN

  HANDLE C8857130-LROR

  NAME Karl Trygve Kalleberg

ADDRESS

STREET
Rogalandsgt 87

  CITY Haugesund

  PCODE 5522

  COUNTRY NO

  PHONE +47.40892230

  EMAIL karltk@prosalg.no

TECH

  HANDLE C8857130-LROR

  NAME Karl Trygve Kalleberg

ADDRESS

STREET
Rogalandsgt 87

  CITY Haugesund

  PCODE 5522

  COUNTRY NO

  PHONE +47.40892230

  EMAIL karltk@prosalg.no

  REGISTERED yes

Erreurs

La liste suivante vous montre les fautes d'orthographe possibles des internautes pour le site Web recherché.