Java.net - PDFSEARCH.IO - Document Search Engine

Java.net
Results: 809

#	Item
291	Precision in Practice: A Type-Preserving Java Compiler? Christopher League1 , Zhong Shao2 , and Valery Trifonov2 1 Long Island University · Computer Science Add to Reading List Source URL: contrapunctus.net Language: English - Date: 2012-03-13 13:00:12 Object-oriented programming Type theory Data types Cross-platform software Functional programming Java Virtual method table Type system Pointer Software engineering Computing Computer programming
292	Type-Preserving Compilation of Featherweight Java CHRISTOPHER LEAGUE, ZHONG SHAO, and VALERY TRIFONOV Yale University We present an efficient encoding of core Java constructs in a simple, implementable typed intermediate Add to Reading List Source URL: contrapunctus.net Language: English - Date: 2012-03-13 13:00:11 Programming language theory Computing Recursive data type Papyrus 1 Type system Type safety Generic programming Type theory Data types Software engineering
293	Java-kielen jatkokurssi 41 Downcast Yliluokasta takaisin aliluokaksi Add to Reading List Source URL: www.pedacode.net Language: Finnish - Date: 2013-06-12 09:53:19
294	Abstract A Type-Preserving Compiler Infrastructure Christopher Adam League Many kinds of networked devices receive and execute new programs from various sources. Since we may not fully trust the producers of these progra Add to Reading List Source URL: contrapunctus.net Language: English - Date: 2012-03-13 13:00:12 Cross-platform software Type theory Procedural programming languages Java bytecode Type system Java Programming language C Strong typing Computing Software engineering Software
295	Thesis A Type-Preserving Compiler Infrastructure Christopher League Add to Reading List Source URL: contrapunctus.net Language: English - Date: 2012-03-13 13:00:13 ß Java bytecode Programming language theory Type system Closure Software engineering German language Computing
296	Functional Java Bytecode Christopher League Valery Trifonov Zhong Shao Yale University Add to Reading List Source URL: contrapunctus.net Language: English - Date: 2012-03-13 13:00:13 Data types Java programming language Cross-platform software Java virtual machine Java bytecode Lambda calculus Javac Type system Subtype polymorphism Computing Software Type theory
297	® SL-GMS J/Developer ™ Add to Reading List Source URL: www.sl.com Language: English - Date: 2012-09-20 16:08:06 Cross-platform software Java programming language Java applet Java .NET Framework Applet .sl Cross-platform Computing Computing platforms Java platform
298	MetaOCaml Server Pages: Web Publishing as Staged Computation Christopher League Long Island University · Computer Science 1 University Plaza · Brooklyn, NY 11201 Add to Reading List Source URL: contrapunctus.net Language: English - Date: 2012-03-13 13:00:12 Procedural programming languages World Wide Web Scripting languages HTML Java Comment OCaml Web server Printf format string Computing Software Cross-platform software
299	Adobe Reader version 4.1 or higher is needed to view this document. Please visit http://www.adobe.com for your free upgrade. First Name: Last Name: Email Address: Job Title: Add to Reading List Source URL: wp.bitpipe.com Language: English - Date: 2014-04-23 15:32:17 Cross-platform software Automatic memory management Garbage collection Computing platforms Azul Systems Java .NET Framework Garbage Pointer Computing Software engineering Memory management
300	Functional Java Bytecode∗ Christopher LEAGUE Valery TRIFONOV Zhong SHAO Add to Reading List Source URL: contrapunctus.net Language: English - Date: 2012-03-13 13:00:12 Cross-platform software Data types Subroutines Type theory Assembly languages Java bytecode Java Pointer Type system Computing Software engineering Computer programming

UPDATE