Programming language specification

An object-oriented approach to language compositions for software language engineering

Marjan Mernik

Citations: 50 • 2013

Teaching Programming to Novices: A Review of Approaches and Tools.

Peter Brusilovsky

Citations: 34 • 1994

The MAESTRO language and its environment: specification, validation and control of robotic missions

Ève Coste-Manière, Nicolas Turro

Citations: 30 • 2002

By how much should a general purpose programming language be extended to become a multi-robot system programming language?

Cezary Zieliński

Citations: 19 • 2001

Towards a specification of the ToonTalk language

Leonel Morgado, Ken Kahn

Citations: 16 • 2007

Towards Semantic Approaches for General-Purpose End-User Development

Mattia Atzeni, Maurizio Atzori

Citations: 8 • 2018

Formal specification and verification of a team formation protocol using TLA⁺

Rajdeep Niyogi, Amar Nath

Citations: 5 • 2023

Specifying behavior in C++

Xiangtian Dai, Gregory D. Hager, John Peterson

Citations: 5 • 2003

Including control in the definition of a programming language for multi-robots

Dominique Duhaut, Éric Monacelli

Citations: 5 • 2002

Formal specification and verification of a team formation protocol using TLA

Rajdeep Niyogi, Amar Nath

Citations: 2 • 2023

Towards Verifiable Multi-Agent Interaction Pattern Specification

Alberto Tagliaferro, Livia Lestingi, Matteo Rossi

Citations: 2 • 2024

Precise but Natural Specification for Robot Tasks

Ivan Gavran, Brendon Boldt, Eva Darulová, Rupak Majumdar

Citations: 2 • 2018