Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-10 ل  27 نتائج ل ""I.2.2""

فلترة النتائج

Subject : program transformation
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Synthesizing Accurate Floating-Point Formulas

Subjects: Code synthesis; Floating-point arithmetic; IEEE754 StandardWashington; DC; United States

  • Source: Application-Specific Systems, Architectures and Processors (ASAP), 2013 IEEE 24th International Conference ; ASAP 2013 - 24th IEEE International Conference Application-specific Systems, Architectures

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×

Automatic Android Deprecated-API Usage Update by Learning from Single Updated Example

Subjects: FOS: Computer and information sciences; I.2.2; Deprecation

  • Source: ICPC 2020-28th IEEE/ACM International Conference on Program Comprehension-ERA trackICPC 2020-28th IEEE/ACM International Conference on Program Comprehension-ERA track, Jul 2020, Seoul / Virtual,

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Partial Evaluation for Higher-Order Languages with State

Subjects: higher-order programming; program transformation; partial evaluation

  • Source: http://www.informatik.uni-freiburg.de/~thiemann/papers/mlpe.ps.gz.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

The Ecce and Logen Partial Evaluators and Their Web Interfaces

Subjects: Categories and Subject Descriptors D.1.2 [Programming Tech- niques; Automatic Programming; D.1.6 [Programming Tech- niques

  • Source: http://eprints.soton.ac.uk/262652/1/ecce_logen_tool.pdf.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Typed Combinators for Generic Traversal

Subjects: 1998 ACM Computing Classi cation System; D.1.1; D.1.2

  • Source: http://ftp.cwi.nl/CWIreports/SEN/SEN-R0124.pdf.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Typed Combinators for Generic Traversal

Subjects: 1998 ACM Computing Classi#cation System; D.1.1; D.1.2

  • Source: http://www.cwi.nl/ftp/CWIreports/SEN/SEN-R0124.ps.Z.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Kleene Algebra with Tests

  • Authors : Dexter Kozen; The Pennsylvania State University CiteSeerX Archives

Subjects: Expressions and Their Representations---simplification of expressions; I.1.3 [Algebraic Manipulation; Languages and Systems---special-purpose algebraic systems

  • Source: http://www.cs.cornell.edu/kozen/papers/kat.ps.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Controlling Generalization and Polyvariance in Partial Deduction of Normal Logic Programs

Subjects: Categories and Subject Descriptors; D.1.2 [Programming Techniques; Automatic Programming

  • Source: http://www.cs.kuleuven.ac.be/~dtai/publications/files/2632.ps.gz.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×

Removing Unnecessary Variables from Horn Clause Verification Conditions

Subjects: FOS: Computer and information sciences; Computer Science - Logic in Computer Science; Horn clause

  • Source: HCVS@ETAPSElectronic Proceedings in Theoretical Computer Science, Vol 219, Iss Proc. HCVS2016, Pp 49-55 (2016)3rd International Workshop on Horn Clauses for Verification and Synthesis

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Eta-expansion does the Trick

Subjects: and Formal Languages; Mathematical Logic—lambda calculus and related systems; I.1.3 [Algebraic Manipulation

  • Source: http://www.cs.ucla.edu/~palsberg/paper/toplas96-dmp.pdf.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
  • 1-10 ل  27 نتائج ل ""I.2.2""