Featherweight - PDFSEARCH.IO - Document Search Engine

Featherweight
Results: 33

#	Item
1	Superior • Golden Gate • Baker Street • Travelite • Featherweight • Carrion • Boulder Violin Family • • • Add to Reading List Source URL: www.sagamusic.com - Date: 2016-02-25 18:09:49
2	Featherweight OCL A study for the consistent semantics of OCL 2.3 in HOL Achim D. Brucker Burkhart Wolff∗ Add to Reading List Source URL: st.inf.tu-dresden.de Language: English - Date: 2012-09-25 06:20:13 Unified Modeling Language Object Constraint Language Software Data management ECO Isabelle OCL Null Higher-order logic
3	C OQ Mechanization of Featherweight Fortress with Multiple Dispatch and Multiple Inheritance Jieung Kim and Sukyoung Ryu Computer Science Department, KAIST , Add to Reading List Source URL: www.cs.yale.edu Language: English - Date: 2014-09-15 16:23:09
4	Gradual Featherweight Typestate Roger Wolff˚ Ronald Garcia˚ Jonathan Aldrich˚ Add to Reading List Source URL: reports-archive.adm.cs.cmu.edu Language: English - Date: 2013-10-07 11:03:21
5	2011 Featherweight CatalogPM6 Add to Reading List Source URL: www.featherweightpublishing.com Language: English - Date: 2011-01-16 20:54:58
6	Dynamic Information Flow Analysis for Featherweight JavaScript Technical Report #UCSC-SOEThomas H. Austin UC Santa Cruz Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2011-11-15 10:51:13 Software engineering Computer programming Computing Subroutines Lambda calculus Functional programming Data types JavaScript Eval Anonymous function Scope Substitution
7	A Featherweight Java Interpreter Implemented in a Functional Programming Language Despite the fact that the functional programming languages are very old, they are still getting more familiar even to non-academic develop Add to Reading List Source URL: www.acm-spy.cz - Date: 2014-05-19 20:28:45
8	Featherweight PINQ (extended abstract) Hamid Ebadi and David Sands Department of Computer Science and Engineering, Chalmers University of Technology, Sweden Add to Reading List Source URL: tpdp.computing.dundee.ac.uk Language: English - Date: 2015-01-23 14:21:20
9	FeatherTrait: a modest extension of Featherweight Java LUIGI LIQUORI, INRIA and ARNAUD SPIWACK, ENS Cachan In the context of statically-typed, class-based languages, we investigate classes that can be extended with trait Add to Reading List Source URL: assert-false.net Language: English - Date: 2012-02-29 08:17:41
10	ConAir: Featherweight Concurrency Bug Recovery Via Single-Threaded Idempotent Execution Wei Zhang1 Marc de Kruijf1,2 Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2013-01-24 18:23:37 Data Concurrency control Software bugs Databases Lock Atomicity Deadlock Idempotence Thread Computing Data management Transaction processing

UPDATE