default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Computer Languages, Volume 77

> Home > Journals > Journal of Computer Languages

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 77, November 2023

Original Articles

- view
  authority control:
- export record
  dblp key:
  - journals/vlc/SoueiHDSA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/vlc/SoueiHDSA23
Wafa Ben Slama Souei, Chiraz El Hog, Raoudha Ben Djemaa, Layth Sliman, Ikram Amous Ben Amor:
Towards smart contract distributed directory based on the uniform description language. 101225

Special issue on Computer Languages for the Internet of Things

- view
  authority control:
- export record
  dblp key:
  - journals/vlc/VaroumasPVC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/vlc/VaroumasPVC23
Steven Varoumas, Basile Pesin, Benoît Vaugon, Emmanuel Chailloux:
Programming microcontrollers through high-level abstractions: The OMicroB project. 101228

Original Articles

- view
  authority control:
- export record
  dblp key:
  - journals/vlc/StDenis23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/vlc/StDenis23
Richard St-Denis:
A comparison of three solver-aided programming languages: αRby, ProB, and Rosette. 101238
- view
  authority control:
- export record
  dblp key:
  - journals/vlc/AttiogbeR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/vlc/AttiogbeR23
J. Christian Attiogbé, Jérôme Rocheteau:
Correctness of IoT-based systems: From a DSL to a mechanised analysis. 101239
- view
  authority control:
- export record
  dblp key:
  - journals/vlc/KamniBGHO23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/vlc/KamniBGHO23
Soulimane Kamni, Antoine Bertout, Emmanuel Grolleau, Gautier Hattenberger, Yassine Ouhammou:
Easing the tuning of drone autopilots through a model-based framework. 101240
- view
  authority control:
- export record
  dblp key:
  - journals/vlc/BoubaWOB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/vlc/BoubaWOB23
Khaoula Bouba, Abderrahim Ait Wakrime, Yassine Ouhammou, Rédouane Benaini:
A transformation methodology for Capella to Event-B models with DSL verification. 101241

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.