| dbo:abstract
|
- Whiley es un lenguaje compilado multiparadigma de propósito general desarrollado por David Pearce. El lenguaje combina características de los paradigmas Funcionales e Imperativos, maneja tipos estáticos y soporta el uso de especificaciones formales a través de precondiciones y postcondiciones de funciones e invariantes de lazos. El lenguajes es también notable por el uso de tipado sensitivo al flujo. El proyecto Whiley empezó en 2009 en respuesta al "Gran reto del compilador verificante" lanzado por Tony Hoare en 2003. La primera versión pública de Whiley estuvo disponible en junio de 2010. Whiley es principalmente desarrollado por David Pearce, pero es un proyecto de software libre que ha atraído contribuciones de una pequeña comunidad. Este lenguaje ha sido utilizado en proyectos académicos y también en la enseñanza universitaria. El proyecto fue financiado entre 2012 y 2014 por el Fondo Marsen de la Real Sociedad de Nueva Zelanda. El compilador de Whiley actualmente genera código para la Máquina Virtual de Java por lo que puede interoperar con Java y otros lenguajes basados en esa arquitectura. (es)
- Whiley is an experimental programming language that combines features from the functional and imperative paradigms, and supports formal specification through function preconditions, postconditions and loop invariants. The language uses flow-sensitive typing also known as "flow typing." The Whiley project began in 2009 in response to the "Verifying Compiler Grand Challenge" put forward by Tony Hoare in 2003. The first public release of Whiley was in June, 2010. Primarily developed by David Pearce, Whiley is an open source project with contributions from a small community. The system has been used for student research projects and in teaching undergraduate classes. It was supported between 2012 and 2014 by the Royal Society of New Zealand's Marsden Fund. The Whiley compiler generates code for the Java virtual machine and can inter-operate with Java and other JVM based languages. (en)
|
| dbo:influencedBy
| |
| dbo:latestReleaseDate
| |
| dbo:latestReleaseVersion
| |
| dbo:license
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 13667 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:author
| |
| dbp:designer
| |
| dbp:influencedBy
| |
| dbp:latestReleaseDate
| |
| dbp:latestReleaseVersion
| |
| dbp:license
| |
| dbp:name
| |
| dbp:paradigm
| |
| dbp:released
| |
| dbp:text
|
- A verifying compiler uses mathematical and logical reasoning to check the correctness of the programs that it compiles. (en)
|
| dbp:typing
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs:comment
|
- Whiley es un lenguaje compilado multiparadigma de propósito general desarrollado por David Pearce. El lenguaje combina características de los paradigmas Funcionales e Imperativos, maneja tipos estáticos y soporta el uso de especificaciones formales a través de precondiciones y postcondiciones de funciones e invariantes de lazos. El lenguajes es también notable por el uso de tipado sensitivo al flujo. El proyecto Whiley empezó en 2009 en respuesta al "Gran reto del compilador verificante" lanzado por Tony Hoare en 2003. La primera versión pública de Whiley estuvo disponible en junio de 2010. (es)
- Whiley is an experimental programming language that combines features from the functional and imperative paradigms, and supports formal specification through function preconditions, postconditions and loop invariants. The language uses flow-sensitive typing also known as "flow typing." The Whiley project began in 2009 in response to the "Verifying Compiler Grand Challenge" put forward by Tony Hoare in 2003. The first public release of Whiley was in June, 2010. The Whiley compiler generates code for the Java virtual machine and can inter-operate with Java and other JVM based languages. (en)
|
| rdfs:label
|
- Whiley (lenguaje de programación) (es)
- Whiley (programming language) (en)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
| |
| is dbo:influencedBy
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:influencedBy
of | |
| is foaf:primaryTopic
of | |
