Typed assembly language - PDFSEARCH.IO - Document Search Engine

Typed assembly language
Results: 14

#	Item
1	Compiling the π-calculus into a Multithreaded Typed Assembly Language Tiago Cogumbreiro Joint work with Francisco Martins Vasco T. Vasconcelos Add to Reading List Source URL: places08.di.fc.ul.pt Language: English - Date: 2011-01-31 06:33:44 Theoretical computer science Process calculi -calculus Processor register Thread
2	Initial execution of this .exe file opens a graphical user interface which indicates that it is a control program for a keystroke logger, i.e. a trojan that secretly monitors and records anything typed by a user. Further Add to Reading List Source URL: www.iacertification.org Language: English - Date: 2010-02-01 17:42:09 Computer architecture Computing X86 architecture Software Assembly languages X Sharp JMP X86 assembly language
3	Singleton A General-Purpose Dependently-Typed Assembly Language Simon Winwood Manuel Chakravarty Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2010-11-24 22:04:23
4	From System F to Typed Assembly Language∗ Greg Morrisett David Walker Karl Crary Add to Reading List Source URL: glew.org Language: English - Date: 2002-11-16 22:02:43
5	Semantic Foundations for Typed Assembly Languages AMAL AHMED, ANDREW W. APPEL, CHRISTOPHER D. RICHARDS, KEDAR N. SWADI, GANG TAN, and DANIEL C. WANG Princeton University Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2009-06-25 20:03:38 Data types Type theory Object-oriented programming Model theory C++ Type safety Type system Denotational semantics Subtype polymorphism Software engineering Computing Programming language theory
6	TALx86: A Realistic Typed Assembly Language∗ Greg Morrisett Karl Crary† Neal Glew Dan Grossman Richard Samuels Frederick Smith David Walker Stephanie Weirich Steve Zdancewic Cornell University Abstract Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:25 Assembly languages Data types X86 architecture C programming language Assemblers Calling convention Low-level programming language X86 MOV Computing Computer architecture Software engineering
7	Stack-Based Typed Assembly Language ∗ Greg Morrisett Cornell University Karl Crary Carnegie Mellon University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-04-14 16:12:37 Subroutines Programming language implementation Calling convention Tail call Stack Call stack Pointer Assembly language C Software engineering Computer programming Computing
8	TALx86: A Realistic Typed Assembly Language∗ Greg Morrisett Karl Crary† Neal Glew Dan Grossman Richard Samuels Frederick Smith David Walker Stephanie Weirich Steve Zdancewic Cornell University Abstract Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-04-29 08:17:52 Assembly languages X86 architecture C programming language Assemblers X86 instructions Calling convention Low-level programming language Java bytecode X86 Computing Computer architecture Software engineering
9	Scalable Certiﬁcation for Typed Assembly Language Dan Grossman and Greg Morrisett Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2001-03-05 11:41:46 Programming language implementation Type theory Procedural programming languages Compiler construction Functional languages Compiler Type inference Type system Type safety Software engineering Computing Programming language theory
10	From System F to Typed Assembly Language GREG MORRISETT and DAVID WALKER Cornell University KARL CRARY Carnegie Mellon University and Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-10-21 10:40:17 Computing Models of computation Functional languages Program analysis Type system Standard ML Type safety Typed assembly language Lambda calculus Software engineering Type theory Programming language theory