Search results for “[Subject: programming-compilers]”

• Author(s): Aurèle Barrière • Publisher: Association for Computing Machinery • Publisher Imprint: Association for Computing Machinery • BISAC: Computer ScienceThis book outlines a methodology to develop formally verified Just-in-Time compilers. ...

• Author(s): Aurèle Barrière • Publisher: Association for Computing Machinery • Publisher Imprint: Association for Computing Machinery • BISAC: Programming - CompilersThis book outlines a methodology to develop formally verified Just-in-Time comp...

• Author(s): Don Batory • Publisher: Association for Computing Machinery • Publisher Imprint: Association for Computing Machinery • BISAC: Software Development & Engineering - Project ManagementThis text is about compositional programming, wh...

• Author(s): Don Batory • Publisher: Association for Computing Machinery • Publisher Imprint: Association for Computing Machinery • BISAC: Software Development & Engineering - Project ManagementThis text is about compositional programming, wh...

• Author(s): Gavin Lowe • Publisher: Association for Computing Machinery • Publisher Imprint: Association for Computing Machinery • BISAC: Computer ScienceThis book is based on the author's experience of 30 years of teaching programming at the Un...

• Author(s): Gavin Lowe • Publisher: Association for Computing Machinery • Publisher Imprint: Association for Computing Machinery • BISAC: Programming - AlgorithmsThis book is based on the author's experience of 30 years of teaching programming a...