首页>外文期刊>计算机、自动化>Computer languages

Computer languages

SCI

中文名称：电脑语言

ISSN：0096-0551
出版周期：Quarterly

发文量：10

期刊论文

热门论文

年度选择

2010
- 第1期
- 第2期
- 第3期
- 第4期
2009
- 第3期
- 第4期
2002
- 第1期
- 第2期
- 第3期
2001
- 第4期
2000
- 第1期
- 第4期
1999
- 第4期
1997
- 第1期
- 第4期

更多>>

全选（0）

1.Dynamic composition of parameterised logic modules

机译：动态组成参数化逻辑模块
- 作者：Antonio Brogi;Chiara Renso;Franco Turini
- 期刊名称：《Computer languages》 | 1999年第4期
- Logic programming;
- Program composition;
- Semantics;
2.Simulating multiple inheritance and generics in Java

机译：在Java中模拟多重继承和泛型
- 作者：Krishnaprasad Thirunarayan;Gunter Kniesel;Haripriyan Hampapuram
- 期刊名称：《Computer languages》 | 1999年第4期
- Java language;
- Object-oriented programming;
- Design patterns;
3.OBJECT LOGIC INTEGRATION: A MULTIPARADIGM DESIGN METHODOLOGY AND A PROGRAMMING LANGUAGE

机译：对象逻辑集成：一种多参数设计方法和一种编程语言
- 作者：J. H. M. LEE;P. K. C. PUN
- 期刊名称：《Computer languages》 | 1997年第1期
- multiparadigm programming languages;
- logic programming;
- object-oriented programming;
4.VISUAL OCCAM: SYNTAX AND SEMANTICS

机译：视觉OCCAM：语法和语义
- 作者：MUHAMMED AL-MULHEM;SHAHID ALI
- 期刊名称：《Computer languages》 | 1997年第1期
- visual programming languages;
- petri nets;
- syntax and semantics;
- occam;
- concurrent programming;
5.PRACTICAL EXCEPTION HANDLING AND RESOLUTION IN CONCURRENT PROGRAMS

机译：并行程序中的实际例外处理和解决
- 作者：ALEXANDER ROMANOVSKY
- 期刊名称：《Computer languages》 | 1997年第1期
6.TOWARDS THE UNIFORM IMPLEMENTATION OF DECLARATIVE LANGUAGES

机译：走向统一的定义语言
- 作者：MANUEL M. T. CHAKRAVARTY;HENDRIK C. R. LOCK
- 期刊名称：《Computer languages》 | 1997年第4期
- logic programming;
- functional programming;
- abstract machine;
7.DRL: A DISTRIBUTED REAL-TIME LOGIC LANGUAGE

机译：DRL：一种分布式实时逻辑语言
- 作者：M. DIAZ;B. RUBIO;J. M. TROYA
- 期刊名称：《Computer languages》 | 1997年第4期
8.PROGRAM SEPARATION AND DEFINITIONAL HIGHER ORDER PROGRAMMING

机译：程序分离和确定的高阶编程
- 作者：G. FALKMAN
- 期刊名称：《Computer languages》 | 1997年第4期
- algorithmic content;
- algorithmic form;
- definitions;
- definitional programming;
- higher order programming;
- program separation;
9.LAZY NARROWING WITH SIMPLIFICATION

机译：懒惰的简化
- 作者：MICHAEL HANUS
- 期刊名称：《Computer languages》 | 1997年第4期
- functional logic programming;
- unification;
- narrowing;
- lazy narrowing;
- term rewriting;
10.ON GOAL-DIRECTED PROVABILITY IN CLASSICAL LOGIC

机译：关于经典逻辑中目标定向的概率
- 作者：JAMES HARLAND
- 期刊名称：《Computer languages》 | 1997年第4期
- classical logic;
- goal-directed proofs;
- logic programming;
- permutability properties;
- proof search;
11.Cost-driven autonomous mobility

机译：成本驱动的自动出行
- 作者：Xiao Yan Deng;Greg Michaelson;Phil Trinder
- 期刊名称：《Computer languages》 | 2010年第1期
- autonomous systems;
- load balancing;
- cost models;
- jocaml;
12.Towards proving type safety of C~#

机译：迈向C〜＃的证明型安全
- 作者：Nicu G. Fruja
- 期刊名称：《Computer languages》 | 2010年第1期
- C~#;
- programming languages;
- type safety;
- semantics;
- compilers;
- security;
13.Feedback-directed specialization of code

机译：反馈导向的代码专业化
- 作者：Minhaj Ahmad Khan
- 期刊名称：《Computer languages》 | 2010年第1期
- programming languages;
- optimizations;
- specialization;
- compilers;
- dynamic code generation;
14.Component-based LR parsing

机译：基于组件的LR解析
- 作者：Xiaoqing Wu;Barrett R. Bryant;Jeff Gray;Marjan Mernik
- 期刊名称：《Computer languages》 | 2010年第1期
- component-based software development;
- LR parsing;
- parser generator;
15.The dependence condition graph: Precise conditions for dependence between program points

机译：依赖条件图：程序点之间依赖的精确条件
- 作者：Srihari Sukumaran;Ashok Sreenivas;Ravindra Metta
- 期刊名称：《Computer languages》 | 2010年第1期
- program dependence;
- software engineering;
- program dependence graph (PDG);
- static analysis;
16.An investigation in parallel execution of answer set programs on distributed memory platforms: Task sharing and dynamic scheduling

机译：在分布式内存平台上并行执行答案集程序的研究：任务共享和动态调度
- 作者：Enrico Pontelli;Hung Viet Le;Tran Cao Son
- 期刊名称：《Computer languages》 | 2010年第2期
- logic programming;
- answer set programming;
- parallelism;
- scheduling;
17.Extending object-oriented languages with backward error recovery integrated support

机译：通过向后错误恢复集成支持来扩展面向对象的语言
- 作者：Daniel Fernandez Lanvin;Raul Izquierdo Castanedo;Aquilino Adolfo Juan Fuente;Alberto Manuel Fernandez Alvarez
- 期刊名称：《Computer languages》 | 2010年第2期
- recoverability;
- object-oriented;
- error recovery;
- reconstructor;
- software robustness;
18.Flexibility and coordination in event-based, loosely coupled,distributed systems

机译：基于事件的松耦合分布式系统中的灵活性和协调性
- 作者：B.Silvestre;S. Rossetto;N. Rodriguez;J.-P.Briot
- 期刊名称：《Computer languages》 | 2010年第2期
- coordination;
- synchronization;
- distributed programming;
- interpreted language;
- closures;
- coroutines;
- first-class functions;
- asynchronous remote procedure call;
19.A platform for the automatic generation of attribute evaluation hardware systems

机译：自动生成属性评估硬件系统的平台
- 作者：Alexandras C. Dimopoulos;Christos Pavlatos;George Papakonstantinou
- 期刊名称：《Computer languages》 | 2010年第2期
- attribute grammars;
- FPGA;
- attribute evaluation;
- hardware;
- semantic evaluation;
20.On minimizing register usage of linearly scheduled algorithms with uniform dependencies

机译：关于最小化具有一致依赖性的线性调度算法的寄存器使用率
- 作者：Cesar J. Philippidis;Weijia Shang
- 期刊名称：《Computer languages》 | 2010年第3期
- register allocation;
- linear scheduling;
- wavefront scheduling;
- live variable analysis;
- register spilling;
- loop unrolling;
21.Program transformations for information personalization

机译：信息个性化的程序转换
- 作者：Saverio Perugini;Naren Ramakrishnan
- 期刊名称：《Computer languages》 | 2010年第3期
22.Isolating untrusted software extensions by custom scoping rules

机译：通过自定义范围规则隔离不受信任的软件扩展
- 作者：Philip W.L Fong;Simon Orr
- 期刊名称：《Computer languages》 | 2010年第3期
- access control;
- name visibility control;
- custom scoping rules;
- language-based security;
- Java;
23.An approach for non-intrusively adding malleable fork/join parallelism into ordinary JavaBean compliant applications

机译：一种非侵入性地将可延展的fork / join并行性添加到兼容JavaBean的普通应用程序中的方法
- 作者：Cristian Mateos;Alejandro Zunino;Marcelo Campo
- 期刊名称：《Computer languages》 | 2010年第3期
- parallel computing;
- fork-join parallelism;
- implicit parallelism;
- non-invasive tuning;
- Java;
24.System J: A GALS language for system level design

机译：系统J：用于系统级设计的GALS语言
- 作者：Avinash Malik;Zoran Salcic;Partha S. Roop;Alain Girault
- 期刊名称：《Computer languages》 | 2010年第4期
- computer languages;
- reactive languages;
- synchronous languages;
- GALS languages;
- semantics;
- compilation;
- embedded systems;
25.Customizing a functional programming language for web development

机译：定制用于Web开发的功能性编程语言
- 作者：Sasa N. Malkov
- 期刊名称：《Computer languages》 | 2010年第4期
- functional programming;
- web development;
- programming languages design;
- wafl;
26.Non-repudiation analysis using LySa with annotations

机译：使用带有注释的LySa进行不可否认性分析
- 作者：Mayla Bruso;Agostino Cortesi
- 期刊名称：《Computer languages》 | 2010年第4期
- static analysis;
- control flow analysis;
- security;
- process calculus;
27.jLab: Integrating a scripting interpreter with Java technology for flexible and efficient scientific computation

机译：jLab：将脚本解释器与Java技术集成在一起，以实现灵活高效的科学计算
- 作者：Stergios Papadimitriou;Konstantinos Terzidis
- 期刊名称：《Computer languages》 | 2009年第3期
- programming environments;
- java;
- scientific software;
- scripting interpreter;
- reflection;
28.Dynamic reordering of alternatives for definite logic programs

机译：确定逻辑程序的替代方案的动态重新排序
- 作者：Hai-Feng Guo;Gopal Gupta
- 期刊名称：《Computer languages》 | 2009年第3期
- logic programming;
- tabled resolution;
- SLD resolution;
- fixed point;
- DRA resolution;
29.Zero-a blend of static typing and dynamic metaprogramming

机译：零-静态类型化和动态元编程的混合
- 作者：Saso Greiner;Janez Brest;Viljem Zumer
- 期刊名称：《Computer languages》 | 2009年第3期
- language design;
- object-oriented programming;
- structural reflection;
- behavioural reflection;
- static typing;
- run-time modification;
30.Optimizing the stack size of recursive functions

机译：优化递归函数的堆栈大小
- 作者：Stefan Schaeckeler;Weijia Shang
- 期刊名称：《Computer languages》 | 2009年第3期
- program size optimization;
- stack size reduction;
- memory compaction;
- recursion;
- recursion removal;
- program transformation;
- post pass optimization;
31.Safety shell for specification-PEARL oriented UML real-time projects

机译：面向规范的面向PEARL的UML实时项目的安全壳
- 作者：Roman Gumzej;Matjaz Colnaric;Wolfgang A. Halang
- 期刊名称：《Computer languages》 | 2009年第3期
- real-time systems;
- embedded systems;
- UML profiles and patterns;
- dynamic re-configuration;
- safety;
32.Generic operations and capabilities in the JR concurrent programming language

机译：JR并发编程语言中的通用操作和功能
- 作者：Hiu Ning (Angela) Chan;Andrew J. Gallagher;Appu S. Goundan;Yi Lin William Au Yeung;Aaron W. Keen;Ronald A. Olsson
- 期刊名称：《Computer languages》 | 2009年第3期
- concurrency;
- JR operations;
- java;
- generics;
- language design;
- language implementation;
33.Ferret: Programming language support for multiple dynamic classification

机译：雪貂：编程语言支持多种动态分类
- 作者：Bard Bloom;Paul Keyser;Ian Simmonds;Mark Wegman
- 期刊名称：《Computer languages》 | 2009年第3期
- object-oriented programming;
34.A transformational language for mutant description

机译：突变描述的一种转换语言
- 作者：Adenilso Simao;Jose Carlos Maldonado;Roberto da Silva Bigonha
- 期刊名称：《Computer languages》 | 2009年第3期
- mutation testing;
- transformation languages;
- logical languages;
- software testing;
- prototyping;
35.A higher-order strategy for eliminating common subexpressions

机译：消除常见子表达式的高级策略
- 作者：R. Daniel Resler;Victor Winter
- 期刊名称：《Computer languages》 | 2009年第4期
36.A monotone framework for CCS

机译：CCS的单调框架
- 作者：Hanne Riis Nielson;Flemming Nielson
- 期刊名称：《Computer languages》 | 2009年第4期
- process calculi;
- CCS;
- static analysis;
- monotone frameworks;
37.Software composition with Linda

机译：Linda的软件组合
- 作者：Ana M. Roldan;Ernesto Pimentel;Antonio Brogi
- 期刊名称：《Computer languages》 | 2009年第4期
- coordination languages;
- components;
- software architecture;
- compatibility;
- interaction;
- process algebras;
38.Query generation for retrieving data from distributed semistructured documents using a metadata interface

机译：查询生成，用于使用元数据接口从分布式半结构化文档中检索数据
- 作者：Guija Choe;Young-Kwang Nam;Joseph Goguen;Guilian Wang
- 期刊名称：《Computer languages》 | 2009年第4期
- semistructured data;
- XML;
- metadata;
- query processing;
- distributed;
39.The Green language type system

机译：绿色语言类型系统
- 作者：Jose de Oliveira Guimaraes
- 期刊名称：《Computer languages》 | 2009年第4期
- object-oriented languages;
- green;
- type system;
- polymorphism;
40.A framework for attaching personal assistants to existing applications

机译：用于将个人助理附加到现有应用程序的框架
- 作者：Marcelo G. Armentano;Analia A. Amandi
- 期刊名称：《Computer languages》 | 2009年第4期
- personal assistants;
- interface agents;
- object oriented frameworks;
41.Utility-driven solution for optimal resource allocation in computational grid

机译：实用程序驱动的计算网格中最佳资源分配解决方案
- 作者：Zhi-jie Li;Chun-tian Cheng;Fei-xue Huang
- 期刊名称：《Computer languages》 | 2009年第4期
- resource allocation;
- utility function;
- computational grid;
- GridSim;
42.Distributed call-tracking for security

机译：分布式呼叫跟踪以提高安全性
- 作者：Dilsun Kirli
- 期刊名称：《Computer languages》 | 2002年第1期
43.Security boundaries in mobile ambients

机译：移动环境中的安全边界
- 作者：Chiara Braghin;Agostino Cortesi;Riccardo Focardi
- 期刊名称：《Computer languages》 | 2002年第1期
- mobile ambients;
- security;
- static analysis;
44.Behavioural typing for safe ambients

机译：行为分类以确保安全的环境
- 作者：Michele Bugliesi;Giuseppe Castagna
- 期刊名称：《Computer languages》 | 2002年第1期
- types;
- type-and-effects systems;
- mobility;
- security;
45.Orderly communication in the Ambient Calculus

机译：环境演算中的有序沟通
- 作者：Torben Amtoft;Assaf J. Kfoury;Santiago M. Pericas-Geertsen
- 期刊名称：《Computer languages》 | 2002年第1期
46.Information flow for Algol-like languages

机译：类似Algol的语言的信息流
- 作者：David Clark;Chris Hankin;Sebastian Hunt
- 期刊名称：《Computer languages》 | 2002年第1期
- program analysis;
- access control;
- algol;
- information flow;
- flow logic;
47.ALua: flexibility for parallel programming

机译：ALua：并行编程的灵活性
- 作者：C. Ururahy;N. Rodriguez;R. Ierusalimschy
- 期刊名称：《Computer languages》 | 2002年第2期
- interpreted languages;
- parallel programming;
- rapid prototyping;
48.An attribute-grammar framework for specifying the accessibility in Java programs

机译：用于指定Java程序中可访问性的属性语法框架
- 作者：Jien-Tsai Chan;Wuu Yang
- 期刊名称：《Computer languages》 | 2002年第2期
- access modifiers;
- attribute grammars;
- java;
- object-oriented programming;
49.An optimal data structure to handle dynamic environments in non-deterministic computations

机译：在非确定性计算中处理动态环境的最佳数据结构
- 作者：E. Pontelli;D. Ranjan;A. Dal Palu
- 期刊名称：《Computer languages》 | 2002年第2期
- logic programming;
- constraint programming;
- complexity analysis;
- pointer machines;
50.Unified selection from lists, arrays, and objects

机译：从列表，数组和对象中统一选择
- 作者：John C. Lusth
- 期刊名称：《Computer languages》 | 2002年第3期
- uniform syntax;
- selection from aggregates;
- simple programming languages;
51.On the applicability of the longest-match rule in lexical analysis

机译：最长匹配规则在词法分析中的适用性
- 作者：Wuu Yang;Chey-Woei Tsay;Jien-Tsai Chan
- 期刊名称：《Computer languages》 | 2002年第3期
- compiler;
- context-free grammar;
- finite-state automaton;
- lexical analyzer;
- mealy automaton;
- moore automaton;
- parser;
- regular expression;
- scanner;
52.A study of dynamic memory management in C++ programs

机译：C ++程序中的动态内存管理研究
- 作者：Woo Hyong Lee;Morris Chang
- 期刊名称：《Computer languages》 | 2002年第3期
- dynamic memory management;
- life-span;
- garbage collection;
53.State inference for dynamically changing interfaces

机译：动态更改接口的状态推断
- 作者：Franz Puntigam
- 期刊名称：《Computer languages》 | 2001年第4期
- Type system;
- Concurrent object calculus;
- Behavioral typing;
54.LAILA: a language for coordinating abductive reasoning among logic agents

机译：LAILA：一种用于在逻辑代理之间协调归纳推理的语言
- 作者：Anna Ciampolini;Evelina Lamma;Paola Mello
- 期刊名称：《Computer languages》 | 2001年第4期
- Logic agents;
- Abductive reasoning;
- Coordination;
55.Lenient evaluation and parallelism

机译：宽容评估和并行性
- 作者：G. Tremblay;B. Malenfant
- 期刊名称：《Computer languages》 | 2000年第1期
- Non-strict evaluation;
- Lazy functional programming languages;
- Implicit parallelism;
- π-calculus;
56.Lenient evaluation is neither strict nor lazy

机译：宽容评估既不严格也不懒惰
- 作者：G. Tremblay
- 期刊名称：《Computer languages》 | 2000年第1期
- Non-strict evaluation;
- Lazy functional programming languages;
57.Semantics of well-moded input-consuming logic programs

机译：修改良好的输入消耗逻辑程序的语义
- 作者：Annalisa Bossi;Sandro Etalle;Sabina Rossi
- 期刊名称：《Computer languages》 | 2000年第1期
- Logic programming;
- Dynamic scheduling;
- Semantics;
58.A declarative coordination language

机译：声明式协调语言
- 作者：Paolo Ciancarini;Daniela Fogli;Mauro Gaspari
- 期刊名称：《Computer languages》 | 2000年第4期
- Logic programming;
- Coordination;
- Specification languages;
59.Iteration constructs in data-flow visual programming languages

机译：数据流可视化编程语言中的迭代构造
- 作者：M. Mosconi;M. Porta
- 期刊名称：《Computer languages》 | 2000年第4期
- Visual programming;
- Data-flow visual languages;
- Iterations;
60.Associative definition of programming languages

机译：编程语言的关联定义
- 作者：Stefano Crespi Reghizzi;Matteo Pradella;Pierluigi San Pietro
- 期刊名称：《Computer languages》 | 2000年第4期
- Context free grammars;
- Syntax;
- Associative grammars;
- Grammar size;
- Context inheritance;
- Descriptional complexity;
- Local testability;
61.NP-SPECf an executable specification language for solving all problems in NP

机译：NP-SPECf一种可执行的规范语言，用于解决NP中的所有问题
- 作者：Marco Cadolia;Giovambattista Ianni;Luigi Palopoli
- 期刊名称：《Computer languages》 | 2000年第4期
- Specification languages;
- Logic programming;
- Datalog;

客服邮箱：kefu@zhangqiaokeyan.com

客服微信
服务号