Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactive computing » interactive computer
programs programs » program program, problems programs, programs problems
programs program » programming program
compiling https » computing https, counseling https, consulting https
interactive computing » interactive computer
programs programs » program program, problems programs, programs problems
programs program » programming program
compiling https » computing https, counseling https, consulting https
1
Table of Contents:
“... Calculator Compiler -- Appendix E: The Factorial Program's Code -- Appendix F: Small Action Semantic...”
View full text
View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... Tractable Classes of Horn Clauses -- Infering Ownership Types for Encapsulated Object-Oriented Program...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”View full text
Electronic
eBook
5
Table of Contents:
“...Introduction -- Syntax -- Assembly Language -- C++ -- Standard ML -- Compiling Standard ML...”
View full text
View full text
Electronic
eBook
6
7
Table of Contents:
“...-Driven Programming -- Defining Classes -- Appendix A: Integer Operators -- Appendix B: Float Operators...”
View full text
View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... -- Chemical Computing -- Chemical Computing -- Programming Reaction-Diffusion Processors -- From Prescriptive...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”View full text
Electronic
eBook
10
Table of Contents:
“...The Abstract Rational Outlook -- A Grab Bag of Computational Models -- Some Formal Technology...”
View full text
View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... Prototyping of Type Safe Interactive Applications -- A Functional Shell That Operates on Typed and Compiled...”View full text
Electronic
eBook
12
Table of Contents:
“...Part I Getting Started -- Building Your First Game Application -- Programming -- Game Programming...”
View full text
View full text
Electronic
eBook
13
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“...Invited Papers -- MetateM: The Story so Far -- Agent-Based Computing and Programming of Agent...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... It for Money - Accounting Features in Agents -- From Norms to Interaction Patterns: Deriving Protocols...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... Programming Language -- Computer Science Education -- A Program Verification System Based on Oz -- Higher...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...”View full text
Electronic
eBook
18
Published 2013
Table of Contents:
“... -- Accurate Computation of Sensitizable Paths using Answer Set Programming -- HEX Semantics via Approximation...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...”View full text
Electronic
eBook
20
Table of Contents:
“...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...”
View full text
View full text
Electronic
eBook