Modularity and implementation of mathematical operational semantics

QR Code

Modularity and implementation of mathematical operational semantics

Structural operational semantics is a popular technique for specifying the meaning of programs by means of inductive clauses. One seeks syntactic restrictions on those clauses so that the resulting operational semantics is well-behaved. This approach is simple and concrete but it has some drawback...

Full description

Bibliographic Details
Main Authors:	Jaskelioff, Mauro Javier, Ghani, Neil, Hutton, Graham
Format:	Conference or Workshop Item
Published:	2008
Subjects:	Modularity Category theory Operational semantics Haskell
Online Access:	https://eprints.nottingham.ac.uk/28189/

Similar Items

Towards modular compilers for effects
by: Day, Laurence, et al.
Published: (2012)

Lifting of operations in modular monadic semantics
by: Jaskelioff, Mauro Javier
Published: (2009)

Flexible self-locking intermodular connection for prefabricated modular steel buildings
by: Gohar, Nadeem
Published: (2022)

Vector control strategies to enable equal frequency operation of the modular multilevel matrix converter
by: Diaz, Matias, et al.
Published: (2018)

Topics in half integral weight modular forms
by: Branch, James
Published: (2025)

A survey of the number theoretic properties of real analytic modular forms
by: Drewitt, Joshua
Published: (2021)

Improved operation and design of modular multi-level converters through harmonic injection
by: Elayeb, Salahedin
Published: (2019)

The modular compilation of effects
by: Day, Laurence E.
Published: (2017)

Is Experts' Knowledge Modular?
by: Gobet, Fernand
Published: (2001)

Kolyvagin Derivatives of Modular Points on Elliptic Curves
by: Hatton, Richard
Published: (2020)

Towards safe and efficient functional reactive programming
by: Sculthorpe, Neil
Published: (2011)

A functional specification of effects
by: Swierstra, Wouter
Published: (2009)

An enhanced dq-based vector control system for modular multilevel converters feeding variable speed drives
by: Espinoza, Mauricio, et al.
Published: (2017)

Adaptive model for semantic question answering disambiguation over linked data
by: Sofian, Hazrina
Published: (2018)

Semantic wiki-based ontology evolution
by: Kasisopha, Natsuda, et al.
Published: (2009)

Polymonad programming in Haskell
by: Bracker, Jan, et al.
Published: (2016)

Distributive laws in programming structures
by: Rypacek, Ondrej
Published: (2010)

New modulation scheme for bidirectional quasi z-source modular multilevel converters
by: Khera, Fatma, et al.
Published: (2018)

Operation and control of the series bridge modular multilevel converter (SBC) for HVDC applications
by: Martinez Diez, Carlos
Published: (2019)

Paradox in applications of semantic similarity models in information retrieval
by: Dong, Hai, et al.
Published: (2008)

A novel N-phase multi-modular series HVDC tap
by: Tang, Yunpeng
Published: (2017)

Hybrid modular multilevel converter (MMC) applications under over-modulation
by: Donoso Merlet, Felipe Octavio
Published: (2022)

Supermonads: one notion to bind them all
by: Bracker, Jan, et al.
Published: (2016)

A survey in semantic search technologies
by: Dong, Hai, et al.
Published: (2008)

Semantic Web Service Matchmakers: State Of The Art And Challenges
by: Dong, Hai, et al.
Published: (2013)

A context-aware semantic similarity model for ontology environments
by: Dong, Hai, et al.
Published: (2011)

High power modular converters for grid interface applications
by: Jankovic, Marija
Published: (2017)

Understanding propaganda from the perspectives of general semantics / Mohd Rajib Ghani
by: Ghani, Mohd Rajib
Published: (2010)

ESBC: an enhanced modular multilevel converter with H-bridge front end
by: Amankwah, Emmanuel, et al.
Published: (2017)

An Empirical Analysis of Organization Modularization’s Impact – The Case of Google
by: Liu, Yuanyuan
Published: (2017)

Modularity in artificial neural networks
by: Amer, Mohammed Elsayed Mohammed
Published: (2021)

Rethinking the "mirroring" hypothesis: implications for technological modularity, tacit coordination, and radical innovation
by: Hao, Bin, et al.
Published: (2015)

A Threshold-Based Combination of String and Semantic Similarity Measures for Record Linkage
by: Ektefa, Mohammadreza
Published: (2011)

Semantic service matchmaking for digital health ecosystems
by: Dong, Hai, et al.
Published: (2011)

Complex Environment Evolution: Challenges with Semantic Service Infrastructures
by: Eisfeld, A., et al.
Published: (2012)

Abstract modelling: towards a typed declarative language for the conceptual modelling phase
by: Legatiuk, Dmitrii, et al.
Published: (2017)

A new modular multilevel converter for HVDC applications
by: Hassan, Zain
Published: (2021)

Control of a hybrid modular multilevel converter during grid voltage unbalance
by: Amankwah, Emmanuel K., et al.
Published: (2015)

Submodule power losses balancing algorithms for the modular multilevel converter
by: Picas, R., et al.
Published: (2016)

Seamless semantic service provisioning mechanism for ambient assisted living
by: Wan Musa, Wan Mohd Nur Muzaaliff
Published: (2013)