An approach to static performance guarantees for pograms with run-time checks

Klemen, Maximiliano; Stulova, Nataliia; López García, Pedro; Morales Caballero, José Francisco; Hermenegildo, Manuel V.|||0000-0002-7583-323X

An approach to static performance guarantees for pograms with run-time checks

Detalhes bibliográficos
Autores:	Klemen, Maximiliano, Stulova, Nataliia, López García, Pedro, Morales Caballero, José Francisco, Hermenegildo, Manuel V.\|\|\|0000-0002-7583-323X
Formato:	informe técnico
Fecha de publicación:	2018
País:	España
Recursos:	Universidad Politécnica de Madrid
Repositorio:	Archivo Digital UPM
OAI Identifier:	oai:oa.upm.es:53068
Acesso em linha:	https://oa.upm.es/53068/
Access Level:	acceso abierto
Palavra-chave:	Run-time Checks Assertions Abstract Interpretation Resource Usage Analysis

Descrição
Descrição não disponível.

Warning: fopen(/tmp/vufind_sessions/sess_2164de3dircq517co1uc71nld2): failed to open stream: No space left on device in /usr/local/vufind/module/VuFind/src/VuFind/Session/File.php on line 153
Cannot write session to /tmp/vufind_sessions/sess_2164de3dircq517co1uc71nld2
Warning: session_write_close(): Failed to write session data using user defined save handler. (session.save_path: /var/lib/php/session) in /usr/local/vufind/vendor/zendframework/zend-session/src/SessionManager.php on line 234

An approach to static performance guarantees for pograms with run-time checks

Registos relacionados