https://github.com/sidmishraw/bool-lang-1

BOOL, BOOL++ and WHILE language implementations using Scala on different branches
https://github.com/sidmishraw/bool-lang-1

big-step-semantics bool-lang boolean language-design scala small-step-semantics while-language

Last synced: about 2 months ago
JSON representation

BOOL, BOOL++ and WHILE language implementations using Scala on different branches

• Host: GitHub
• URL: https://github.com/sidmishraw/bool-lang-1
• Owner: sidmishraw
• Created: 2017-09-19T04:34:22.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2017-09-23T02:00:37.000Z (over 7 years ago)
• Last Synced: 2024-04-28T03:39:20.898Z (8 months ago)
• Topics: big-step-semantics, bool-lang, boolean, language-design, scala, small-step-semantics, while-language
• Language: Scala
• Homepage:
• Size: 1.75 MB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# The BOOL* language implementation using Scala

This is the language implementation for **`BOOL*`**

## Language Specification:

```

e ::= True

    | False

    | if e then e else e

```

```

v ::= True

    | False

```

## Big Step operational semantics:

* Rule#1

```

    e1 ⇓ True       e2 ⇓ v

⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯       [BS - IF - True]

if e1 then e2 else e3 ⇓ v

```

* Rule#2

```

    e1 ⇓ False      e3 ⇓ v

⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯      [BS - IF - False]

if e1 then e2 else e3 ⇓ v

```

* Rule#3

```

v ⇓ v

```