Programming language specification

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

Marjan Mernik

引用数: 50 • 2013

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

Peter Brusilovsky

引用数: 34 • 1994

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

Ève Coste-Manière, Nicolas Turro

引用数: 30 • 2002

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

Cezary Zieliński

引用数: 19 • 2001

Towards a specification of the ToonTalk language

Leonel Morgado, Ken Kahn

引用数: 16 • 2007

Towards Semantic Approaches for General-Purpose End-User Development

Mattia Atzeni, Maurizio Atzori

引用数: 8 • 2018

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

Rajdeep Niyogi, Amar Nath

引用数: 5 • 2023

Specifying behavior in C++

Xiangtian Dai, Gregory D. Hager, John Peterson

引用数: 5 • 2003

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

Dominique Duhaut, Éric Monacelli

引用数: 5 • 2002

Formal specification and verification of a team formation protocol using TLA

Rajdeep Niyogi, Amar Nath

引用数: 2 • 2023

Towards Verifiable Multi-Agent Interaction Pattern Specification

Alberto Tagliaferro, Livia Lestingi, Matteo Rossi

引用数: 2 • 2024

Precise but Natural Specification for Robot Tasks

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

引用数: 2 • 2018