Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interface specifications » interface specification, service specifications, interface applications
specifications program » specification program, specifications property, specifications from
programs compiling » programs combining, programs compiler, programs containing
program programs » program program, programs program, program progress
compiling https » computing https, counseling https, consulting https
interface specifications » interface specification, service specifications, interface applications
specifications program » specification program, specifications property, specifications from
programs compiling » programs combining, programs compiler, programs containing
program programs » program program, programs program, program progress
compiling https » computing https, counseling https, consulting https
1
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
2
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“... with a Web Interface -- Web Sites Verification: An Abductive Logic Programming Tool -- Visual Logic...”View full text
Electronic
eBook
4
Published 2012
Table of Contents:
“... Programs -- Formal Specification as High-Level Programming: The ASSL Approach -- Atomicity in Real-time...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... -- From Authorization Logics to Types for Authorization -- Interface Types for Haskell -- Exception...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... Order Programming for Unordered Minds -- Software Engineering -- Compiling Formal Specifications to Oz...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...”View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“... User -- Programs and Predicates -- Validity Invariants and Effects -- Non-null References by Default...”View full text
Electronic
eBook
9
Table of Contents:
“... and Using NASM -- Debugging Assembly Language Programs -- Assembly Language -- A First Look at Assembly...”
View full text
View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... Using uDAPL Interface -- Experiences, Strategies and Challenges in Adapting PVM to VxWorks TM Hard Real...”View full text
Electronic
eBook
11
Published 2014
Table of Contents:
“....- Steps towards Scenario-Based Programming with a Natural Language Interface.- Assembly Theories...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“... Features -- The Drawing Carousel: A Pair Programming Experience -- Agile Development with Domain Specific...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... Information Overload -- Multi-fidelity User Interface Specifications -- HOPS: A Prototypical Specification...”View full text
Electronic
eBook
14
Published 2012
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”View full text
Electronic
eBook
15
Published 2011
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”View full text
Electronic
eBook
16
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
17
Published 2014
Table of Contents:
“... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”View full text
Electronic
eBook
18
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... and Tool Support -- Preliminary Design of BML: A Behavioral Interface Specification Language for Java...”View full text
Electronic
eBook