LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Other

maude-cpp-garrido

Maude code from the paper Algebraic Semantics of the C Preprocessor and Correctness of its Refactorings Alejandra Garrido, José Meseguer, and Ralph Johnson

OtherEmerging

Stars

1

Forks

—

Contributors

1

Last push

1mo ago

Recent commits

Latest commits.

Minor syntax tweak
3e18678Gary Klimowicz1mo ago
Add **/.DS_Store to git ignore list
980de61Gary Klimowicz17mo ago
Merge pull request #3 from gklimowicz/replace-fancy-apostrophes-with-ascii-and-split-thesis-code-into-two-files
263dd38Gary Klimowicz42mo ago
Replace apostrophes and split these program into two files
b8cb128Gary Klimowicz42mo ago
Merge pull request #2 from gklimowicz/replace-fancy-apostrophes-with-ascii
32db9e9Gary Klimowicz42mo ago

Replace fancy typeset apostrophes with ASCII backtic and tic

5285785Gary Klimowicz42mo ago

Merge pull request #1 from gklimowicz/ignore-mac-.DS_Store-files

abd25b7Gary Klimowicz42mo ago

Ignore Mac .DS_Store files

7705eabGary Klimowicz42mo ago

Top contributors

Builders behind this project.