Cross-checking - PDFSEARCH.IO - Document Search Engine

Cross-checking
Results: 74

#	Item
11	Enabling cross-library optimization and compile-time error checking in the presence of procedural macros Andrew W. Keep R. Kent Dybvig Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:49:00
12	TUGboat, Volume), NoBibliography Prettyprinting and Syntax Checking Nelson H. F. Beebe Add to Reading List Source URL: www.math.utah.edu Language: English - Date: 2003-08-23 19:28:09 Formal languages Scripting languages Procedural programming languages Pattern matching BibTeX TeX AWK INI file C Computing Software Cross-platform software
13	Enabling cross-library optimization and compile-time error checking in the presence of procedural macros ∗ Andrew W. Keep R. Kent Dybvig Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:23:08 Cross-platform software Scheme C Library Template metaprogramming Eval D Lisp JavaScript Computing Software engineering Computer programming
14	Specifying and Checking Java using CSP? Michael M¨oller Universit¨ at Oldenburg, Fachbereich Informatik Postfach 2503, D–26111 Oldenburg, Germany Add to Reading List Source URL: www.cs.kun.nl Language: English - Date: 2002-05-29 03:53:26 Logic in computer science Formal methods Concurrent computing Cross-platform software Process calculi Communicating sequential processes Runtime verification Actor model Process calculus Computing Theoretical computer science Software engineering
15	Translations of Cellular Automata for Efficient Simulation Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:36:39 Boolean algebra Cross-platform software Diagrams Binary decision diagram Model checking Cellular automaton Java Lookup table C Computing Computer programming Software engineering
16	Institut für Systemsoftware O.Univ.-Prof. Dr. Hanspeter Mössenböck Source Code Analysis for Checking Java Access Modifiers Master thesis for: Lin Jinxiang Student ID: Add to Reading List Source URL: www.ssw.uni-linz.ac.at Language: English - Date: 2009-10-13 09:33:48 Cross-platform software Code refactoring Extreme programming Object-oriented programming C++ NetBeans Java Class String Computing Software Java platform
17	Perl versiondocumentation - perl587delta NAME perl587delta - what is new for perl v5.8.7 DESCRIPTION Add to Reading List Source URL: perldoc.perl.org Language: English - Date: 2014-10-03 15:58:30 Perl Character encoding Cross-platform software Plain Old Documentation UTF-8 Taint checking Regular expression Unicode Computing Software engineering Computer programming
18	Enabling cross-library optimization and compile-time error checking in the presence of procedural macros ∗ Andrew W. Keep R. Kent Dybvig Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2012-01-06 10:40:56 Cross-platform software Scheme C Library Template metaprogramming Eval D Lisp JavaScript Computing Software engineering Computer programming
19	Formal Analysis of the Remote Agent Before and After Flight Klaus Havelund1 , Mike Lowry, SeungJoon Park2 , Charles Pecheur2 , John Penix, Willem Visser2 , Jon L. White3 The Automated Software Engineering Group NASA Ames Add to Reading List Source URL: ti.arc.nasa.gov Language: English - Date: 2008-08-08 17:05:30 Cross-platform software Model checkers Functional languages Lisp programming language Programming paradigms Promela Model checking Java Pathfinder Common Lisp Computing Software engineering Computer programming
20	Institut für Systemsoftware O.Univ.-Prof. Dr. Hanspeter Mössenböck Bytecode Analysis for Checking Java Access Modifiers Bachelor thesis for: Andreas Müller Student ID: Add to Reading List Source URL: www.ssw.uni-linz.ac.at Language: English - Date: 2009-10-13 09:34:02 Java platform Computing platforms Object-oriented programming Java Bytecode Class Computing Software engineering Cross-platform software

UPDATE