咨询与建议

限定检索结果

文献类型

  • 8 篇 会议

馆藏范围

  • 8 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 7 篇 工学
    • 7 篇 计算机科学与技术...
    • 6 篇 软件工程
    • 1 篇 信息与通信工程
  • 3 篇 管理学
    • 3 篇 图书情报与档案管...
  • 2 篇 理学
    • 2 篇 系统科学
    • 1 篇 数学
    • 1 篇 统计学(可授理学、...

主题

  • 2 篇 logic programmin...
  • 1 篇 fuzzy logic
  • 1 篇 computer circuit...
  • 1 篇 semantics
  • 1 篇 abstracting
  • 1 篇 classification (...

机构

  • 1 篇 school of comput...
  • 1 篇 departamento de ...
  • 1 篇 madrid
  • 1 篇 iremia universit...
  • 1 篇 depts. of comp. ...
  • 1 篇 sics uppsala sci...
  • 1 篇 aarhus univ dept...
  • 1 篇 kadi sarva vishw...
  • 1 篇 depts. of comp. ...
  • 1 篇 neuquen
  • 1 篇 irisa/insa campu...
  • 1 篇 school of comput...

作者

  • 2 篇 hermenegildo man...
  • 1 篇 navas jorge
  • 1 篇 patel jagrat
  • 1 篇 bueno francisco
  • 1 篇 munoz-hernandez ...
  • 1 篇 johannsen jacob
  • 1 篇 puebla germán
  • 1 篇 payet etienne
  • 1 篇 vaucheret claudi...
  • 1 篇 mesnard fred
  • 1 篇 langevine ludovi...
  • 1 篇 danvy olivier
  • 1 篇 albert elvira
  • 1 篇 ducassé mireille

语言

  • 8 篇 英文
检索条件"任意字段=15th Workshop on Logic-based methods in Programming Environments, WLPE 2005"
8 条 记 录,以下是1-10 订阅
排序:
Leveraging Language Models for Code Comment Classification  15
Leveraging Language Models for Code Comment Classification
收藏 引用
15th Forum for Information Retrieval Evaluation, FIRE 2023
作者: Patel, Jagrat Kadi Sarva Vishwavidyalaya LDRP-ITR Sector-15 KH-5 Gandhinagar382015 India
In the realm of software engineering, collaborative efforts among development teams are essential, and comments play a crucial role in maintaining and enhancing software quality. these comments serve various purposes,... 详细信息
来源: 评论
15th workshop on logic-based methods in programming environments, wlpe 2005
15th Workshop on Logic-based methods in Programming Environm...
收藏 引用
15th workshop on logic-based methods in programming environments, wlpe 2005
the proceedings contain 7 papers. the special focus in this conference is on logic-based tools for development and analysis of programs. the topics include: proving or disproving likely invariants with constraint reas...
来源: 评论
Inter-deriving semantic artifacts for object-oriented programming
收藏 引用
15th International workshop on logic, Language, Information and Computation
作者: Danvy, Olivier Johannsen, Jacob Aarhus Univ Dept Comp Sci DK-8200 Aarhus N Denmark
We present a new abstract machine for Abadi and Cardelli's untyped calculus of objects. What is special about this semantic artifact (i.e., man-made construct) is that is mechanically corresponds to both the reduc... 详细信息
来源: 评论
An improved non-termination criterion for binary constraint logic programs
An improved non-termination criterion for binary constraint ...
收藏 引用
15th workshop on logic-based methods in programming environments, wlpe 2005
作者: Payet, Etienne Mesnard, Fred IREMIA Université de La Réunion France
On one hand, termination analysis of logic programs is now a fairly established research topic within the logic programming community. On the other hand, non-termination analysis seems to remain a much less attractive... 详细信息
来源: 评论
A tracer driver for versatile dynamic analyses of constraint logic programs
A tracer driver for versatile dynamic analyses of constraint...
收藏 引用
15th workshop on logic-based methods in programming environments, wlpe 2005
作者: Langevine, Ludovic Ducassé, Mireille SICS Uppsala Science Park SE-75183 Uppsala Sweden IRISA/INSA Campus universitaire de Beaulieu F-35042 Rennes France
Programs with constraints are hard to debug. In this paper, we describe a general architecture to help develop new debugging tools for constraint programming. the possible tools are fed by a single general-purpose tra... 详细信息
来源: 评论
A study of set-sharing analysis via cliques
A study of set-sharing analysis via cliques
收藏 引用
15th workshop on logic-based methods in programming environments, wlpe 2005
作者: Navas, Jorge Bueno, Francisco Hermenegildo, Manuel Depts. of Comp. Science and Electr. and Comp. Eng. Univ. of New Mexico Albuquerque NM United States Madrid Spain
We study the problem of efficient, scalable set-sharing analysis of logic programs. We use the idea of representing sharing information as a pair of abstract substitutions, one of which is a worst-case sharing represe... 详细信息
来源: 评论
Extending prolog with incomplete fuzzy information
Extending prolog with incomplete fuzzy information
收藏 引用
15th workshop on logic-based methods in programming environments, wlpe 2005
作者: Munoz-Hernandez, Susana Vaucheret, Claudio Departamento de Lenguajes Sistemas de la Información e Ingeniería del Software Universidad Politécnica de Madrid Campus de Montegancedo 28660 Madrid Spain Neuquen Argentina
Incomplete information is a problem in many aspects of actual environments. Furthermore, in many sceneries the knowledge is not represented in a crisp way. It is common to find fuzzy concepts or problems with some lev... 详细信息
来源: 评论
A generic framework for the analysis and specialization of logic programs
A generic framework for the analysis and specialization of l...
收藏 引用
15th workshop on logic-based methods in programming environments, wlpe 2005
作者: Puebla, Germán Albert, Elvira Hermenegildo, Manuel School of Computer Science Technical U. of Madrid Spain School of Computer Science Complutense U. of Madrid Spain Depts. of Comp. Sci. and El. and Comp. Eng. U. of New Mexico United States
the relationship between abstract interpretation and partial deduction has received considerable attention and (partial) integrations have been proposed starting from both the partial deduction and abstract interpreta... 详细信息
来源: 评论