Domande taggate «pl.programming-languages»

I linguaggi di programmazione, in particolare, si concentrano sulla loro semantica.

6
Massima potenza computazionale di un'implementazione C.
Se seguiamo il libro (o qualsiasi altra versione della specifica del linguaggio, se preferisci), quanta potenza computazionale può avere un'implementazione C? Si noti che "implementazione C" ha un significato tecnico: è un'istanza particolare della specifica del linguaggio di programmazione C in cui è documentato il comportamento definito dall'implementazione. L'implementazione in …
5
Esistono sistemi di verifica formale con annotazioni per linguaggi di programmazione funzionali puri?
ACSL (Ansi C Specification Language), è una specifica per il codice C, annotata con commenti speciali, che consente di verificare formalmente il codice C. Non ci ho pensato , ma immagino che i metodi formali utilizzati nei verificatori ACSL sarebbero simili a Hoare Logic. Per i linguaggi puramente funzionali, come …
3
Qual è la differenza tra la riscrittura dei termini e la corrispondenza dei pattern?
Dato che Lambda the Ultimate non ha ricevuto alcuna risposta, la provo di nuovo qui: i sistemi di riscrittura dei termini sono usati ad esempio nel teorema automatizzato che dimostra un calcolo simbolico e, naturalmente, per definire grammatiche formali. Esistono alcuni linguaggi di programmazione basati sulla riscrittura dei termini, ma …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.