Programming languages (Electronic computers) -- Semantics
Resource Information
The concept Programming languages (Electronic computers) -- Semantics represents the subject, aboutness, idea or notion of resources found in Boston University Libraries.
The Resource
Programming languages (Electronic computers) -- Semantics
Resource Information
The concept Programming languages (Electronic computers) -- Semantics represents the subject, aboutness, idea or notion of resources found in Boston University Libraries.
- Label
- Programming languages (Electronic computers) -- Semantics
- Authority link
-
- (uri) http://id.loc.gov/authorities/subjects/sh85107316
- (uri) http://id.worldcat.org/fast/fst01078716
24 Items that share the Concept Programming languages (Electronic computers) -- Semantics
Context
Context of Programming languages (Electronic computers) -- SemanticsSubject of
No resources found
No enriched resources found
- Abstract interpretation of declarative languages
- Action semantics
- Automatic constraint generation for semantic query optimization
- Automatic rule derivation for semantic query optimization
- Axiomatising the logic of computer programming
- Control flow semantics
- Denotational semantics : a methodology for language development
- Formal semantics and pragmatics for natural language querying
- Formal specification of programming languages : a panoramic primer
- Generating language-based environments
- Introduction to natural language processing
- MetaSoft primer : towards a metalanguage for applied denotational semantics
- Polymorphic type inference for object-oriented programming languages
- Predicate calculus and program semantics
- Predicate transformer semantics
- Programming logics : an introduction to verification and semantics
- Semantics of parallelism : non-interleaving representation of behaviour
- Semantics of programming languages : structures and techniques
- Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings
- Semantics of type theory : correctness, completeness, and independence results
- Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January, 1980
- Stochastically-based semantic analysis
- Syntax-directed semantics : formal models based on tree transducers
- Understanding Z : a specification language and its formal semantics
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.bu.edu/resource/yB4M0Y4hZ2o/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/yB4M0Y4hZ2o/">Programming languages (Electronic computers) -- Semantics</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Concept Programming languages (Electronic computers) -- Semantics
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.bu.edu/resource/yB4M0Y4hZ2o/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/yB4M0Y4hZ2o/">Programming languages (Electronic computers) -- Semantics</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>
