sémantique langage programmation
Resource Information
The concept sémantique langage programmation represents the subject, aboutness, idea or notion of resources found in Boston University Libraries.
The Resource
sémantique langage programmation
Resource Information
The concept sémantique langage programmation represents the subject, aboutness, idea or notion of resources found in Boston University Libraries.
- Label
- sémantique langage programmation
30 Items that share the Concept sémantique langage programmation
Context
Context of sémantique langage programmationSubject of
- A practical introduction to denotational semantics
- Algebraic approaches to program semantics
- Algebraic theory of processes
- Applied semantics : International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 : advanced lectures
- Attribute grammars : definitions, systems, and bibliography
- Basic category theory for computer scientists
- CAAP '90 : 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 1990, proceedings
- Categories, types, and structures : an introduction to category theory for the working computer scientist
- Computability theory, semantics, and logic programming
- Efficient parsing for natural language : a fast algorithm for practical systems
- Essentials of programming languages
- Foundations for programming languages
- Foundations of programming languages
- Introduction to natural language processing
- Logic programming : operational semantics and proof theory
- Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings
- Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
- Mathematical foundations of programming semantics : 9th international conference, New Orleans, LA, USA, April 7-10, 1993 : proceedings
- Mathematical foundations of programming semantics : international conference, Manhattan, Kansas, April 11-12, 1985 : proceedings
- Mathematical theory of domains
- Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings
- Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings
- Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings
- Semantics of digital circuits
- Semantics of type theory : correctness, completeness, and independence results
- The formal semantics of programming languages : an introduction
- The foundations of program verification
- The structure of typed programming languages
- Theoretical aspects of computer software : International Conference, TACS'91, Sendai, Japan, September 24-27, 1991 : proceedings
- ZUM '97, the Z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedings
Embed (Experimental)
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/oDveZ7nWx0s/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/oDveZ7nWx0s/">sémantique langage programmation</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 sémantique langage programmation
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/oDveZ7nWx0s/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/oDveZ7nWx0s/">sémantique langage programmation</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>
