掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文期刊
>
计算机、自动化
>
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期
关键词:
hierarchical hypermedia;
information personalization;
navigation;
out-of-turn interaction;
program transformations;
partial evaluation;
program slicing;
web interaction;
web mining;
website transformation;
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期
关键词:
program transformation;
higher-order strategies;
strategic programming;
rewriting;
common subexpression elimination;
distributed data problem;
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期
关键词:
code mobility;
resource-sensitive systems;
denial-of-service;
functional languages;
security and language design;
PLAN;
type systems for control flow analysis;
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期
关键词:
mobile computation;
concurrent and distributed programming;
formal calculi for mobility;
ambient calculus;
safety and security of mobile code;
orderly communication;
type system;
type checking;
type inference;
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;
意见反馈
回到顶部
回到首页