Sebanyak 131 item atau buku ditemukan

Logic-Based Program Synthesis and Transformation

18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. The 11 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.

In this paper we present a procedure for representing the semantics of linear
hybrid automata (LHAs) as constraint logic programs (CLP); flexible and accurate
analysis and verification of LHAs can then be performed using generic CLP ...

Logic Based Program Synthesis and Transformation

13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers

This volume contains selected papers from LOPSTR 2003, the 13th Inter- tional Symposium on Logic-Based Program Synthesis and Transformation. The LOPSTR series is devoted to research in logic-based program development. P- ticular topics of interest are speci?cation, synthesis, veri?cation, transformation, specialization, analysis, optimization, composition, reuse, component-based so- ware development, agent-based software development, software architectures, design patterns and frameworks, program re?nement and logics for re?nement, proofs as programs, and applications and tools. LOPSTR 2003 took place at the University of Uppsala from August 25 to August 27 as part of PLI 2003 (Principles, Logics, and Implementations of High- Level Programming Languages). PLI was an ACM-organized confederation of conferences and workshops with ICFP 2003 (ACM-SIGPLAN International C- ference on Functional Programming) and PPDP 2003 (ACM-SIGPLAN Inter- tional Conference on Principles and Practice of Declarative Programming) as the main events. The LOPSTR community pro?ted from the shared lectures of the invited speakers, and the active scienti?c discussions enabled by the co-location. LOPSTR 2003 was the thirteenth in a series of events. Past events were held in Manchester, UK (1991, 1992, 1998), Louvain-la-Neuve, Belgium (1993), Pisa, Italy (1994), Arnhem, The Netherlands (1995), Stockholm, Sweden (1996), L- ven, Belgium (1997), Venice, Italy (1999), London, UK (2000), Paphos, Cyprus (2001), and Madrid, Spain (2002).

We identify a restricted class of terms of the lambda calculus, here called weak
linear, that includes the linear lambda-terms keeping their good properties of
strong normalization, non-duplicating reductions and typability in polynomial time
.

Hubungan tingkah laku kepimpinan transformasi dan transaksi dengan prestasi kerja di kalangan pekerja kolar biru

satu kajian kes di Technocom Systems Sdn. Bhd. (TSSB), Johor Bahru

Transformasi Politik Islam

Radikalisme, Khilafatisme, dan Demokrasi

Secara keseluruhan substansi buku ini menjawab sejumlah pertanyaan tersebut serta membahas perkembangan politik menyangkut Islam dan kaum Muslimin, khususnya di Timur Tengah sejak masa modern hingga sekarang ini. Perkembangan yang melibatkan transformasi itu belakangan ini secara garis besar meningkat dalam dua gejala: Pertama, meningkatnya kekerasan dan terorisme yang dilakukan kelompok ekstrem-radikal atas nama Islam. Kedua, munculnya gelombang demokrasi di Indonesia sejak 1998 dan di beberapa negara Arab sejak akhir 2010. Dinamika politik yang tidak selalu menyenangkan terus terjadi di kawasan Dunia Arab hingga kini. *** Persembahan penerbit Kencana (PrenadaMedia)

Secara keseluruhan substansi buku ini menjawab sejumlah pertanyaan tersebut serta membahas perkembangan politik menyangkut Islam dan kaum Muslimin, khususnya di Timur Tengah sejak masa modern hingga sekarang ini.

Transformasi praktek keberagamaan di barak pengungsi gempa bumi dan tsunami Kabupaten Aceh Besar Propinsi Nanggroe Aceh Darussalam

laporan hasil penelitian

Pemerataan antardaerah sebagai tantangan utama transformasi struktural pembangunan ekonomi Indonesia masa depan