<--- Back to Details
First PageDocument Content
Software engineering / Programming language theory / Formal languages / Denotational semantics / Procedural programming languages / Operational semantics / Semantics / Action semantics / Programming language / Theoretical computer science / Logic in computer science / Programming language semantics
Date: 2011-01-10 14:16:37
Software engineering
Programming language theory
Formal languages
Denotational semantics
Procedural programming languages
Operational semantics
Semantics
Action semantics
Programming language
Theoretical computer science
Logic in computer science
Programming language semantics

Component-Based Description of Programming Languages Peter D. Mosses

Add to Reading List

Source URL: www.bcs.org

Download Document from Source Website

File Size: 210,13 KB

Share Document on Facebook

Similar Documents

Theoretical computer science / Quantum information science / Quantum mechanics / Quantum computing / Models of computation / Emerging technologies / Quantum programming / Quantum circuit / Reversible computing / QML / Qubit / Quantum teleportation

Grattage, Jonathan JamesA functional quantum programming language. PhD thesis, University of Nottingham. Access from the University of Nottingham repository: http://eprints.nottingham.ac.ukthesis.pdf Cop

DocID: 1xVW1 - View Document

Software engineering / Computer programming / Computing / Control flow / Exception handling / Setjmp.h / C++ / Goto / Subroutine / Pointer / Inline expansion / Switch statement

C++ Exception Handling for IA-64 Christophe de Dinechin Hewlett-Packard IA-64 Foundation Lab Abstract The C++ programming language offers a feature

DocID: 1xVT7 - View Document

POP-PL: A Patient-Oriented Prescription Programming Language Spencer P. Florence˚,:: Burke Fetscher˚ Matthew Flatt: William H. Temps; Tina Kiguradze; Dennis P. West; Charlotte Niznik; Paul R. Yarnold§ Robert Bruce Fin

DocID: 1xUAI - View Document

Software engineering / Computing / Computer programming / Functional programming / Data types / Functional languages / Evaluation strategy / Subroutines / Functional reactive programming / Arduino / Reactive programming / Void type

Juniper: A Functional Reactive Programming Language for the Arduino Caleb Helbling Samuel Z Guyer

DocID: 1xUyT - View Document

Software engineering / Computer programming / Computing / Transformation languages / Metaprogramming / Source code / Dylan / Hygienic macro / Scheme / Macro / Scope / Anonymous function

tifact Categories and Subject Descriptors D.3.3 [Programming Languages]: Language Constructs and Features Keywords Macros, hygiene, binding, scope 1.

DocID: 1xUqQ - View Document