Pertanyaan yang diberi tag «semantics»

Pada utas lain , Andrej Bauer mendefinisikan semantik denotasional sebagai: arti suatu program adalah fungsi dari makna bagian-bagiannya. Yang menggangguku tentang definisi ini adalah bahwa ia tampaknya tidak memilih apa yang biasanya dianggap sebagai semantik denotasional dari apa yang biasanya dianggap sebagai semantik non-denotasional, yaitu semantik operasional struktural . Lebih …

45 pl.programming-languages  big-picture  semantics  denotational-semantics 

Saya telah membaca " Semantik dengan Aplikasi " dari Nielson & Nielson , dan saya sangat menyukai subjeknya. Saya ingin memiliki satu buku lagi tentang semantik bahasa pemrograman - tetapi saya hanya bisa mendapatkan satu buku. Saya melihat-lihat buku Turbak / Gifford , tetapi terlalu panjang lebar; Saya pikir Winskel …

31 reference-request  pl.programming-languages  semantics  denotational-semantics  books 

Pertimbangkan pertanyaan ini diselesaikan. Saya tidak akan memilih jawaban terbaik karena mereka semua telah berkontribusi pada pemahaman saya tentang topik ini. Saya tidak yakin manfaat apa yang kita miliki dengan secara formal mendefinisikan semantik logika predikat. Tetapi saya melihat nilai dalam memiliki kalkulus bukti formal. Maksud saya adalah bahwa kita …

25 lo.logic  semantics 

Sepertinya saya bahwa bahasa makro yang digunakan oleh mungkin dapat dilihat sebagai semacam sistem penulisan ulang istilah atau semacam bahasa pemrograman dengan pelingkupan panggilan demi nama.TEXTEX\TeX Bahkan implementasi modern dari mesin (mis. ) menafsirkan kode dengan cara yang cukup langsung dan saya tidak mengetahui adanya upaya untuk mengoptimalkan eksekusi (seperti …

21 pl.programming-languages  semantics  term-rewriting-systems 

Saya mencari materi tutorial yang mencakup bukti kebenaran kompiler, lebih disukai menggunakan metode denotasi, pada tingkat siswa lulusan awal. Atau, apakah Anda tahu beberapa contoh kompiler sederhana yang dapat saya gunakan untuk menggambarkan masalah? (Contoh pertama yang terpikir oleh saya adalah penerjemah dari infix ke ekspresi postfix. Tetapi gagal menunjukkan …

20 reference-request  pl.programming-languages  semantics  compilers 

Dalam bagian "Pengantar Bahasa Pemrograman" Anthony Aaby tentang Semantik , ia membuat pengamatan berikut: Banyak pekerjaan dalam semantik bahasa pemrograman termotivasi oleh masalah yang dihadapi dalam mencoba membangun dan memahami program-program penting --- program dengan perintah penugasan. Karena perintah tugas menugaskan nilai ke variabel, tugas dapat memiliki efek yang tak …

19 imperative-programming  semantics  big-picture 

Saya membaca buku Simon Peyton Jones, Implementasi Bahasa Pemrograman Fungsional dan ada satu pernyataan yang sedikit mengejutkan saya (di halaman 39): Untuk tingkat yang jauh lebih besar daripada kasus untuk bahasa imperatif, bahasa fungsional sebagian besar variasi sintaksis satu sama lain, dengan perbedaan semantik yang relatif sedikit. Sekarang, ini ditulis …

17 functional-programming  semantics  imperative-programming 

Saya baru mengenal teori bahasa pemrograman dan saya mencari sumber daya yang bagus tentang sumber daya untuk semantik formal bahasa pemrograman. Secara khusus mencari semantik operasional struktural. Saya mendapat beberapa rekomendasi buku. Tapi saya mencari sumber daya di tingkat yang lebih awal. Terutama tutorial, situs web, dan rekomendasi buku gratis …

17 reference-request  pl.programming-languages  semantics  formal-systems 

Apakah ada teori bahasa pemrograman yang menggambarkan antarmuka fungsi asing (FFI) dan binding beberapa bahasa? Saya telah menanyakan beberapa masalah implementasi pada stackoverflow , yang tidak cocok di sini. Tetapi saya ingin bertanya dari pandangan situs ini dan melihat apa yang bisa saya dapatkan dari sini. Sangat menghargai balasan Anda! …

16 pl.programming-languages  semantics 

Upaya verifikasi kompiler seringkali dilakukan untuk membuktikan bahwa kompiler sepenuhnya abstrak: kompiler itu mempertahankan dan mencerminkan kesetaraan (kontekstual). Alih-alih memberikan bukti abstraksi penuh, beberapa pekerjaan verifikasi kompiler terbaru (berdasarkan kategori) oleh Hasegawa [ 1 , 2 ] dan Egger et. Al. [ 3 ] membuktikan kelengkapan lengkap berbagai terjemahan CPS. …

15 pl.programming-languages  ct.category-theory  semantics  denotational-semantics  program-verification 

Q1. Kapan kita dapat mengatakan bahwa dua program (ditulis dalam beberapa bahasa pemrograman seperti C ++) berbeda? Ekstrem pertama adalah untuk mengatakan bahwa dua program adalah setara jika mereka identik. Ekstrem lainnya adalah dengan mengatakan dua program setara jika mereka menghitung fungsi yang sama (atau menunjukkan perilaku yang dapat diamati …

15 pl.programming-languages  semantics  equivalence 

Penafian : sementara saya peduli tentang teori jenis, saya tidak menganggap diri saya ahli dalam teori jenis. Dalam kalkulus lambda yang diketik sederhana, tipe nol tidak memiliki konstruktor dan eliminator unik: Γ⊢M:0Γ⊢initial(M):AΓ⊢M:0Γ⊢initial(M):A\frac{\Gamma \vdash M \colon 0}{\Gamma \vdash initial (M) \colon A} Dari sudut pandang denotasional, persamaan jelas (ketika jenisnya masuk …

13 pl.programming-languages  type-theory  lambda-calculus  semantics 

Saya punya pertanyaan tentang fungsi murni. Menurut halaman Wikipedia salah satu syarat untuk fungsi murni adalah: Evaluasi hasil tidak menyebabkan efek samping atau keluaran yang dapat diamati secara semantik, seperti mutasi objek yang dapat berubah atau keluaran ke perangkat I / O. Sekarang apa artinya ini. Atau lebih tepatnya bagaimana …

11 functional-programming  semantics 

Dari artikel strategi evaluasi di Wikipedia: Gagasan strategi pengurangan dalam kalkulus lambda adalah serupa tetapi berbeda. Dari artikel strategi reduksi di Wikipedia: Ini mirip dengan tetapi agak berbeda dari gagasan strategi evaluasi dalam ilmu komputer. Apa perbedaan halus antara strategi evaluasi dan strategi pengurangan yang disiratkan oleh dua artikel ini? …

10 pl.programming-languages  lambda-calculus  semantics 

Minimisasi Sirkuit adalah masalah untuk meminimalkan ukuran sirkuit yang diberikan. Apakah ada yang serupa untuk program umum? Khususnya pertanyaan saya adalah - Apakah ada algoritma untuk meminimalkan # instruksi untuk program yang diberikan. Saya tahu ini masalah yang tidak dapat diputuskan, tetapi saya tidak mencari solusi yang mengembalikan sesuatu yang …

10 pl.programming-languages  optimization  circuit-complexity  semantics  compilers