ACM Transactions on Programming Languages and Systems - PDFSEARCH.IO - Document Search Engine

ACM Transactions on Programming Languages and Systems
Results: 10

#	Item
1	Verified Squared: Does Critical Software Deserve Verified Tools? Xavier Leroy ∗ INRIA Paris-Rocquencourt Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2010-12-29 13:37:29 Theoretical computer science Software engineering Computing Logic in computer science Formal methods Compiler construction Formal verification ACM Transactions on Programming Languages and Systems Semantics Compiler Programming language Operational semantics
2	Hongjin Liang Address: Suzhou Institute for Advanced Study Univ. of Science and Technology of China Add to Reading List Source URL: staff.ustc.edu.cn Language: English - Date: 2016-04-27 03:06:22 Symposium on Principles of Programming Languages Programming Language Design and Implementation ACM SIGACT ACM Transactions on Programming Languages and Systems Symposium on Logic in Computer Science SIGPLAN
3	Benchmarking Computer Systems Tomas Kalibera My benchmarking background Systems CORBA, Mono, RT Java (Ovm, RTS, WebSphere), Java (OpenJDK, Add to Reading List Source URL: ecoop14.it.uu.se Language: English - Date: 2014-08-17 05:39:06 Computing Computer science Academia ACM Transactions on Programming Languages and Systems International Symposium on Memory Management Programming Language Design and Implementation Benchmarking Uncertainty Benchmark International Conference on Architectural Support for Programming Languages and Operating Systems Standard Performance Evaluation Corporation Common Object Request Broker Architecture
4	Curriculum Vitae BENJAMIN F. GOLDBERG Courant Institute of Mathematical Sciences Department of Computer Science New York University Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2014-09-02 18:48:16 Computing Computer science Software engineering Functional programming International Conference on Functional Programming Programming Language Design and Implementation SIGPLAN Compiler Symposium on Principles of Programming Languages Association for Computing Machinery ACM Transactions on Programming Languages and Systems Functional languages
5	Amer S. Diwan Work Engineering Center, ECOT 743 Department of Computer Science University of Colorado Boulder, CO[removed] Add to Reading List Source URL: www-plan.cs.colorado.edu Language: English - Date: 2009-01-07 10:11:03 Computer programming Programming Language Design and Implementation OOPSLA J. Eliot B. Moss SIGPLAN ACM Transactions on Programming Languages and Systems Principles of Programming Languages XPL Actor model Computing Software engineering Association for Computing Machinery
6	[removed]Computer Science Colloquia Mining Ultra-large Scale Software Repositories with Boa Robert Dyer Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2013-10-07 15:00:58 Object-oriented programming ACM Transactions on Programming Languages and Systems Software engineering Computing Bachelor of Science in Information Technology Education Computer science Association for Computing Machinery OOPSLA
7	Helm-Cravens Library Alphabetical List of Print Periodical Holdings Helm Library, 2nd floor (the top floor), contains most of WKU Libraries’ print periodical holdings. These periodicals represent the most recent decade Add to Reading List Source URL: www.wku.edu Language: English - Date: 2015-02-12 17:18:31 ACM SIGACT ACM Computing Surveys ACM Transactions on Computer-Human Interaction ACM Transactions on Graphics ACM Transactions on Computational Logic ACM SIGGRAPH ACM Transactions on Programming Languages and Systems Peter J. Denning Communications of the ACM Association for Computing Machinery Computer science ACM Transactions on Mathematical Software
8	DIRECT LINKS TO ELECTRONIC JOURNALS ABSTRACT AND APPLIED ANALYSIS Online from 1996 to most current issue Distribution: 1 issue annually http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&page=past&handle= Add to Reading List Source URL: tulane.edu Language: English - Date: 2012-01-03 11:31:25 ACM Transactions on Programming Languages and Systems Mass media Academic publishing Computability logic Publishing Annals of Applied Probability American Mathematical Monthly
9	DIRECT LINKS TO ELECTRONIC JOURNALS ABSTRACT AND APPLIED ANALYSIS Online from 1996 to most current issue Distribution: 1 issue annually http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&page=past&handle= Add to Reading List Source URL: www.math.tulane.edu Language: English - Date: 2011-01-03 15:06:16 ACM Transactions on Programming Languages and Systems Mass media Academic publishing Computability logic Publishing American Mathematical Monthly Annals of Applied Probability
10	Prof. Bernhard Steffen TU Dortmund BIO Add to Reading List Source URL: ls5-www.cs.tu-dortmund.de Language: English - Date: 2013-06-04 07:05:11 Computer science Model checking Software development process Large-scale Complex IT Systems ACM Transactions on Programming Languages and Systems Model-based testing Software engineering Institute for System Programming Brent Hailpern Science Formal methods Software development

UPDATE