<--- Back to Details
First PageDocument Content
Programming language semantics / Procedural programming languages / Logic in computer science / Denotational semantics / ALGOL 68 / Standard ML / Operational semantics / Programming language / IMP programming language / Programming language theory / Software engineering / Theoretical computer science
Date: 2001-02-26 07:20:40
Programming language semantics
Procedural programming languages
Logic in computer science
Denotational semantics
ALGOL 68
Standard ML
Operational semantics
Programming language
IMP programming language
Programming language theory
Software engineering
Theoretical computer science

BRICS Basic Research in Computer Science BRICS RSP. D. Mosses: Modularity in Meta-Languages Modularity in Meta-Languages

Add to Reading List

Source URL: www.brics.dk

Download Document from Source Website

File Size: 159,25 KB

Share Document on Facebook

Similar Documents

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

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

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

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

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

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

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

DocID: 1xUyT - View Document

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

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

DocID: 1xUqQ - View Document