scholarly journals Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language

2010 ◽  
Vol 17 ◽  
pp. 95-109 ◽  
Author(s):  
Vasco T. Vasconcelos ◽  
Francisco Martins ◽  
Tiago Cogumbreiro
Keyword(s):  
Assembly Language ◽  
Type Inference ◽  
Deadlock Detection ◽  
Typed Assembly Language

scholarly journals Stack-Based Typed Assembly Language

1998 ◽  
Author(s):  
Greg Morrisett ◽  
Karl Crary ◽  
David Walker ◽  
Neal Glew
Keyword(s):  
Assembly Language ◽  
Typed Assembly Language

scholarly journals Stack-based typed assembly language

2003 ◽  
Vol 13 (5) ◽  
pp. 957-959 ◽  
Author(s):  
GREG MORRISETT ◽  
KARL CRARY ◽  
NEAL GLEW ◽  
DAVID WALKER
Keyword(s):  
Assembly Language ◽  
Typed Assembly Language

scholarly journals Compilación de programas seguros

2010 ◽  
Author(s):  
◽  
Enrique Molinari
Keyword(s):  
Assembly Language ◽  
Typed Assembly Language

Este trabajo primero presenta un lenguaje de alto nivel junto con un sistema de tipos que garantiza que los programas bien tipados satisfacen no-interferencia. Luego presenta un lenguaje de bajo nivel basado en Typed Assembly Language, al que denominamos SecTAL (Secure Typed Assembly Language), junto con un sistema de tipos que satisface propiedades similares. Finalmente, presenta una función de compilación junto con una demostración de que preserva la propiedad de no-interferencia. La función de compilación ha sido implementada al igual que un chequeador de tipos para SecTAL1. Las contribuciones pueden resumirse de la siguiente manera: La definición de una función de compilación de un lenguaje imperativo sencillo hacia un lenguaje de bajo nivel basado en Typed Assembly Language. La prueba de un resultado de preservación de tipado que muestra que si el programa fuente es bien tipado (y por ende seguro) también lo será el resultado de compilar el mismo.

scholarly journals Compiling the π-calculus into a Multithreaded Typed Assembly Language

2009 ◽  
Vol 241 ◽  
pp. 57-84
Author(s):  
Tiago Cogumbreiro ◽  
Francisco Martins ◽  
Vasco T. Vasconcelos
Keyword(s):  
Assembly Language ◽  
Typed Assembly Language ◽  
Π Calculus

scholarly journals Fault-tolerant typed assembly language

2007 ◽  
Vol 42 (6) ◽  
pp. 42-53 ◽  
Author(s):  
Frances Perry ◽  
Lester Mackey ◽  
George A. Reis ◽  
Jay Ligatti ◽  
David I. August ◽  
...  
Keyword(s):  
Fault Tolerant ◽  
Assembly Language ◽  
Typed Assembly Language

scholarly journals Fault-tolerant typed assembly language

2007 ◽  
Author(s):  
Frances Perry ◽  
Lester Mackey ◽  
George A. Reis ◽  
Jay Ligatti ◽  
David I. August ◽  
...  
Keyword(s):  
Fault Tolerant ◽  
Assembly Language ◽  
Typed Assembly Language
Sign in / Sign up

Export Citation Format

Share Document