InglésFrancésCursos de

icono de página de OnWorks

Descargar Soufflé para Linux

Descarga gratis la aplicación Soufflé Linux para ejecutar en línea en Ubuntu en línea, Fedora en línea o Debian en línea

Esta es la aplicación de Linux llamada Soufflé cuya última versión se puede descargar como Release2.4.zip. Se puede ejecutar en línea en el proveedor de alojamiento gratuito OnWorks para estaciones de trabajo.

Descargue y ejecute en línea esta aplicación llamada Soufflé con OnWorks de forma gratuita.

Siga estas instrucciones para ejecutar esta aplicación:

- 1. Descargue esta aplicación en su PC.

- 2. Ingrese en nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.

- 3. Cargue esta aplicación en dicho administrador de archivos.

- 4. Inicie el emulador en línea OnWorks Linux o Windows en línea o el emulador en línea MACOS desde este sitio web.

- 5. Desde el SO OnWorks Linux que acaba de iniciar, vaya a nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.

- 6. Descarga la aplicación, instálala y ejecútala.

SCREENSHOTS

Ad


Soufflé


DESCRIPCIÓN

Prototipado rápido para sus problemas de análisis con lógica; permitir exploraciones profundas del espacio de diseño; diseñado para análisis estático a gran escala; por ejemplo, análisis de puntos para Java, análisis de contaminación y comprobaciones de seguridad. Proyecciones de Futamura/evaluación parcial para una traducción efectiva a C++ paralelo; compilación por etapas optimizada; estructuras de datos especializadas para relaciones lógicas. Traducción eficiente a C++ paralelo de programas Datalog (CAV'16, CC'16) Interpretación eficiente mediante técnicas de desespecialización (PLDI'21) Estructura de datos especializada para relaciones (PACT'19, PPoPP'19, PMAM'19) con índice óptimo selección (VLDB'18) Semántica extendida de Datalog, p. ej., permitir recursiones ilimitadas con números y términos. Modelo de componente simple para especificaciones de registro de datos. Tipos de registro/ADT definidos recursivamente (también conocidos como constructores) para tuplas. Funtores definidos por el usuario. Tipos fuertemente tipados por seguridad. Subsunción, agregación, Choice Construct (APLAS'21).



Caracteristicas

  • Traducción eficiente a C++ paralelo de programas Datalog (CAV'16, CC'16)
  • Interpretación eficiente mediante técnicas de desespecialización (PLDI'21)
  • Estructura de datos especializada para relaciones (PACT'19, PPoPP'19, PMAM'19) con selección de índice óptimo (VLDB'18)
  • Semántica extendida de Datalog, p. ej., permitir recursiones ilimitadas con números y términos
  • Modelo de componente simple para especificaciones de registro de datos
  • Tipos de registro/ADT definidos recursivamente (también conocidos como constructores) para tuplas


Lenguaje de programación

C + +


Categorías

Análisis de código estático

Esta es una aplicación que también se puede obtener desde https://sourceforge.net/projects/souffl.mirror/. Ha sido alojado en OnWorks para poder ejecutarse online de la forma más sencilla desde uno de nuestros Sistemas Operativos gratuitos.


Servidores y estaciones de trabajo gratuitos

Descargar aplicaciones de Windows y Linux

Comandos de Linux

Ad